Detail práce
Instrumentace programů pro měření pokrytí při testování SW
Tato práce se zabývá návrhem a tvorbou instrumentačního nástroje pro měření pokrytí při softwarovém testování. Nástroj při překladu získá reprezentaci vybraných částí programu v podobě grafu toku řízení a instrumentuje dané části programu vložením zpětných volání funkcí. Pomocí dat generovaných při volání vložených funkcí instrumentovaného programu nástroj vyhodnotí měření kritérií pokrytí. Mezi podporovaná kritéria pokrytí patří pokrytí řádků kódu a vybraná kritéria pokrytí toku řízení a toku dat.
instrumentace, testování, měření pokrytí, formální verifikace, dynamická analýza, graf toku řízení, pokrytí řádků kódu, pokrytí toku řízení, pokrytí toku dat, C++, LLVM, LLVM IR, Clang
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 B.
- Musí mít vaše instrumentační funkce parametry? Nešly by všechny zjistit jen z návratové adresy pomocí vhodně generované datové struktury?
- Proč máte v src/instrumentation/callback/*.cpp destruktory v poznámkách?
- Nezmění se vložením sond testované vlastnosti programu?
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT), člen
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT), člen
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT), člen
@mastersthesis{FITMT24257, author = "Petr Kapoun", type = "Diplomov\'{a} pr\'{a}ce", title = "Instrumentace program\r{u} pro m\v{e}\v{r}en\'{i} pokryt\'{i} p\v{r}i testov\'{a}n\'{i} SW", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2022, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/24257/" }