Design: 05.01.01/P01

This is an abstract, language-independent design. Grim details may be found in the corresponding source code. You may return to the documentation for the module containing this program design, or to the entire hierarchical table of topics covered by the PVT.

PROGRAM 1: Initial state of workstations

CHARACTERISTICS: nnnn

OPERATOR SCRIPT: passive test.

DESIGN:

<open phigs>
<Inquire set of open workstations> to determine
   numopw = number of open workstation
<Inquire workstation state value> to determine
   wksval = workstation state value

TEST: #SR 1 7
      "Immediately after <open phigs>, and until the first invocation
       of <open workstation>, the set of open workstations
       should be empty."
pass/fail depending on (numopw =0)

TEST: #SR 2 3 4
      "Immediately after <open phigs> and until the first invocation
       of <open workstation>, the workstation state should be WSCL."
pass/fail depending on (wksval =  WSCL)


END PROGRAM 1