Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software

Paper #:
  • 2015-01-2558

Published:
  • 2015-09-15
DOI:
  • 10.4271/2015-01-2558
Citation:
Brauer, J., Dahlweid, M., and Peleska, J., "Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software," SAE Technical Paper 2015-01-2558, 2015, doi:10.4271/2015-01-2558.
Pages:
10
Abstract:
Software developed according to DO-178C Level A has to undergo extremely rigorous structural coverage analysis to ensure that the code has been adequately exercised during requirements-based testing. The goal of structural coverage analysis is either to show that the requirements-based tests are adequate, or to provide analysis data, which leads to a refinement of the tests. This paper focuses on two particular issues of structural coverage analysis, namely source-code-to-object-code traceability analysis and data coupling and control coupling analysis, both of which have been challenging in the past due to little tool support. We present details of two tools: the RT-Tester Source-Code-To-Object-Code Traceability Analyzer (RTT-STO) and the RT-Tester Data & Control Coupling Analyzer (RTT-DCC), which we have developed for the low-level verification of an Airbus avionic control system, and discuss our practical experiences with tool-supported structural coverage analysis. Importantly, the verification workflow associated with these tools has been accepted by the certification authorities for DAL-A.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$27.00
Mail
$27.00
Members save up to 40% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Technical Paper / Journal Article
2003-06-16
Training / Education
2017-08-16
Training / Education
1997-05-29
Article
2016-06-21
Standard
2016-06-17
Training / Education
2016-03-07
Technical Paper / Journal Article
2003-09-08
Training / Education
2017-01-20