ll load and automatically replay the scenario stored in Section 4.2.3.1. A. In the Organizer, select the SDL system V76test and press the Simulate button: Tau compiles the SDL model and starts the Simulator. B. Select Execute > Command Script, choose retryl.com and press OK: the Simulator executes the commands contained in retryl.com. This time, the bottom of the MSC generated by the Simulator looks like Figure 4.18(b): signal DLCstopped has been consumed by process dispatch. The bug is corrected. DLCstopped DLCstopped Figure 4.18 Signal DLCstopped in the process queue (a) and consumed (b) 4.2.4 Detect nonsimulated parts After a simulation session, the SDL Coverage Viewer displays the SDL symbol coverage¹5. This shows you which parts of the SDL model have not been simulated. 15 A counter is associated with each SDL symbol: every time a symbol is simulated, its counter is incremented. A value of 0 means never simulated. 56 Validation of Communications Systems with SDL Then you can simulate the SDL model again until you reach 100% symbol coverage. After playing all possible scenarios (which is easier using exhaustive simulation, if the model does not have too many states), the symbols not simulated are considered as "dead" parts: they can be removed, after careful inspection. A. If the Simulator is already running, restart it and go to C. B. In the Organizer, select the SDL system V76test and press the Simulate button: Tau compiles the SDL model and restarts the Simulator. C. Select Execute > Command Script, choose testl.com and press OK: the Simulator executes the commands contained in testl.com. D. Select Show > Coverage: the SDL Coverage Viewer appears, as illustrated in Figure 4.19, displaying the 21 SDL symbols that have never been executed since the Simulator startup. TO SDL Coverage Viewer File View Tree Tools Help Symbol Coverage Tree Information from: C:ITEMP\sdtsim221.cov proportional to model coverage (82%) (total) 138 (0 - 7) package V76 proportional to executions of symbols (138) 106 (0 - 6) system V76