Model-Based Testing Applied to Software Components of Satellite Simulators

<table class="table-group" id="tab11"><tr><td><table class="table"><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr class="thead"><td class="align_left">Properties</td><td class="align_center">Description</td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td class="align_left">A[] not deadlock</td><td class="align_center">The system never enters in deadlock</td></tr><tr><td class="align_left">A[] SYSTEM.OM01_CH1 imply SW02 == 1</td><td class="align_center">Whenever the system is operating on Channel 1, then the switch SW02 is configured to Channel 1</td></tr><tr><td class="align_left">A[] SYSTEM.OMf5_CH2 imply WK_B_01 == 1</td><td class="align_center">Whenever the system is in the fault mode OMf5, the working state of equipment B is 1</td></tr><tr><td class="align_left">A[] SYSTEM.OM01_CH2 imply TM_005 == 1</td><td class="align_center">Whenever the system is operating on Channel 2, telemetry TM005 is equal to 1</td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>Examples of properties for the DCS subsystem.</div>

Modelling and Simulation in Engineering

tab11

Table 11

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