• 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).
Automatic generation of test cases for critical systems based on MC/DC criteria
2013-10-01
1138023 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
British Library Conference Proceedings | 2015
|SAE Technical Papers | 2015
|