roc1: Parameter(s) red, 0 Parameter(s) : red, 55 Parameter(s) : orange, 0 Parameter(s) orange, 55 Parameter(s) : green, 0 Figure 5.27 Test values generated by the Validator, no MSC loaded If the MSC test2 represented in Figure 5.28 is loaded into the Validator: parameter values specified in incoming signals are used, such as red in order, nonspecified values in incoming signals, such as the second parameter of order, are taken in the Validator test values, 7 Either using the command Load-MSC or the button Verify MSC. 130 Validation of Communications Systems with SDL MSC test2 proc1 env_0 proc1_1 order (red, ) Validator test values response (red, , 17) any value Figure 5.28 MSC loaded to be verified by the Validator parameter values specified in outputs must match the simulated values, nonspecified values in outputs are ignored by the Validator (i.e. always match). Figure 5.29 shows the two combinations of parameter values for signal order when the MSC test2 is loaded into the Validator: (red, 0) and (red, 55). Navigator Up 1: Transition START Pld : proc1:1 State : start state Next 1: Next 2: OUTPUT from ENV. OUTPUT from ENV. Signal : order Signal : order Receiver : proc1:1 Receiver : proc1:1 Parameter(s) : red, 0 Parameter(s) : red, 55 Figure 5.29 Test values generated by the Validator, MSC test2 loaded Figure 5.30 shows an MSC simulated in the Validator satisfying the loaded MSC test2. MSC trace2 proc1 env_0 proc1_1 order (red, 0) response (red, true, 17) Figure 5.30 Validator trace result of MSC test2 verification Automatic Observation of Simulations 131 5.2.5.4 The inline operators accepted in MSCs The Validator accepts the following inline operators in the MSCs: alt: alternative loop: repetition par: parallel seq: sequence exc: exception opt: optional These operators are defined in [MSC96]. 5.2.5.5 The symbols accepted in HMSCs The Validator accepts the following symbols in HMSCs, illustrated in Figure 5.31: start MSC reference (without substitution and gates) condition (ignored) connection point These symbol