Model-Based Testing Applied to Software Components of Satellite Simulators

Table 7

Example of WKs ⟶ TMs cause-effect table.

Conditions		Effects
WK_A1_01	WK_A2_01	TM001	TM002	TM006	TM009	TM011
On	On	N/A	N/A	N/A	N/A	N/A
	Off	21, 5	0	On	On	Off
Off	On	0	21, 5	On	Off	On
	Off	0	0	Off	Off	Off