% 25.00%25.00%) Print dispatch (100.00% 90.91% 72.41%) Reset Coverage dlc (100.00%77.78% 63.64% Figure 4.54 The coverage rates after replaying testl We see, for example, that all the states in process atob, dispatch and dlc have been simulated, 90.9% of the transitions in process dispatch have been simulated, 72.4% of the basic blocks in process dispatch have been simulated. J. Select dispatch in dlca in the Hierarchy Browser and press the two buttons shown in Figure 4.55: one displays all the transitions, the other displays only nonexecuted transitions; you see that the only transition not simulated is from_waitua_input_dlcstopped. K. In the Hierarchy Browser, select from_waitua_input_dlcstopped and press Locate: the Editor opens process dispatch and selects the uncovered transition, as shown in Figure 4.56. As we have only replayed the scenario testl.scn, it is normal for this transition to be detected as not simulated. To simulate it, we need to replay (without resetting the coverage counters) retryl.scn also and execute the transition trans dlca!dispatch: from_waitua_input_dlcstopped. 4.3.5 Validate against more scenarios After simulation of the main scenarios described in Section 4.3.2, it is wise to play more scenarios to check the reaction of the SDL model. Those scenarios can be: Interactive Simulation 89 Hierarchy Browser Locate Track Create Watch v76test datalink Add to Watch atob [ (100.00%75.00% 75.00%] Stop if btoa ( 100.00% 25.00% 25.00% Print dispatch (100.00% 90.91% 72.41% Reset Coverage from_waitua_input_dlestopped 0 dlc ( (100.00% 77.78% 63.64%) v76test!dIcaldispatch Figure 4.55 The transition not simulated in dispatch waitUA V76frame DLCstopped (V76para) (DLCnum) V76para ! present L_Releaselnd(DLCnum) ( UA ) DLCs(DLCnum):=NULL V76frame(V76para) TO DLCs(V76para ! UA ! DLCi) ready ready Figure 4.56 The transition not simulated is automatically located more complex: for example, two simultaneous connections, beyond limits: for example, creation of more connections than allowed. 4.3.5.1 Simulate tw