Test Coverage Analysis and Preservation for Requirements-Based Testing

12 years 6 months ago
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
Raimund Kirner, Susanne Kandl
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Authors Raimund Kirner, Susanne Kandl
Comments (0)