Thesis Details
Instrumentace programů pro měření pokrytí při testování SW
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.
instrumentation, testing, coverage measurement, formal verification, dynamic analysis, control flow graph, line coverage, control flow coverage, data flow coverage, C++, LLVM, LLVM IR, Clang
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
@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/" }