Detail publikace
Analysis and Testing of Concurrent Programs
KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Analysis and Testing of Concurrent Programs. FIT Monograph. Brno: Fakulta informačních technologií VUT v Brně, 2012. ISBN 978-80-214-4464-5.
Název česky
Analýza a testování vícevláknových programů
Typ
odborná monografie
Jazyk
angličtina
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Klíčová slova
testování software, chyby v souběžném zpracování, dynamická analýza, verifikace, metriky pokrytí, vkládání šumu, metaheuristické algoritmy, genetické algoritmy
Abstrakt
Tato monografie je založena na disertační práci Zdeňka Letka, kterou vedli Tomáš Vojnar a Bohuslav Křena.
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ů.
Rok
2012
Strany
136
Řada
FIT Monograph
ISBN
978-80-214-4464-5
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX
@BOOK{FITPUB10229, author = "Bohuslav K\v{r}ena and Zden\v{e}k Letko and Tom\'{a}\v{s} Vojnar", title = "Analysis and Testing of Concurrent Programs", pages = 136, series = "FIT Monograph", year = 2012, location = "Brno, CZ", publisher = "Faculty of Information Technology BUT", ISBN = "978-80-214-4464-5", language = "english", url = "https://www.fit.vut.cz/research/publication/10229" }