Model-Based Testing Applied to Software Components of Satellite Simulators

Table 16

Expected frequencies.

	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	429.5	429.5	23.5	23.5	407	407
Failure	14.5	14.5	15.5	15.5	13	13