Model-Based Testing Applied to Software Components of Satellite Simulators

<table class="table-group" id="tab15"><tr><td><table class="table"><tr><td class="thead-hr" colspan="4"><hr/></td></tr><tr class="thead"><td class="align_left"> </td><td class="align_center">DCS</td><td class="align_center">OBDH</td><td class="align_center">SYSC</td></tr><tr><td class="thead-hr" colspan="4"><hr/></td></tr><tr><td class="align_left">Errors detected in UPPAAL</td><td class="align_center">25</td><td class="align_center">17</td><td class="align_center">27</td></tr><tr class="table-tr"><td colspan="4"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>Modelling errors identified in UPPAAL.</div>

Modelling and Simulation in Engineering

tab15

Table 15

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