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]

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-581171


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses
 Record created 2024-04-02, last modified 2024-04-03


No fulltext
  • Export as DC, NUŠL, RIS
  • Share