Model-Based Testing Applied to Software Components of Satellite Simulators

<table class="table-group" id="tab2"><tr><td><table class="table"><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr class="thead"><td class="align_left">Operating modes of Eq-A1</td><td class="align_center">Values</td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td class="align_left">Operating</td><td class="align_center">EM_A1_01</td></tr><tr><td class="align_left">Stand-by</td><td class="align_center">EM_A1_02</td></tr><tr><td class="align_left">No oscillator</td><td class="align_center">EM_A1_03</td></tr><tr><td class="align_left">Powered off</td><td class="align_center">EM_A1_04</td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>Equipment operating modes—DCS example.</div>

Modelling and Simulation in Engineering

tab2

Table 2

Table 2: Model-Based Testing Applied to Software Components of Satellite Simulators 