Original title: Instrumentace programů pro měření pokrytí při testování SW
Translated title: Program Instrumentation Enabling Coverage Measurement in SW Testing
Authors: Kapoun, Petr ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
Document type: Master’s theses
Year: 2022
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
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.  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: C++; Clang; control flow coverage; control flow graph; coverage measurement; data flow coverage; dynamic analysis; formal verification; instrumentation; line coverage; LLVM; LLVM IR; testing; C++; Clang; dynamická analýza; formální verifikace; graf toku řízení; instrumentace; LLVM; LLVM IR; měření pokrytí; pokrytí toku dat; pokrytí toku řízení; pokrytí řádků kódu; testování

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/207811

Permalink: http://www.nusl.cz/ntk/nusl-505335


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses