countered), you can stop it by pressing the halt button. To see the states, transitions and basic blocks coverage obtained by the script execution, you could type, respectively: print statecover rate (system) print trans_cover_rate (system) print bb_cover_rate (system) The Simulator answers the following percentages: state_cover_rate (v76test) = 100.00 trans_cover rate (v76test) = 93.10 bb_cover_rate (v76test) = 89.28 More details on coverage can be found in the Hierarchy Browser (View > Hierarchy). 6.3.3 Random simulation with observers You will run the random simulation on the V.76 SDL model monitored by an observer MSC, to automatically check that the simulated behavior complies with the expected behavior. 176 Validation of Communications Systems with SDL F:ADONNEESATRANSMET\livreSimul\models0GW76\76 File Edit View Execute Tools Help About selection: seed = 619430284 initial seed Stop if Filter stop condition: step = 500 end of first go Watch Print 496 transitions executed time progressed from 0 to 48 step = 500 Traces: scenario in initial state init (back to step 0) 4 transitions executed redo 4 Defaults seed = 1163255240 next seed stop condition: step = 500 end of second go Restore 496 transitions executed time progressed from 0 to 36 step = 500 scenario in initial state SDL tracking init (back to step 0) 4 transitions executed seed = 694083599 Start MSC stop condition: step = 500 end of third go Watch 496 transitions executed time progressed from 0 to 48 step = 500 MSC-driven: scenario in initial state init (back to step 0) 4 transitions executed Activate seed = 1837839284 line 22 of file rand. wri : exception in transition dicbidispatch : from line 22 of file rand.wr : No receiver for output I_releasereq from dlo line 22 of file rand.wri : Illegal command in exception state Redo: Firable Transitions: exception state fourth go: bug at step 60 Verify 60 / 60 Now 24 Figure 6.7 The simulation trace of the script rand.wri 6.3.3.1 Random simulation not guided A. Quit the Simulator and the ObjectGeode Launcher. B