Model-Based Testing Applied to Software Components of Satellite Simulators

Table 13

Results for DCS, OBDH, and SYSC.

	DCS	OBDH	SYSC
Number of test cases	444	39	420
Test case failures	23	22	16
% of test case failure	5.1	56	3.8
Errors detected in test campaign	9	79	16
Ratio of implementation error per test failures	0.39	3.59	1