Thesis Details

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

Master's Thesis Student: Kapoun Petr Academic Year: 2021/2022 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
Program Instrumentation Enabling Coverage Measurement in SW Testing
Language
Czech
Abstract

This work deals with the design and creation of an instrumentation tool for measuring coverage in software testing. During compilation, the tool obtains a representation of selected parts of the program in the form of a control flow graph and instruments the given parts of the program by inserting function callbacks. Using the data generated when calling the function callbacks of the instrumented program, the tool evaluates the measurement of the coverage criteria. Supported coverage criteria include line coverage and selected control flow and data flow coverage criteria. 

Keywords

instrumentation, testing, coverage measurement, formal verification, dynamic analysis, control flow graph, line coverage, control flow coverage, data flow coverage, C++, LLVM, LLVM IR, Clang

Department
Degree Programme
Files
Status
defended, grade B
Date
22 June 2022
Reviewer
Committee
Hruška Tomáš, prof. Ing., CSc. (DIFS FIT BUT), předseda
Kreslíková Jitka, doc. RNDr., CSc. (DIFS FIT BUT), člen
Křivka Zbyněk, Ing., Ph.D. (DIFS FIT BUT), člen
Rychlý Marek, RNDr., Ph.D. (DIFS FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Zbořil František, doc. Ing., Ph.D. (DITS FIT BUT), člen
Citation
KAPOUN, Petr. Instrumentace programů pro měření pokrytí při testování SW. Brno, 2022. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2022-06-22. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/24257/
BibTeX
@mastersthesis{FITMT24257,
    author = "Petr Kapoun",
    type = "Master's thesis",
    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 = "Brno University of Technology, Faculty of Information Technology",
    year = 2022,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/24257/"
}
Back to top