Design: 09.02.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: Error indicator = 3
CHARACTERISTICS: nnnn
OPERATOR SCRIPT: passive test
DESIGN:
Close phigs to test if functions 217,219,221,223,224,227,228,231,232,234,236,
237,240 set number 3 to the error indicator, then open phigs and not open any
workstation to test if functions 216,218,220,222,225,226,229,230,233,235,238,
239,313 set number 3 to the error indicator: ignoring function, function
requires state (PHOP,WKOP,*,*).
<close phigs>
<inquire list of view indices>
TEST: #SR 2
"If <inquire list of view indices> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire hlhsr mode>
TEST: #SR 2
"If <inquire hlhsr mode> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire display update state>
TEST: #SR 2
"If <inquire display update state> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire polyline representation>
TEST: #SR 2
"If <inquire polyline representation> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire list of polymarker indices>
TEST: #SR 2
"If <inquire list of polymarker indices> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire text representation>
TEST: #SR 2
"If <inquire text representation> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire list of interior indices>
TEST: #SR 2
"If <inquire list of interior indices> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire edge representation>
TEST: #SR 2
"If <inquire edge representation> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire list of pattern indices>
TEST: #SR 2
"If <inquire list of pattern indices> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire colour mode>
TEST: #SR 2
"If <inquire colour model> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire colour representation>
TEST: #SR 2
"If <inquire colour representation> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire highlighting filter>
TEST: #SR 2
"If <inquire highlighting filter> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<inquire workstation transformation>
TEST: #SR 2
"If <inquire workstation transformation> is called and PHIGS is closed, it
should return error indicator = 003."
pass/fail depending on (returned error indicator = 3)
<open phigs>
<inquire workstation connection and type>
TEST: #SR 2
"If <inquire workstation connection and type> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire view representation>
TEST: #SR 2
"If <inquire view representation> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire posted structures>
TEST: #SR 2
"If <inquire posted structures> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire list of polyline indices>
TEST: #SR 2
"If <inquire list of polyline indices> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire polymarker representation>
TEST: #SR 2
"If <inquire polymarker representation> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire list of text indices>
TEST: #SR 2
"If <inquire list of text indices> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire interior representation>
TEST: #SR 2
"If <inquire interior representation> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire list of edge indices>
TEST: #SR 2
"If <inquire list of edge indices> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire pattern representation>
TEST: #SR 2
"If <inquire pattern representation> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire list of colour indices>
TEST: #SR 2
"If <inquire list of colour indices> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire invisibility filter>
TEST: #SR 2
"If <inquire invisibility filter> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
<inquire workstation transformation 3>
TEST: #SR 2
"If <inquire workstation transformation 3> is called and PHIGS is
open but no workstation is open, it should return error indicator =
003."
pass/fail depending on (returned error indicator = 3)
END PROGRAM 2