How do I determine which parts of a model are not exercised by a test suite?
This can be done as follows: • Load your model in Reactis. • Start Simulator (click the green button in the tool bar). • Load the test suite by selecting menu item Test Suite, Open… • Select menu item Coverage, Show Details. Unexercised portions of the model will be highlighted in red. Since no simulation steps have occurred yet, all targets will be red. • In the steps to pause entry box in the tool bar (the entry box that contains a number), enter 0. This is a shorthand to indicate that the entire test suite should execute. • Click the fast simulation button (>>) to execute all tests. • Upon completion only parts of the model not exercised by the tests will be highlighted in red.
