Model-Based Testing Applied to Software Components of Satellite Simulators

Table 14

Experiment results.

	Case study 1—DCS		Case study 2—OBDH		Case study 3—SYSC
	Approach A	Approach B	Approach A	Approach B	Approach A	Approach B
Success	421	438	17	30	404	410
Failure	23	6	22	9	16	10
Total	444	444	39	39	420	420