Design: 11.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: Create store and delete store

CHARACTERISTICS: nnnn

OPERATOR SCRIPT: passive test.

DESIGN:

TEST: #SR 13
      "<Create store> should return a non-null pointer."
<create store> to set ptr
pass/fail depending on (error indicator = 0 and ptr not= null)

TEST: #SR 14
      "<Delete store> should return a null pointer."
<delete store> to set ptr
pass/fail depending on (error indicator = 0 and ptr = null)

END PROGRAM 5