Model-Based Testing Applied to Software Components of Satellite Simulators

Figure 2

Example of the Mealy state machine and test cases from the ConDado tool.