48/2008 : Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems

RR Number

48/2008

Conference

ERCIM News 75

Author(s)

Susanne Kandl

Abstract

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 requirements-based 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.

Bibtex

@Article{Kirner:ERCIM2008,
  author =       {Raimund Kirner and Susanne Kandl},
  title =        {Test Coverage Analysis and Preservation for
                  Requirements-Based Testing of Safety-Critical Systems},
  journal =      {ERCIM News},
  year =         {2008},
  publisher =    {ERCIM EEIG},
  number =       {75},
  month =        {Oct.},
  pages =        {40-41},
  annote =       {Link: http://ercim-news.ercim.org/content/view/456/699/
                 ISSN: 0926-4981}
}

Download

Get rr-2008-048_ERCIM_testing_coverage.pdf - Adobe PDF-format, (119.79 KB; posted at November 03 2008; )