Design: 09.01.01.02/P04
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 4: Error 4 handled by system
CHARACTERISTICS: ynny
OPERATOR SCRIPT:
See OPERATOR SCRIPT for Program 1.
DESIGN:
Throughout this program, every time an error is signalled (as noted by
the tag "signals error"), the system-defined error handler should call
<error logging> at least once to write an error message on the error file.
Open workstation, open structure or open archive file after
initializing to test if function <close phigs> generates error 4;
ignoring function, function requires state (PHOP, WSCL, STCL,
ARCL).
*** *** *** Generate errors; test absence of side effects *** *** ***
<open workstation> with WKID, CONID, WTYPE
<close phigs> : signals error
TEST: #SR 4
"If <close phigs> signals an error because PHIGS is open and a
workstation is open, it should not cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = open)
<close workstation>
<open structure>
<close phigs> : signals error
TEST: #SR 4
"If <close phigs> signals an error because PHIGS is open and a
structure is open, it should not cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed and
structure state = open)
<close structure>
<open archive file>
<close phigs> : signals error
TEST: #SR 4
"If <close phigs> signals an error because PHIGS is open and
an archive file is open, it should not cause any other
effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed and
structure state = closed and
archive state = open)
<close archive file>
*** *** *** Results of system-defined error handling *** *** ***
TEST: #SR 4
"If <close phigs> is called and PHIGS is open and a workstation
is open, it should write an accurate, self-identifying error
message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 4
"If <close phigs> is called and PHIGS is open and a structure
is open, it should write an accurate, self-identifying error
message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 4
"If <close phigs> is called and PHIGS is open and an archive file
is open, it should write an accurate, self-identifying error
message on the error file."
pass/fail depending on (operator verifies error message)
END PROGRAM 4