Model-Based Testing Applied to Software Components of Satellite Simulators

<table class="table-group" id="tab3"><tr><td><table class="table"><tr><td class="thead-hr" colspan="4"><hr/></td></tr><tr class="thead"><td class="align_left">Equipment</td><td class="align_center">Component working state</td><td class="align_center">Description</td><td class="align_center">Values</td></tr><tr><td class="thead-hr" colspan="4"><hr/></td></tr><tr><td class="align_left" rowspan="4">Eq-A1</td><td class="align_center" rowspan="2">WK_A1_01</td><td class="align_center" rowspan="2">Power state of transponder 1</td><td class="align_center">On</td></tr><tr><td class="align_center">Off</td></tr><tr><td class="align_center" rowspan="2">WK_A1_02</td><td class="align_center" rowspan="2">Power state of oscillator 1</td><td class="align_center">On</td></tr><tr><td class="align_center">Off</td></tr><tr class="table-tr"><td colspan="4"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>Component working states—DCS example.</div>

Modelling and Simulation in Engineering

tab3

Table 3

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