Design: 02.01.01/P02

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 2: Structure creation by emptying a non-existent structure

CHARACTERISTICS: nnnn

OPERATOR SCRIPT: passive test

DESIGN:

TEST: #SR 2
      "Emptying a non-existent structure should create one new
       structure with the specified identifier in the CSS."

<empty structure> strid
Use <inquire structure identifiers> to determine:
  nstid = number of structure identifiers
  nstr  = a structure identifier
pass/fail depending on (nstid = 1 and nstr = strid)

TEST: #SR 2
      "Emptying a non-existent structure should create an empty
       structure with the specified identifier in the CSS."

Use <inquire structure status> on strid to determine
     strsti = structure status identifier
pass/fail depending on (strsti = empty)

END PROGRAM 2