Design: 05.02/P05

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 5: Deferral mode WAIT and ASTI

CHARACTERISTICS: ynnn

OPERATOR SCRIPT: passive test.

DESIGN:

picture change categories are numbered from 1 to 17:
  workstation changes :  1 to 12
  structure changes   : 13 to 17

set pcctab to names of picture change categories

invoke PICENV to set up standard picture environment

for defmod = WAIT,ASTI
   set deflbl = string for defmod
   if (defmod = ASTI) then
      svrlbl = "DEFERRED or CORRECT"
   else
      svrlbl = "DEFERRED"
   endif
   <set display update state> defmod, NIVE

   for pcc = 1 to 17 = picture change category
      <redraw all structures>/COND to make state of visual
         representation = CORRECT
      attempt visual change of type pcc
      if (change unsuccessful) then
         informative message: skipping test
         goto skip_pcc
      endif
      pcclbl = pcctab(pcc)
      TEST: #SR 3 4 13 14 15 23 29
            "A picture change of category " + pcclbl +
             " performed under mode [" + deflbl + ", NIVE] should
             leave the state of visual representation as " +
             svrlbl + "."
      pass/fail depending on ( current_SVR matches svrlbl )
skip_pcc:
   next pcc

   for modmd  = UWOR,UQUM
       set modlbl = string for modmd
   for sevrty = IRG,CBS,IMM
       set sevlbl = string for sevrty
   for oldsvr = DEFERRED,SIMULATED,CORRECT
       set oldlbl = string for oldsvr
       attempt to set SVR to oldsvr
       <set display update state> defmod, modmd
       if (current_SVR not= oldsvr) then
          informative message: skipping test
          goto skip_svr
       endif

       attempt to perform sevrty-type operation:
       invoke PICCHG of type = sevrty
       if (PICCHG reports failure) then
          informative message: skipping test
          goto skip_svr
       endif

       svrlst = calculate list of expected SVRs, based on
                sevrty, defmod, modmd, and oldsvr
       set explbl = string for svrlst

       TEST: #SR 3 4 13 14 15 19 20 21 24 25 26 27 28 29
             "If update mode = [" + deflbl + ", " + modlbl + "],
              picture change severity = " + sevlbl + ", and old
              state of visual representation = " + oldlbl + ",
              then current state of visual representation should
              be " + explbl + "."
       pass/fail depending on (svr contained in svrlst)

skip_svr:
   next oldsvr
   next sevrty
   next modmd
next defmod

END PROGRAM 5