Browse Publications Technical Papers 2015-01-2558
2015-09-15

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

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.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
STANDARD

Guidelines for Development of Civil Aircraft and Systems

ARP4754A

View Details

STANDARD

GUIDELINES AND METHODS FOR CONDUCTING THE SAFETY ASSESSMENT PROCESS ON CIVIL AIRBORNE SYSTEMS AND EQUIPMENT

ARP4761

View Details

JOURNAL ARTICLE

Experiences of Civil Certification of Multi-Core Processing Systems in Commercial and Military Avionics, Integration Activities, and Analysis

2019-01-1382

View Details

X