but.committee	doc. Ing. Richard Růžička, Ph.D., MBA (předseda) doc. RNDr. Jitka Kreslíková, CSc. (místopředseda) doc. RNDr. Dana Hliněná, Ph.D. (člen) Ing. Bohuslav Křena, 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 ". Otázky u obhajoby: Definujte chybu živosti "Chování nevykazující pokrok". Definice 2.3.7 na str. 12 je cyklická. Jak si vysvětlujete markantní rozdíly v počtech nalezených chyb nástroji ConTest a RoadRunner při 20 fixních konfiguracích (tabulka 4.3 na str. 34)?	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	Křena, Bohuslav	cs
dc.contributor.author	Kozák, David	cs
dc.contributor.referee	Smrčka, Aleš	cs
dc.date.created	2017	cs
dc.description.abstract	Tato práce se zabývá efektivními způsoby testování vícevláknových programů psaných v jazyce Java. Pro zvýšení šance na odhalení časově závislých chyb se využívá techniky vkládání šumu, kdy dochází ke vložení dalších instrukcí do testované aplikace za účelem prozkoumání netypických proložení událostí. Pro nalezení vhodných konfigurací pro vkládání šumu byl navržen nástroj SearchBestie, který využíval nástroj ConTest pro spouštění testů a instrumentaci bytecodu. Jelikož vývoj ConTestu byl zastaven, bylo třeba najít vhodnou alternativu. V průběhu této bakalářské práce bylo dokončeno propojení SearchBestie s nástrojem RoadRunner, který ConTest nahradil. Dále došlo k navržení a implementaci nových heuristik, které umožňují šum vkládat na přesně zvolená místa v kódu. Experimenty prokázaly, že ve většině případů skutečně přesné heuristiky dosahují lepších výsledků než heuristiky využívající náhodnosti.	cs
dc.description.abstract	The main topic of this thesis is testing of concurrent Java programs. Concurrency errors often manifest rarely. To increase a chance to spot such errors, a technique called noise injection can be used. This technique inserts extra instruction into the application under test to disturb the scheduler and thus to explore less common thread scheduling. Because noise injection can be parameterized in many ways, a tool called SearchBestie was created to handle noise-based testing as a search problem. SearchBestie used a tool called Contest for bytecode instrumentation and test execution. However, the development of ConTest has been discontinued and therefore an alternative tool was necessary. In the first part of this thesis, SearchBestie was connected with a tool called RoadRunner, which replaced ConTest. Afterwards new fine-grain noise-injection heuristics have been proposed and implemented. Experiments proved that these heuristics achieve better results in most cases.	en
dc.description.mark	A	cs
dc.identifier.citation	KOZÁK, D. Přesné heuristiky pro vkládání šumu v nástroji SearchBestie [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	114594	cs
dc.identifier.uri	http://hdl.handle.net/11012/84856
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	verifikace softwaru	cs
dc.subject	testování	cs
dc.subject	vícevláknové programování	cs
dc.subject	Java	cs
dc.subject	chyby ve vícevláknových programech	cs
dc.subject	vkládání šumu	cs
dc.subject	metriky pro testování	cs
dc.subject	software verification	en
dc.subject	testing	en
dc.subject	concurrent programming	en
dc.subject	Java	en
dc.subject	concurrency errors	en
dc.subject	noise injection	en
dc.subject	metrics for testing	en
dc.title	Přesné heuristiky pro vkládání šumu v nástroji SearchBestie	cs
dc.title.alternative	Fine-Grain Noise-Injection Heuristics for SearchBestie Infrastructure	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2017-08-29	cs
dcterms.modified	2020-05-10-16:13:04	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	114594	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:04:17	en
sync.item.modts	2025.01.17 11:02:20	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

Přesné heuristiky pro vkládání šumu v nástroji SearchBestie

Files

Original bundle

Collections