 Detect state of processes AtoB and BtoA We want to detect that in our V.76 SDL model: instance 1 of process AtoB is in state ready and instance 1 of process BtoA is in state ready. This condition, translated into a Validator rule, becomes: state (AtoB : 1) =ready and state (BtoA : 1) =ready Compile the SDL model, start the Validator and test the rule: A. In the Organizer, select the SDL system V76test and do Generate > Make: the window represented in Figure 5.5 appears. Select Microsoft Validation or Borland Validation, and press Full Make. SDL Make Make System V76test Select other(s) Analyze & generate code Code generator Cbasic Generate environment header file Prefix Generate environment functions Full Make Separation Generate signal number file Capitalization As defined Generate ASN. 1 coder Generate SDL coder Makefile Target directory: \livreSimul\modelsSDIW76N Generate makefile Analyze Options Generate makefile and use template: Use makefile: Cancel Compile & link Use standard kernel Microsoft Validation Use kernel in directory: Preprocess C file Figure 5.5 The SDL Make window set for validation B. In the Organizer, press the Validate button to start the Validator. The Validator main window appears, as shown in Figure 5.6. C. In the Validator command line, enter: Define-Rule state (AtoB : 1) =ready and state (BtoA : 1) = =ready D. Then, to test if the rule is satisfied or not for the current SDL model state, enter: Evaluate-Rule state (AtoB: 1) =ready and state (BtoA:1) =ready 116 Validation of Communications Systems with SDL SDL Validator UI - V76test_vlc.exe File View Buttons Log Commands Options1 Options2 Autolink1 Autolink2 Help EXPLORE Group Bit-State Random Walk Tree Walk Welcome to the SDL VALIDATOR Exhaustive Tree Search Verify MSC Command : Navigator Bottom Break Group TEST VALUES Group Command : Figure 5.6 The Validator main window The Validator answers: Evaluating rule : ( ( state ( AtoB: 1 ) = ready) and (state ( BtoA 1 ) = ready ) ) Rule not satisfied This is normal, as the processes are not ye