|
|
Testování vícevláknových programů pomocí šumu
Kotyz, Jan ; Smrčka, Aleš (oponent) ; Letko, Zdeněk (vedoucí práce)
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.
|
|
|
Pokrytím řízené testování vícevláknových programů
Lietavcová, Zuzana ; Šimková, Hana (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá problematikou hledání chyb ve vícevláknových programech pomocí techniky pokrytím řízeného testování, jak je chápáno ve studovaném nástroji Maple. Testování se se skládá ze dvou fází. V první fázi se buduje množina pokrytelných chování testovaného programu. Následně se algoritmus snaží dosáhnout těchto chování za pomoci deterministického vykonání testu.Hlavní přínos práce spočívá v uceleném popisu nástroje Maple, včetně technických detailů.Na základě studia jsou identifikovány slabá místa. Některé z nich, konkrétně využívání náhodného rozhodování a prioritizace vynucovaných chování, jsou blíže studovány.Výsledkem je několik úprav nástroje Maple, ze kterých některé vedou k většímu počtu úspěšných dosažení chování a v určitých případech k vyššímu počtu vyvolání chyb, což je experimentálně demonstrováno na sadě vícevláknových programů.
|
|
|
Pokrytím řízené testování vícevláknových programů
Lietavcová, Zuzana ; Šimková, Hana (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá problematikou hledání chyb ve vícevláknových programech pomocí techniky pokrytím řízeného testování, jak je chápáno ve studovaném nástroji Maple. Testování se se skládá ze dvou fází. V první fázi se buduje množina pokrytelných chování testovaného programu. Následně se algoritmus snaží dosáhnout těchto chování za pomoci deterministického vykonání testu.Hlavní přínos práce spočívá v uceleném popisu nástroje Maple, včetně technických detailů.Na základě studia jsou identifikovány slabá místa. Některé z nich, konkrétně využívání náhodného rozhodování a prioritizace vynucovaných chování, jsou blíže studovány.Výsledkem je několik úprav nástroje Maple, ze kterých některé vedou k většímu počtu úspěšných dosažení chování a v určitých případech k vyššímu počtu vyvolání chyb, což je experimentálně demonstrováno na sadě vícevláknových programů.
|
|
|
Testování vícevláknových programů pomocí šumu
Kotyz, Jan ; Smrčka, Aleš (oponent) ; Letko, Zdeněk (vedoucí práce)
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.
|
host ::
RSS.