s Systems with SDL define verify_stats true (8192 states 12209 trans. 1 S, depth=23, breadth=1502) (16384 states 25489 trans. 2 S, depth=26, breadth=2863) (974848 states 1779784 trans. 205 s, depth=52, breadth=94997) (983040 states 1797464 trans. 207 S, depth=52, breadth=94997) (2703360 states 5491611 trans. 679 S, depth=80, breadth=106711) (2711552 states 5513338 trans. 682 S, depth=84, breadth=106711) Number of states : 2713338 Number of transitions : 5518588 Maximum depth reached : 92 Maximum breadth reached : 106711 duration : 11 mn 22 S Number of exceptions : 0 Number of deadlocks : 0 Number of stop conditions : 0 Transitions coverage rate : 100.00 (0 transitions not covered) States coverage rate : 100.00 (0 states not covered) Basic blocks coverage rate : 94.12 (4 basic blocks not covered) G. Do not exit from the Simulator, you will need the coverage results for the next step. This time, no exception has been found, and the exhaustive simulation has explored all the states of the SDL model reachable in the current test configuration (input queues limited to 1 etc.). The model is much better than the version where 23139 exceptions were found. 7.4.7.2 Analyze the nonexecuted SDL statements After performing an exhaustive simulation, we must inspect the parts of the SDL model never executed. We see in the results displayed: Transitions coverage rate : 100.00 (0 transitions not covered) States coverage rate : 100.00 (0 states not covered) Basic blocks coverage rate : 94.12 (4 basic blocks not covered) Lets see exactly where these four basic blocks are. A. In the Simulator, type cover bblocks all 0:0; the result is (we have removed the 100% covered entities and the duplicate results for side DLCb): >cover bblocks all 0 : 0 basic blocks coverage of dlca!dispatch : rate 95.00 from_ready_input_v76fr D_presentextract (v76para) A =i.D_extract (dlcs, dlciextract (iextract (v76para) =null. 0 D_presentextract (v76para) .A_else. : 0 Exhaustive Simulation 245 basic blocks coverage of dlca!dlc : rate 91.30 from_connected_in