Search Results

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.

Model-based development is a well-established and widely used technique to design and implement systems by specifying the overall architecture of a system and its behavior directly in modeling tools such as PTC Integrity Modeler, Enterprise Architect, Modelio, or Papyrus/Eclipse. The next step forward in this process is using the same framework also for the design and specification of the tests for these systems. Verified Systems International GmbH offers with RT-Tester MBT a novel approach to model-based embedded systems testing, which we are going to present in this paper. Model-based testing (MBT) offers automated generation of test cases, test data and test procedures for model-in-the-loop, hardware-in-the-loop and system testing from UML/SysML models describing the intended system behavior [17,20].