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
Degree Programme
Information Technology
Files
Status
defended, grade E
Date
10 June 2019
Reviewer
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
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/" }