 (disabled) /* For the Validator: */ SIGNALLIST su2dlc1= DLCa V76_DLC DLCb V76_DLC L_EstabResp, L_SetparmResp; V76frame V76frame SIGNALLIST disabled= DLCaDL DLCbDL L_EstabReq, V76frame [V76frame] L_ReleaseReq, L_SetparmReq, dataLink L_DataReq; Figure 7.14 Configuration of V.76 for the Validator D. In the Organizer, press the save button. E. Be sure to use the last version of process dispatch, stored in dispatch.spr, including the two corrections mentioned in Chapter 4: input signal DLCstopped added under state waitUA, after transmitting L_ReleaseInd, go to state ready instead of state waitUA. 7.3.1.2 Start the Validator A. In the Organizer, select the SDL system V76test and do Generate > Make. B. In the SDL Make window, select Microsoft Validation or Borland Validation, and press Full Make. C. In the Organizer, press the Validate button to start the Validator. Exhaustive Simulation 193 7.3.1.3 Define test values for external signals We will define which external signals the Validator will transmit to the SDL model, and the values of their parameters. A. In the Validator, check the group TEST VALUES and press on List Value. The Valida- tor answers: Command : List-Test-Values Sort integer: Sort DLCident: B. Press on Clear Value, select integer, press OK, enter - -55, and press OK. C. Repeat the operation for integer: 0 and 55. D. Press on Def Value, select integer, press OK, enter 86, and press OK. E. Repeat the operation for integer: 39. F. Save the signal definitions into a file, typing the command: Save-Test-Values sig_defs.com. G. Open sig_defs.com with a text editor, and remove the following last lines from the file, which are duplicated (because the same signals are on two external channels in the SDL model): clear-signal-definitions L_EstabResp define-signal L EstabResp clear-signal-definitions L SetparmResp define-signal L_SetparmResp clear-signal-definitions - L_ReleaseReq define-signal L_ReleaseReq 0 define-signal L_ReleaseReq 1 clear-signal-definitions L EstabReq define-signal L_EstabReq 0 define-signal 