Test Coverage Analysis and Preservation for Requirements-Based Testing

The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-178B, Software Considerations in Airborne Systems and Equipment Certification (a de-facto standard for certifying software in the civil avionic domain). For requirementsbased testing techniques we work on coverage metrics that are defined on a higher level of program representation (eg on the requirements), and that are independent of a specific implementation. For that purpose we analyse the relationship between existing definitions for structural requirement-coverage metrics and structural code-coverage metrics. In addition, we work on techniques that preserve structural codecoverage between different program-representation levels. The research leading to these results has received funding from the Austrian Science Fund (Fonds zur F

• Type: Journal
• Year: 2008
• Where: ERCIM
• Authors: Raimund Kirner, Susanne Kandl
• Keywords: Civil Avionic Domain, ERCIM 2008, Structural Code-coverage Metrics, Structural Requirement-coverage Metrics