Automatic generation of test cases for critical systems based on MC/DC criteria

• Graph representation benefits • Allows visual representation of the system states and transitions. • Monitors, fault logging and functions analysis. • Early consistence analysis of the requirement set: • Identification of semantic errors. • Undefined initial state. • Unreachable states (no incoming edges). • States with no edges outgoing (no disengagement requirement, a hidden error?). • Conflicting flight mode/stage engagement logics (priority undefined).