Model-Based Testing Applied to Software Components of Satellite Simulators

Table 12

Example of errors detected for the DCS subsystem.

Variable	Variable description	Error description
WK_C_01	Electrical status of the diplexer	The variable is not defined when the diplexer enters in the stand-by mode
TM007	UHF switch status, which indicates the channel the transmitter is working on	The variable is not updated according to the cause-effect table of the DCS specification
TM008	S-band switch status, which indicates the channel the transmitter is working on	The variable is not updated according to the cause-effect table of the DCS specification
OMf4	Fault operation mode where the oscillator and transmitter are on	The simulator does not include faulty state; the variables assume wrong values