but.committee		cs
but.defence		cs
but.jazyk	angličtina (English)
but.program	Výpočetní technika a informatika	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Vojnar, Tomáš	en
dc.contributor.author	Letko, Zdeněk	en
dc.contributor.referee	Lourenco, Joao	en
dc.contributor.referee	Sekanina, Lukáš	en
dc.date.accessioned	2019-06-14T11:03:26Z
dc.date.available	2019-06-14T11:03:26Z
dc.date.created		cs
dc.description.abstract	V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.	en
dc.description.abstract	The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.	cs
dc.description.mark	P	cs
dc.identifier.citation	LETKO, Z. Analýza a testování vícevláknových programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .	cs
dc.identifier.other	99819	cs
dc.identifier.uri	http://hdl.handle.net/11012/63268
dc.language.iso	en	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	testování software	en
dc.subject	chyby v souběžném zpracování	en
dc.subject	dynamická analýza	en
dc.subject	verifikace	en
dc.subject	metriky pokrytí	en
dc.subject	vkládání šumu	en
dc.subject	metaheuristické algoritmy	en
dc.subject	genetické algoritmy	en
dc.subject	software testing	cs
dc.subject	concurrency errors	cs
dc.subject	dynamic analysis	cs
dc.subject	verification	cs
dc.subject	coverage metrics	cs
dc.subject	noise injection	cs
dc.subject	metaheuristics	cs
dc.subject	genetic algorithms	cs
dc.title	Analýza a testování vícevláknových programů	en
dc.title.alternative	Analysis and Testing of Concurrent Programs	cs
dc.type	Text	cs
dc.type.driver	doctoralThesis	en
dc.type.evskp	dizertační práce	cs
dcterms.dateAccepted	2012-09-14	cs
dcterms.modified	2020-05-10-17:46:42	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	99819	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.22 23:18:32	en
sync.item.modts	2021.11.22 22:39:32	en
thesis.discipline	Výpočetní technika a informatika	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Doktorský	cs
thesis.name	Ph.D.	cs

Analýza a testování vícevláknových programů

Files

Original bundle

Collections