Design: 03.04/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: Inquiring about structure identifiers

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
<delete all structures> from CSS

<retrieve structure identifiers> to determine
   lasi = list of archive structure identifiers
TEST: #SR 1
      "<Retrieve structure identifiers> should retrieve all
       identifiers as archived by <archive structures>."
pass/fail depending on (lasi contains same identifiers as expstr)

close archive file

END PROGRAM 1