Model-Based Testing Applied to Software Components of Satellite Simulators

Table 17

Chi-squared test 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	0.17	0.17	1.80	1.80	0.02	0.02
Failure	4.98	4.98	2.73	2.73	0.69	0.69
Qcalculated	10.3		9.05		1.43