Model-Based Testing Applied to Software Components of Satellite Simulators

<table class="table-group" id="tab6"><tr><td><table class="table"><tr><td class="thead-hr" colspan="5"><hr/></td></tr><tr class="thead"><td class="align_center" colspan="2">Conditions</td><td class="align_center" colspan="3">Effects</td></tr><tr class="thead"><td class="align_left">SW04</td><td class="align_center">SW02</td><td class="align_center">WK_A1_02</td><td class="align_center">WK_A2_02</td><td class="align_center">WK_B_03</td></tr><tr><td class="thead-hr" colspan="5"><hr/></td></tr><tr><td class="align_left" rowspan="2">On</td><td class="align_center">CH1</td><td class="align_center">On</td><td class="align_center">Off</td><td class="align_center" rowspan="2">On</td></tr><tr><td class="align_center">CH2</td><td class="align_center">Off</td><td class="align_center">On</td></tr><tr><td class="align_left" colspan="5"><hr/></td></tr><tr><td class="align_left" rowspan="2">Off</td><td class="align_center">CH1</td><td class="align_center" rowspan="2">Off</td><td class="align_center" rowspan="2">Off</td><td class="align_center" rowspan="2">Off</td></tr><tr><td class="align_center">CH2</td></tr><tr class="table-tr"><td colspan="5"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>Example of SWs ⟶ WK cause-effect table.</div>

Modelling and Simulation in Engineering

tab6

Table 6

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