Test Generation
frame. It is important to note that the test frame contains information
about the environment objects. Hence, it is useful in setting up the envi-
ronment prior to a test.
Test frames are generated by generating all possible combinations of
choices while satisfying the constraints. Choices that are marked error or
single are not combined with others and produce only one test case. It
is easy to observe that without any constraints (selector expressions), a
total of 160 test frames will be generated from the specification in
Example 2.17.
STEP 7: EVALUATE GENERATOR OUTPUT
In this step the tester examines the test frames for any redundancy or
missing cases. This might lead to a modification in the test specification
(Step 5) and a return to ...