Model-Based Testing Applied to Software Components of Satellite Simulators

<table class="table-group" id="tab1"><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 DCS</td><td class="align_center">Value</td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td class="align_left">S-band and UHF band on</td><td class="align_center">OM01</td></tr><tr><td class="align_left">S-band and UHF band off</td><td class="align_center">OM02</td></tr><tr><td class="align_left">S-band on and UHF band off</td><td class="align_center">OM03</td></tr><tr><td class="align_left">Stand-by, only oscillators are turned on</td><td class="align_center">OM04</td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>Satellite subsystem operating modes—DCS example.</div>

Modelling and Simulation in Engineering

tab1

Table 1

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