e Simulator, select View > Hierarchy: the Hierarchy Browser appears, as shown in Figure 4.52. F. In the Hierarchy Browser, press the button Reset Coverage: this4 43 sets to 0 the coverage counters, in case you did not restart the Simulator just before this exercise. G. In the Hierarchy Browser, select v76test and press the button+ : this displays the coverage rates of the SDL model, as illustrated in Figure 4.53. Hierarchy Browser Locate Track Create Watch v76test Add to Watch datalink states coverage atob (0.00% 0.00% 0.00%) Stop if transitions coverage btoa (50.00% 0.00% 0.00% Print basic blocks coverage Reset Coverage dispatch (0.00% 0.00% 0.00%) Figure 4.53 The coverage rates 43 It seems that there are two minor problems in the version 4.2.2 of the Simulator: just after starting the Simulator, without executing any transition, the start symbols of processes atob, btoa and dispatch are marked as executed 2 times instead of 0 (type cover state all), and if you press the button Reset Coverage in the Hierarchy Browser, the coverage counters are all correctly set to 0, but the Hierarchy Browser does not display 0 concerning btoa and dlcb!dispatch. In fact the coverage for btoa and dlcb!dispatch should not be displayed, as they are instances of the same entities than atob and dlca!dispatch. As they concern only start transitions, which will be executed in any case, these problems are not dangerous. 88 Validation of Communications Systems with SDL The first number is the percentage of states simulated, the second number is the percentage of transitions simulated and the last number is the percentage of basic blocks simulated. H. In the Simulator, select File > Scenario > Load, and open testl.scn (see Section 4.3.2.3). I. When you see end of scenario loading, press the button All located under Redo. The Hierarchy Browser now displays the new values of the coverage rates, as shown in Figure 4.54. Hierarchy Browser Locate Track Create Watch v76test datalink Add to Watch atob (100.00% 75.00% 75.00%) Stop if btoa (100.00