Test Generation Tool Design For Modified Condition/Decision Coverage: Model Based Testing Approach

Model-Based Testing (MBT) approaches are becoming an attractive prospect for safety-critical software testing due to their efficiency and flexibility. Requirements-based testing and structural testing are used for safety-critical systems software assessment. Structural testing criteria such as Modified Condition/Decision Coverage (MC/DC) satisfaction are required by the RTCA DO-178C standard. Existing tools and techniques use MC/DC coverage criterion on the code. We propose to use model-based testing that integrates several coverage criteria such as du-path and MC/DC to enhance testing efficiency. In this paper, we focus on the design of a test generation tool that implements the proposed model-based approach. The test generation approach starts with Low-Level Requirements (LLR) modeled as an Extended Finite State Machine (EFSM) that will be transformed into control and data flow graphs that will be used for test case generation. An automatic test case generation technique that handles MC/DC coverage criteria integrated with du-path criteria is presented. Forward and backward requirement traceability is addressed, as required by the standard.