Automatic calculation of coverage profiles for coverage-based testings

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

20 Downloads (Pure)

Abstract

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 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 → …

Conference

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

Fingerprint

Dive into the research topics of 'Automatic calculation of coverage profiles for coverage-based testings'. Together they form a unique fingerprint.

Cite this