This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software
Technical Paper
2015-01-2558
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
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.
Recommended Content
Authors
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, https://doi.org/10.4271/2015-01-2558.Also In
References
- Aho A. V. Sethi , R. and Ullman , J.A. Compilers: Principles, Techniques, and Tools Addison Wesley 1986
- Balakrishnan , G. and Reps , T. W. WYSINWYX: What You See Is Not What You eXecute ACM Trans. Program. Lang. Syst. 32 6 2010
- Bardin , S. , Baufreton , P. , Cornuet , N. , Herrmann , P. Labbe , S. Binary-Level Testing of Embedded Programs 13th International Conference on Quality Software Najing, China 2013 11 20 IEEE 2013
- Bardin , S. , Hermann , P. and Vedrine , F. Refinement-based CFG Reconstruction from Unstructured Programs 12th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2011), volume 6538 of Lecture Notes in Computer Science 54 69 Springer 2011
- Bartholomew , D. QEMU: A Multihost, Multitarget Emulator Linux J. 2006 145
- Bordin , M. , Comar , C. , Gingold , T. , Guitton , J. , Hainque , O. and Quinot , T. Object and Source Coverage for Critical Application with the Couverture Open Analysis Framework Embedded Real Time Software and Systems (ERTS 2010) 2010
- Brauer , J. , Noll , T. and Schlich , B. Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software 13th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2010) ACM Press 2010
- Certification Authorities Software Team Guidelines for Approving Source Code to Object Code Traceability - Position Paper 2002
- Certification Authorities Software Team Structural Coverage of Object Code - Position Paper 2003
- Cousot , P. and Cousot , R. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints Conference Record of the 4th ACM Symposium on Principles of Programming Languages (POPL 1977) 238 252 1977
- Dullien , T. and Rolles , R. Graph-based Comparison of Executable Objects SSTIC 2005
- Flexeder , A. , Petter , M. and Seidl , H. Side-Effect Analysis of Assembly Code 18th International Static Analysis Symposium (SAS 2011), volume 6887 of Lecture Notes in Computer Science 77 94 Springer 2011
- Hopcroft , J. An n log n Algorithm for Minimizing States in a Finite Automaton DTIC document 1971
- Leroy , X. Formal Verification of a Realistic Compiler Commun. ACM 52 7 ACM Press 107 115 2009
- Hind , M. Pointer Analysis: Haven't We Solved This Problem Yet? Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2001) 54 61 ACM Press 2001
- Hind , M. and Pioli , A. Which Pointer Analysis Should I Use? Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2000) 113 123 ACM Press 2000
- LDRA Technology, Inc. http://www.ldra.com
- LLVM Compiler Infrastructure http://www.llvm.org.
- Nielson , F. , Nielson , H. R. and Hankin , C. Principles of Program Analysis Springer 2005
- Reinbacher , T. and Brauer , J. Precise Control Flow Reconstruction using Boolean Logic International Conference on Embedded Software (EMSOFT 2011) ACM Press 2011
- Rierson , L. Developing Safety-Critical Software CRC Press 2013
- RTCA SC-167 Software Considerations in Airborne Systems and Equipment Certification http://www.rtca.org
- RTCA SC-205/EUROCAE WG-71 Software Considerations in Airborne Systems and Equipment Certification http://www.rtca.org
- RTCA SC-205/EUROCAE WG-71 Software Tool Qualification Considerations http://www.rtca.org
- RTCA SC-205/EUROCAE WG-71 Supporting Information for DO-178C and DO-278A http://www.rtca.org
- Sobek , S. and Burke , K. Power PC Embedded Application Binary Interface (EABI): 32-Bit Implementation Freescale Semiconductor Inc. 2004
- Steensgard , B. Points-To Analysis in Almost Linear Time Conference Record of the 23rd ACM SIGPLAN-SIGSOFT Symposium on Principles of Programming Languages (POPL 1996) ACM Press 1996