but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. Ing. Jan M. Honzík, CSc. (místopředseda) doc. Ing. Martin Čadík, Ph.D. (člen) doc. Ing. Jan Kořenek, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen)	cs
but.defence	Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla 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í studentky na položené otázky rozhodla práci hodnotit stupněm " A ". Otázky u obhajoby: Bylo by možné pomocí CVP analyzovat kontrakty nad STL kontejnery (např. std::vector)? Co by bylo nutné dodělat pro podporu těchto typů? Analyzátor je stále dost závislý na uživateli, který je nucen specifikovat kontrakty manuálně. Je teoreticky možné tyto kontrakty automaticky syntetizovat?	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	Mužikovská, Monika	cs
dc.contributor.referee	Fiedor, Tomáš	cs
dc.date.created	2018	cs
dc.description.abstract	Tato práce se zabývá problematikou kontraktů pro paralelismus. Jedná se o protokol umožňující specifikovat požadavky na atomicitu v paralelních programech a následnou tvorbu automatických nástrojů pro detekci porušení atomicity. Součástí prostředí ANaConDA pro dynamickou analýzu programů je nástroj pro detekci tohoto druhu chyb, ale jeho výsledky mohou být příliš obecné. Cílem práce bylo navrhnout a implementovat metodu, která bude podporovat kontrakty rozšířené o parametry a jejich omezení, což povede k přesnějším výsledkům analýzy. Experimenty provedené pomocí nově vzniklého analyzátoru na programech se známými chybami ukázaly, že díky zahrnutí parametrů do analýzy je možné výsledky zredukovat až o desítky hlášení o situacích, které při zohlednění kontextu nejsou chybné a pouze zbytečně zatěžovaly vývojáře a znesnadňovaly odhalení skutečných chyb.	cs
dc.description.abstract	This work deals with problematics of contracts for parallelism. It is a technique allowing to specify requirements for atomicity in parallel programs and to create automatic tools for detection of atomicity violation. ANaConDA framework provides dynamic analyser called Contract-validator which can detect contract violations in parallel programs. However, due to analysis without context, it can produce a lot of warnings about contract violation that are not considered as errors. The aim of this work was to design and implement a method supporting contracts extended with parameters and their constraints which will lead to more accurate results of the analysis. Experiments using newly created analyser on a set of benchmarks with known atomicity violations showed that analysis with parameters can reduce the results by dozens of reports that unnecessarily burdened developers and made it harder to reveal real errors.	en
dc.description.mark	A	cs
dc.identifier.citation	MUŽIKOVSKÁ, M. Rozšíření frameworku ANaConDA pro podporu kontraktů s parametry a jejich omezeními [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2018.	cs
dc.identifier.other	114689	cs
dc.identifier.uri	http://hdl.handle.net/11012/85045
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	ANaConDA	cs
dc.subject	dynamická analýza	cs
dc.subject	kontrakty	cs
dc.subject	parametry	cs
dc.subject	porušení atomicity	cs
dc.subject	vícevláknové programování	cs
dc.subject	ANaConDA framework	en
dc.subject	dynamic analysis	en
dc.subject	contracts	en
dc.subject	parameters	en
dc.subject	atomicity violation	en
dc.subject	multithreading	en
dc.title	Rozšíření frameworku ANaConDA pro podporu kontraktů s parametry a jejich omezeními	cs
dc.title.alternative	Towards Parameterized Contract Validator in ANaConDA Framework	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2018-06-11	cs
dcterms.modified	2020-05-10-16:13:17	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	114689	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:05:12	en
sync.item.modts	2025.01.15 22:08:49	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

Rozšíření frameworku ANaConDA pro podporu kontraktů s parametry a jejich omezeními

Files

Original bundle

Collections