but.committee	doc. RNDr. Jitka Kreslíková, CSc. (předseda) prof. Dr. Ing. Jan Černocký (místopředseda) doc. Mgr. Lukáš Holík, Ph.D. (člen) doc. Ing. Jiří Jaroš, Ph.D. (člen) Ing. Radek Kočí, 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: 1. Některá slabá místa, která jste identifikovala v programu Maple, jste dále už nezpracovávala. Máte představu, jak by se mohla tato slabá místa eliminovat? Vyberte si alespoň jedno a stručně popište jakým směrem byste se při jeho eliminaci vydala.	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	Letko, Zdeněk	cs
dc.contributor.author	Lietavcová, Zuzana	cs
dc.contributor.referee	Šimková, Hana	cs
dc.date.created	2015	cs
dc.description.abstract	Tato práce se zabývá problematikou hledání chyb ve vícevláknových programech pomocí techniky pokrytím řízeného testování, jak je chápáno ve studovaném nástroji Maple. Testování se se skládá ze dvou fází. V první fázi se buduje množina pokrytelných chování testovaného programu. Následně se algoritmus snaží dosáhnout těchto chování za pomoci deterministického vykonání testu.Hlavní přínos práce spočívá v uceleném popisu nástroje Maple, včetně technických detailů.Na základě studia jsou identifikovány slabá místa. Některé z nich, konkrétně využívání náhodného rozhodování a prioritizace vynucovaných chování, jsou blíže studovány.Výsledkem je několik úprav nástroje Maple, ze kterých některé vedou k většímu počtu úspěšných dosažení chování a v určitých případech k vyššímu počtu vyvolání chyb, což je experimentálně demonstrováno na sadě vícevláknových programů.	cs
dc.description.abstract	This work deals with a problem of searching errors in multithreaded programs using a coverage-driven testing technique as perceived in program Maple. The testing consists of two phases. In the first phase of testing a set of coverable behaviours of the tested program is being built. Consequently, the algorithm tries to achieve these behaviours with a help of deterministic test execution. The main acquisition of the work lays in a compact description of Maple including all the technical details. Based on the study of the tool there were weak places identified. Some of them are studied in detail, especially those which use random decision making and prioritizing of the forced behaviours. The result are several modifications of Maple, from which some lead to a higher number of exposed behaviours and higher error exposition in some cases. This is demonstrated on a test suite of parallel programs.	en
dc.description.mark	A	cs
dc.identifier.citation	LIETAVCOVÁ, Z. Pokrytím řízené testování vícevláknových programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2015.	cs
dc.identifier.other	88808	cs
dc.identifier.uri	http://hdl.handle.net/11012/52497
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	paralelní programování	cs
dc.subject	vícevláknové programy	cs
dc.subject	testování	cs
dc.subject	dynamická analýza	cs
dc.subject	instrumentace	cs
dc.subject	virtualizace	cs
dc.subject	Maple	cs
dc.subject	Pin	cs
dc.subject	parallel programming	en
dc.subject	multithreaded programs	en
dc.subject	testing	en
dc.subject	dynamic analysis	en
dc.subject	instrumentation	en
dc.subject	virtualization	en
dc.subject	Maple	en
dc.subject	Pin	en
dc.title	Pokrytím řízené testování vícevláknových programů	cs
dc.title.alternative	Coverage-Driven Testing for Multithreaded Programs	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2015-06-18	cs
dcterms.modified	2020-05-10-16:12:16	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	88808	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 18:51:29	en
sync.item.modts	2025.01.15 21:48:10	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

Pokrytím řízené testování vícevláknových programů

Files

Original bundle

Collections