Design: 04.03.03/P04

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 4: Updating of HLHSR modes

CHARACTERISTICS: ynnn

OPERATOR SCRIPT: passive test.

DESIGN:

<Inquire HLHSR mode> to determine
  upstat = HLHSR update state
  curmod = current HLHSR mode
  reqmod = requested HLHSR mode

if upstat = PENDING or NOTPENDING then
   statok = true
else
   statok = false
endif

TEST: #SR 12
      "Immediately after <open workstation>, the HLHSR update state
       should be NOTPENDING."
pass/fail depending on (upstat = NOTPENDING)

TEST: #SR 13
      "Immediately after <open workstation>, the current HLHSR mode
       should be 0."
pass/fail depending on (curmod = 0)

TEST: #SR 14
      "Immediately after <open workstation>, the requested HLHSR mode
       should be 0."
pass/fail depending on (reqmod = 0)

Try to cause HLHSR update state to be PENDING by making
   surface NOT EMPTY:
open structure
polyline
close structure
post structure
update workstation

TEST: #SR 15
      "The HLHSR update state should be either PENDING or NOTPENDING."
<set HLHSR mode> 0
<inquire HLHSR mode> to determine upstat
pass/fail depending on ((upstat = PENDING or NOTPENDING)  and
                        statok)

<close workstation>
<open workstation>

TEST: #SR 12
      "Immediately after re-opening the workstation, the HLHSR update
       state should be NOTPENDING."
<Inquire HLHSR mode> to determine
  upstat = HLHSR update state
pass/fail depending on (upstat = NOTPENDING)

END PROGRAM 4