• čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • English 
    • čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • Login
View Item 
  •   Repository Home
  • Závěrečné práce
  • dizertační práce
  • Fakulta informačních technologií
  • 2012
  • View Item
  •   Repository Home
  • Závěrečné práce
  • dizertační práce
  • Fakulta informačních technologií
  • 2012
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Analysis and Testing of Concurrent Programs

Thumbnail
View/Open
review_99819.html (1.650Kb)
final-thesis.pdf (1.962Mb)
thesis-1.pdf (5.350Kb)
Posudek-Vedouci prace-364_s1.pdf (1.484Mb)
Posudek-Oponent prace-364_o1.pdf (1.512Mb)
Posudek-Oponent prace-364_o2.pdf (57.91Kb)
Author
Letko, Zdeněk
Advisor
Vojnar, Tomáš
Referee
Lourenco, Joao
Sekanina, Lukáš
Grade
P
Altmetrics
Metadata
Show full item record
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ů. 
 
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.
 
Keywords
testování software, chyby v souběžném zpracování, dynamická analýza, verifikace, metriky pokrytí, vkládání šumu, metaheuristické algoritmy, genetické algoritmy, software testing, concurrency errors, dynamic analysis, verification, coverage metrics, noise injection, metaheuristics, genetic algorithms
Language
angličtina (English)
Study brunch
Výpočetní technika a informatika
Composition of Committee
Date of defence
2012-09-14
Process of defence
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/63268
Source
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í. .
Collections
  • 2012 [16]
Citace PRO

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV
 

 

Browse

All of repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV