Design: 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: Testing the system state value

CHARACTERISTICS: nnnn

OPERATOR SCRIPT: passive test.

DESIGN:

Use <inquire system state value> to determine:
    systra = system state value

TEST: #SR 3
      "<Inquire system state value> should return closed as the system state
       value before PHIGS is opened."

<inquire system state value> systra
pass/fail depending on (systra = closed)

TEST: #SR 1 3
      "After opening PHIGS <inquire system state value> should return the
       system state value as open."

<open PHIGS>
<inquire system state value> systra
pass/fail depending on (systra = open)

TEST: #SR 2 3
      "After closing PHIGS <inquire system state value> should return the
       system state value as closed."

<close PHIGS>
<inquire system state value> systra
pass/fail depending on (systra = closed)

TEST: #SR 1 3
      "After reopening PHIGS <inquire system state value> should return the
       system state value as open."

<open PHIGS>
<inquire system state value> systra
pass/fail depending on (systra = open)
<close PHIGS>

END PROGRAM 1