Show simple item record

A Tool for Post-Mortem Debugging

dc.contributor.advisorSmrčka, Alešcs
dc.contributor.authorKapičák, Petercs
dc.date.accessioned2019-09-02T10:53:02Z
dc.date.available2019-09-02T10:53:02Z
dc.date.created2019cs
dc.identifier.citationKAPIČÁK, P. Nástroj pro ladění post-mortem [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.cs
dc.identifier.other121836cs
dc.identifier.urihttp://hdl.handle.net/11012/180577
dc.description.abstractCieľ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.cs
dc.description.abstractThe 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.en
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectvlastnostics
dc.subjectlogcs
dc.subjectanalýzacs
dc.subjectladeniecs
dc.subjectpost-mortemcs
dc.subjectTestoscs
dc.subjectPythoncs
dc.subjectpropertiesen
dc.subjectlogen
dc.subjectanalysisen
dc.subjectdebuggingen
dc.subjectpost-mortemen
dc.subjectTestosen
dc.subjectPythonen
dc.titleNástroj pro ladění post-mortemcs
dc.title.alternativeA Tool for Post-Mortem Debuggingen
dc.typeTextcs
dcterms.dateAccepted2019-06-10cs
dcterms.modified2019-09-02-09:04:30cs
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs
sync.item.dbid121836en
sync.item.dbtypeZPen
sync.item.insts2020.05.11 06:13:48en
sync.item.modts2020.05.11 05:35:01en
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
dc.contributor.refereePeringer, Petrcs
dc.description.markEcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
but.committeecs
but.defencecs
but.resultpráce byla úspěšně obhájenacs
but.programInformační technologiecs
but.jazykčeština (Czech)


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record