but.committee	doc. Ing. Ondřej Ryšavý, Ph.D. (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda) Ing. Vladimír Bartík, Ph.D. (člen) doc. Mgr. Lukáš Holík, Ph.D. (člen) Dr. Ing. Petr Peringer (člen) RNDr. Marek Rychlý, 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 C. Otázky u obhajoby: Vyjádřete se, zda a do jaké míry jste stavěl na implementaci původního nástroje logchecker nebo zda byl tento nástroj kompletně reimplementován. Z textu to není jasné. Inspiroval jste se při řešení existujícími nástroji, které jsou popsány v kapitole 3? Jak ovlivnil implementovaný garbage collector časovou a prostorovou složitost výsledného nástroje?	cs
but.jazyk	slovenština (Slovak)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Smrčka, Aleš	sk
dc.contributor.author	Mutňanský, Filip	sk
dc.contributor.referee	Kočí, Radek	sk
dc.date.accessioned	2020-07-20T19:57:53Z
dc.date.available	2020-07-20T19:57:53Z
dc.date.created	2020	cs
dc.description.abstract	Cieľom tejto práce je vytvorenie nástroja, ktorý dokáže na základe užívateľom definovaných vlastností overiť, či postupnosť udalostí v záznamoch behu programu, alebo v log súbore vyhovuje definovaným vlastnostiam. Na definíciu vlastností sú použité rozšírené regulárne výrazy. Nástroj vie overovať parametrické vlastnosti. Užívateľ môže definovat závislosti medzi parametrami udalostí. Vstupom výsledného nástroja je definícia vlastností a obmedzení nad parametrami. Výstupom je report o porušených vlastnostiach s uvedenými sekvienciami udalostí, ktoré chybu spôsobili.	sk
dc.description.abstract	The goal of this thesis is to implement a tool that based on user defined properties can verify sequences of events in the traces of the program, or the log file. Properties are defined in extended regular expressions. The tool is able to verify parametric properties. User can define relations between parameters of events. Input of this tool is the definition of properties and constraints of parameters. Output of the tool is the report of violated properties with its sequences of events that caused the error.	en
dc.description.mark	C	cs
dc.identifier.citation	MUTŇANSKÝ, F. Ověřování parametrických vlastností nad záznamy běhů programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129276	cs
dc.identifier.uri	http://hdl.handle.net/11012/192458
dc.language.iso	sk	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	verifikácia programu za behu	sk
dc.subject	temporálna logika	sk
dc.subject	regulárny výraz	sk
dc.subject	konečný automat	sk
dc.subject	Büchiho automat	sk
dc.subject	Testos	sk
dc.subject	runtime verification	en
dc.subject	temporal logic	en
dc.subject	regular expression	en
dc.subject	finite automaton	en
dc.subject	Büchi automaton	en
dc.subject	Testos	en
dc.title	Ověřování parametrických vlastností nad záznamy běhů programů	sk
dc.title.alternative	Parametric Properties for Log Checker	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2020-07-16	cs
dcterms.modified	2020-07-17-14:44:24	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129276	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.23 00:10:53	en
sync.item.modts	2021.11.22 23:33:37	en
thesis.discipline	Informační systémy	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Ověřování parametrických vlastností nad záznamy běhů programů

Files

Original bundle

Collections