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

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

    Sae Technical Papers


    Contributors:

    Conference:

    SAE 2015 AeroTech Congress & Exhibition ; 2015



    Publication date :

    2015-09-15




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




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

    Brauer, Jörg / Dahlweid, Markus / Peleska, Jan | British Library Conference Proceedings | 2015


    Impact of DO-178C on Software Tool Qualification: DO-330 Explored

    Jingar, Bhupesh / Bhagat, Preeti | SAE Technical Papers | 2013


    Impact of DO-178C on Software Tool Qualification: DO-330 Explored

    Bhagat, P. / Jingar, B. / Society of Automotive Engineers | British Library Conference Proceedings | 2013