{title}Maximize Model Coverage{/title}
{author}jp{/author}
{default}maximise_coverage.html{/default}
{text}

<h2 style="font-size:140%">Maximize Model Coverage</h2>

<p>
  This test generation achieves complete state machine transition coverage for
  the whole model but for the portion already covered in Test TR 001 (Crash
  Flashing). Its main intention is to illustrate the performance of the test
  generation technique of the RT-Tester tool. For real application, it has the
  quality of a robustness test: all input interfaces to the SUT are stimulated
  concurrently, and as a consequence several competing turn indication-related
  functions are simultaneously enabled. The priority handling function
  (<code>SystemUnderTest.PriorityHandling</code>) decides which of the enabled
  functions becomes active.
</p>


<!-------
<h3>Input signals, model variables and control states</h3>
<a href="crash1.jpg" class="media" title="Input signals, model variables and control states"><img src="crash1.jpg?w=250" class="media" title="Input signals, model variables and control states" alt="Input signals, model variables and control states" width="250" /></a> <br/>



<h3>Crash impact toggle and counter changes over time</h3> 
<a href="crash2.jpg" class="media" title="Crash impact toggle and counter changes over time"><img src="crash2.jpg?w=250" class="media" title="Crash impact toggle and counter changes over time" alt="Crash impact toggle and counter changes over time" width="250" /></a> <br/>


----->

</body>