but.committee	doc. Ing. František Zbořil, CSc. (předseda) doc. Ing. Martin Čadík, Ph.D. (místopředseda) doc. RNDr. Milan Češka, Ph.D. (člen) Ing. Filip Orság, Ph.D. (člen) Ing. Jaroslav Rozman, Ph.D. (člen) doc. Ing. Marián Šimko, 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 A - výborně . Otázky u obhajoby: Vysvětlete podrobněji klíčové aspekty návrhu a implementace nástroje, které ovlivňují jeho výkon a škálovatelnost z pohledu nasazení na reálné programy.	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	Janoušek, Martin	cs
dc.contributor.referee	Češka, Milan	cs
dc.date.created	2017	cs
dc.description.abstract	Tato diplomová práce se zabývá návrhem a implementací dynamického analyzátoru kontraktů s parametry. V první části práce je představena problematika testování paralelních programů, včetně metod testování a chyb, které se mohou v těchto programech nacházet. Podrobněji se zabývá metodou dynamické analýzy a věnuje se konkrétním dynamickým analyzátorům, jako jsou FastTrack nebo analyzátor kontraktů. Ve druhé části práce je popsán návrh a implementace dynamického analyzátoru kontraktů pro framework RoadRunner a platformu Searchbestie .	cs
dc.description.abstract	This master thesis deals with the design and implementation of dynamic analyzer of parametrized contracts . In the first part of the thesis , the problematics of testing of parallel programs are discussed and issues when dealing with parallelism are described . Further , methods how to reveal concurrency bugs via dynamic analysis are described , in particular FastTrack and Contract validator. The second part of the thesis proposes an extension for RoadRunner framework and SearchBestie platform for contract validator with parameters.	en
dc.description.mark	A	cs
dc.identifier.citation	JANOUŠEK, M. Dynamické analyzátory pro platformu SearchBestie [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	106239	cs
dc.identifier.uri	http://hdl.handle.net/11012/69577
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	Dynamická analýza	cs
dc.subject	testování paralelních programů	cs
dc.subject	analyzátor kontraktů	cs
dc.subject	SearchBestie	cs
dc.subject	Road Runner	cs
dc.subject	Dynamic analysis	en
dc.subject	testing of parallel programs	en
dc.subject	contract analyzer	en
dc.subject	SearchBestie	en
dc.subject	RoadRunner	en
dc.title	Dynamické analyzátory pro platformu SearchBestie	cs
dc.title.alternative	Dynamic Analyzers for SearchBestie Platform	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2017-06-19	cs
dcterms.modified	2020-05-10-16:12:53	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	106239	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.26 15:25:37	en
sync.item.modts	2025.01.15 23:03:29	en
thesis.discipline	Inteligentní 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

Dynamické analyzátory pro platformu SearchBestie

Files

Original bundle

Collections