Testování vícevláknových programů pomocí šumu
Testing of Concurrent Software with Noise
Abstract
Cílem této bakalářské práce je vytvoření nástroje pro testování vícevláknových programů vytvořených v jazyce Python. Tento nástroj pro testování sleduje běh testovaného vícevláknového programu, pomocí instrumentace bajtkódu, a na vybraných místech provádí vkládání šumu. Tím výrazně napomáhá ke zvýšení pravděpodobnosti projevu chyb a umožňuje tak efektivnější odhalení chyb typických pro vícevláknové programy. Výsledkem této práce je funkční nástroj pro testování vícevláknových programů v Pythonu. The aim of this bachelor thesis is to create a tool for testing of concurrent software written in Python. This testing tool monitors run of the concurrent program with bytecode instrumentation and performs noise injection at selected locations. This results in a dramatic increase in the probability of bug manifestation and therefore allows more efficient detection of bugs typical for concurrent software. The result of this thesis is concurrency testing tool for Python.
Keywords
Python, testování, vícevláknové programy, šum, chyby vícevláknových programů, Python, software testing, concurrency, multithreaded programs, noise injection, concurrency bugsLanguage
čeština (Czech)Study brunch
Informační technologieComposition of Committee
doc. RNDr. Jitka Kreslíková, CSc. (předseda) doc. 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)Date of defence
2015-06-18Process of 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 C. Otázky u obhajoby: Proč jste pro instrumentaci byte kódu nepoužil modul equip, který se danou problematikou zabývá?Result of the defence
práce byla úspěšně obhájenaPersistent identifier
http://hdl.handle.net/11012/52464Source
KOTYZ, J. Testování vícevláknových programů pomocí šumu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2015.Collections
- 2015 [295]