Detail práce

Instrumentace programů pro měření pokrytí při testování SW

Diplomová práce Student: Kapoun Petr Akademický rok: 2021/2022 Vedoucí: Smrčka Aleš, Ing., Ph.D.
Název anglicky
Program Instrumentation Enabling Coverage Measurement in SW Testing
Jazyk práce
český
Abstrakt

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. 

Klíčová slova

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

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie a umělá inteligence, specializace Softwarové inženýrství
Soubory
Stav
obhájeno, hodnocení B
Obhajoba
22. června 2022
Oponent
Peringer Petr, Dr. Ing.
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 B.

Otázky u obhajoby
  1. 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?
  2. Proč máte v src/instrumentation/callback/*.cpp destruktory v poznámkách?
  3. Nezmění se vložením sond testované vlastnosti programu?
Komise
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT), předseda
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
Citace
KAPOUN, Petr. Instrumentace programů pro měření pokrytí při testování SW. Brno, 2022. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2022-06-22. Vedoucí práce Smrčka Aleš. Dostupné z: https://www.fit.vut.cz/study/thesis/24257/
BibTeX 
@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/"
}

Závěrečné práce

Nahoru