but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. Ing. Jan M. Honzík, CSc. (místopředseda) Ing. František Grézl, Ph.D. (člen) doc. Ing. Jan Kořenek, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm " E ". Otázky u obhajoby: Proč jste neprovedl integraci do Testosu? Vlastnosti popisujete bezkontextovou gramatikou (str. 10) a z nich vytváříte konečný automat (str. 17) - popište jakým postupem to děláte.	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Smrčka, Aleš	cs
dc.contributor.author	Kapičák, Peter	cs
dc.contributor.referee	Peringer, Petr	cs
dc.date.accessioned	2019-09-02T10:53:02Z
dc.date.available	2019-09-02T10:53:02Z
dc.date.created	2019	cs
dc.description.abstract	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.	cs
dc.description.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.	en
dc.description.mark	E	cs
dc.identifier.citation	KAPIČÁ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.other	121836	cs
dc.identifier.uri	http://hdl.handle.net/11012/180577
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	vlastnosti	cs
dc.subject	log	cs
dc.subject	analýza	cs
dc.subject	ladenie	cs
dc.subject	post-mortem	cs
dc.subject	Testos	cs
dc.subject	Python	cs
dc.subject	properties	en
dc.subject	log	en
dc.subject	analysis	en
dc.subject	debugging	en
dc.subject	post-mortem	en
dc.subject	Testos	en
dc.subject	Python	en
dc.title	Nástroj pro ladění post-mortem	cs
dc.title.alternative	A Tool for Post-Mortem Debugging	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2019-06-10	cs
dcterms.modified	2019-09-02-09:04:30	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	121836	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.12 13:59:33	en
sync.item.modts	2021.11.12 13:16:12	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Nástroj pro ladění post-mortem

Files

Original bundle

Collections