Detail práce

Testování vícevláknových programů pomocí šumu

Bakalářská práce Student: Kotyz Jan Akademický rok: 2014/2015 Vedoucí: Letko Zdeněk, Ing., Ph.D.
Název anglicky
Testing of Concurrent Software with Noise
Jazyk práce
český
Abstrakt
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.
Klíčová slova

Python, testování, vícevláknové programy, šum, chyby vícevláknových programů

Ústav
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
18. června 2015
Oponent
Průběh obhajoby

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
  1. Proč jste pro instrumentaci byte kódu nepoužil modul equip, který se danou problematikou zabývá?
Komise
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT), předseda
Černocký Jan, prof. Dr. Ing. (UPGM FIT VUT), člen
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT), člen
Jaroš Jiří, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Kočí Radek, Ing., Ph.D. (UITS FIT VUT), člen
Citace
KOTYZ, Jan. Testování vícevláknových programů pomocí šumu. Brno, 2015. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2015-06-18. Vedoucí práce Letko Zdeněk. Dostupné z: https://www.fit.vut.cz/study/thesis/17618/
BibTeX
@bachelorsthesis{FITBT17618,
    author = "Jan Kotyz",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Testov\'{a}n\'{i} v\'{i}cevl\'{a}knov\'{y}ch program\r{u} pomoc\'{i} \v{s}umu",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/17618/"
}
Nahoru