University of Hertfordshire

By the same authors

Automatic calculation of coverage profiles for coverage-based testings

Research output: Chapter in Book/Report/Conference proceedingConference contribution


  • 905605

    Accepted author manuscript, 250 KB, PDF document

View graph of relations
Original languageEnglish
Title of host publicationIn: Procs of Kolloquium Programmiersprachen und Grundlagen der Programmierung
Number of pages16
Publication statusPublished - 2009
EventKolloquium Programmiersprachen und Grundlagen der Programmierung - Vienna, United Kingdom
Duration: 1 Aug 2009 → …


ConferenceKolloquium Programmiersprachen und Grundlagen der Programmierung
Country/TerritoryUnited Kingdom
Period1/08/09 → …


Code-coverage-based testing is a widely-used testing strategy with the aim of providing a meaningful decision criterion for the adequacy of a test suite. Code-coverage-based testing is also used for the development of safety-critical applications, as the modified condition/decision coverage (MCDC) is proposed by the DO178b document. One critical issue of code-coverage testing is that they are typically applied to source code while the generated machine code may result in a different code structure due to code optimizations performed by an compiler. In this work we describe the automatic calculation of coverage profiles describing which structural code-coverage criteria are preserved by which code optimization. These coverage profiles allow to easily extend compilers with the feature of preserving any given code-coverage criteria by enabling only those code optimizations that preserve it.


Original papercan be found at : Copyright Institut fur Technische Informatik

ID: 333086