but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. RNDr. Alexandr Meduna, CSc. (místopředseda) doc. RNDr. Milan Češka, Ph.D. (člen) Dr. Ing. Petr Peringer (člen) Ing. Aleš Smrčka, Ph.D. (člen) Ing. Vladimír Veselý, 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 B. Otázky u obhajoby: V práci jsou srovnány nástroje plogchecker (python) a plogchecker2 (go) z hlediska času a spotřeby paměti. Závěry srovnání však nemusí nutně znamenat, že je navržená metoda založená na tabulkách efektivnější než předchozí metoda založená na konečných automatech. Srovnejte důkladněji efektivitu pouze těchto dvou metod (např. je srovnejte z hlediska velikosti automatů a z hlediska velikosti tabulek a jejich relací). Diskutujte použitelnost Vašeho nástroje pro monitorování výkonnosti programů (např. monitorování doby odezvy na požadavky na REST API). Na jakých benchmarcích jste prováděl vaše měření? Jak přesně jsou tabulky provázány s automaty? Jaké sekvence jsou v uváděném logu?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie a umělá inteligence	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Smrčka, Aleš	cs
dc.contributor.author	Čaládi, Filip	cs
dc.contributor.referee	Fiedor, Tomáš	cs
dc.date.accessioned	2022-06-21T07:58:09Z
dc.date.available	2022-06-21T07:58:09Z
dc.date.created	2022	cs
dc.description.abstract	Plogchecker 2.0 je nástroj zameraný na verifikáciu užívatelom definovaných vlastností nad sekvenciou udalostí generovaných programom. Implementácia tohoto nástroja stavá hlavne na už implementovanom nástroji Plogchecker. Hlavná mýšlienka týchto nástrojov je, že užívatel musí špecifikovať želané vlastnosti (parametrické alebo neparametrické), sprístupniť záznam behu programu verifikačnému nástroju a konečne prenechať analýzu na tento nástroj. Výstup analýzy je report o porušení špecifikovaných vlastností spolu so sekvenciami udalostí, ktoré spôsobili chybu. Táto práca predstavuje nový algoritmus , ktorý optimalizuje spracovanie sekvenie udalostí nad užívatelom definovanými vlastnosťami. Táto optimalizácia sa zameriava ako na škálovatelnosť tak aj presnosť. Ďalej, je pridaná podpora pre rôzne dátové typy parametrov, ako napríklad reťazec, číslo, dátum a čas. Nakoniec, táto práca ponúka jednoduchší a pohodlnejší spôsob vytvárania parametických vlastností. Počas experimentovania bolo ukázané, že Plogchecker 2.0 je schopný väčšej škálovatelnosti a presnosti.	cs
dc.description.abstract	Plogchecker 2.0 is a tool for verification of user-defined properties over sequences of events in the traces of the program. The implementation of this tool mainly builds on the previous version of the tool Plogchecker. The main idea behind these tools is that the user has to specify system properties (parametric or non-parametric), make any program run records available to the verification tool and let the tool analyze. The analysis output is the report about the violation of specified properties with sequences of events that caused the error. This thesis proposes a new algorithm that optimizes the processing of event sequences against user-defined properties specifications. The optimizations are focused on both scalability as well as precision. Furthermore, it adds support for various parametric data types, such as string, number, date and time. Finally, it offers an easier and more comfortable way to specify such parametric properties. Throughout the series of experiments, it is shown that Plogchecker 2.0 is more scalable and precise compared to previous version of Plogchecker.	en
dc.description.mark	B	cs
dc.identifier.citation	ČALÁDI, 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í. 2022.	cs
dc.identifier.other	145070	cs
dc.identifier.uri	http://hdl.handle.net/11012/207457
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	verifikácia za behu	cs
dc.subject	parametrické vlastnosti	cs
dc.subject	neparametrické vlastnosti	cs
dc.subject	rozšírené regulárne výrazy	cs
dc.subject	konečné automaty	cs
dc.subject	golang	cs
dc.subject	grok	cs
dc.subject	garbage collecting	cs
dc.subject	runtime verification	en
dc.subject	parametric properties	en
dc.subject	non-parametric properties	en
dc.subject	extended regular expressions	en
dc.subject	finite state automatons	en
dc.subject	golang	en
dc.subject	grok	en
dc.subject	garbage collecting	en
dc.title	Ověřování parametrických vlastností nad záznamy běhů programů	cs
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	2022-06-17	cs
dcterms.modified	2022-06-20-08:23:45	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	145070	en
sync.item.dbtype	ZP	en
sync.item.insts	2022.06.21 09:58:09	en
sync.item.modts	2022.06.21 08:15:36	en
thesis.discipline	Verifikace a testování software	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