Original title: Nástroj pro ladění post-mortem
Translated title: A Tool for Post-Mortem Debugging
Authors: Kapičák, Peter ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
Document type: Bachelor's theses
Year: 2019
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
Cieľom tejto práce je kontrolovať užívateľom špecifikované vlastnosti nad stopou programu alebo nad log súborom, ktoré by mal program spĺňať alebo naopak, ktoré by nemal spĺňať. Vlastnosti a ich opis sú základom nástroja pre ladenie post-mortem. Sú transformované na deterministický konečný automat aby sa dali overovať v stopách programov a ich opis je dôležitý pre vyhľadávanie konkrétnych udalostí v stopách programov, ktoré sú automatu posielané na vstup. Výstupom nástroja je výsledná správa o tom či boli vlastnosti splnené alebo porušené. Vytvorené riešenie poskytuje overovanie vlastností stôp programov, log súborov bez ohľadu na ich formát a aké udalosti predchádzali porušeniu vlastnosti. 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: analysis; debugging; log; post-mortem; properties; Python; Testos; analýza; ladenie; log; post-mortem; Python; Testos; vlastnosti

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/180577

Permalink: http://www.nusl.cz/ntk/nusl-613257


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses