Model-Based Testing Applied to Software Components of Satellite Simulators

Table 9

Example of EMs ⟶ OM cause-effect table.

Conditions				Effects
EM_A1	EM_A2	EM_B	EM_C	OM
Operating	Powered off	Operating at Channel 1	Operating at Channel 1	OM01
		Stand-by at Channel 1		OM03
Powered off	Operating	Operating at Channel 2	Operating at Channel 2	OM01
		Stand-by at Channel 2		OM03
Stand-by	Powered off	Stand-by at Channel 1	Stand-by at Channel 1	OM04
Powered off		Powered off	Powered off	OM02
Powered off	Stand-by	Stand-by at Channel 2	Stand-by at Channel 2	OM04
	Powered off	Powered off	Powered off	OM02