Design: 03.03/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: Selection of structures for archiving

CHARACTERISTICS: nnnn

OPERATOR SCRIPT: passive test.

DESIGN:

set up standard networks in CSS
open new archive file, with arid = archive identifier

<delete all structures from archive> to ensure empty file
expstr = expected structures = 114,102,100,140,107
<archive structures> with expstr, arid
TEST: #SR 1 4
      "Exactly those structures explicitly listed in the input
       parameter of <archive structures> should be reported as
       existing in a previously empty archive file."
<retrieve structure identifiers> with arid
  to determine: actstr = actual list of structures
pass/fail depending on (actstr contains same identifiers as expstr)

<delete all structures from archive> to ensure empty file
spcstr = specified structures = 107,114,105
expstr = expected structures = 105,110,114,108,111,115,107,113
<archive structure networks> with spcstr, arid
TEST: #SR 2 4
      "The structures explicitly listed in the input parameter of
       <archive structure networks> and all their descendants in
       the CSS should be reported as existing in a previously
       empty archive file."
<retrieve structure identifiers> with arid
  to determine: actstr = actual list of structures
pass/fail depending on (actstr contains same identifiers as expstr)

<delete all structures from archive> to ensure empty file
expstr = expected structures = 100,101,102,103,104,105,106,107,108,109,
                               110,111,113,114,115,120,130,140,142
<archive all structures> with arid
TEST: #SR 3 4
      "<Archive all structures> should cause all structures
       currently in the CSS to be reported as existing in a
       previously empty archive file."
<retrieve structure identifiers> with arid
  to determine: actstr = actual list of structures
pass/fail depending on (actstr contains same identifiers as expstr)

<close archive file> with arid

END PROGRAM 2