Research Article

Model-Based Testing Applied to Software Components of Satellite Simulators

Table 10

Sneak paths table–DCS example.

TC01TC02TC03TC04TC05TC06TC07TC08

OM02_CH1OMf01-CH1OM02-CH1OM02-CH1OM02-CH2OMf02-CH1OM02-CH1OM04-CH1OM02-CH1
OM04_CH1OM03-CH1OM04-CH1OM04-CH1OM04-CH2OMf07-CH1OM04-CH1OM04-CH1OM02-CH1