Thesis Details

Nástroj pro ladění post-mortem

Bachelor's Thesis Student: Kapičák Peter Academic Year: 2018/2019 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
A Tool for Post-Mortem Debugging
Language
Czech
Abstract

The goal of this work is checking specific properties in trace which program should meet or which it shouldn't meet. Properties and their description are basis of this tool for post-mortem debbuging. Properties are transformed to deterministic finite automaton for checking in trace and their description is important for searching events in trace. Events are pass to automaton as input. Output of a tool is report if properties are meet or not. Solution provides check of properties regardless of log format and shows events that preceded violation of the properties.

Keywords

properties, log, analysis, debugging, post-mortem, Testos, Python

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade E
Date
10 June 2019
Reviewer
Peringer Petr, Dr. Ing.
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Honzík Jan M., prof. Ing., CSc. (DIFS FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Citation
KAPIČÁK, Peter. Nástroj pro ladění post-mortem. Brno, 2019. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-10. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/19023/
BibTeX 
@bachelorsthesis{FITBT19023,
    author = "Peter Kapi\v{c}\'{a}k",
    type = "Bachelor's thesis",
    title = "N\'{a}stroj pro lad\v{e}n\'{i} post-mortem",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2019,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19023/"
}

Theses

Back to top