Model-Based Testing Applied to Software Components of Satellite Simulators

Figure 9

Mealy state machine with sneak paths—DCS example.