
Test Generation from Requirements
The previous example leads to the following observations:
r
Relationships among the input variables must be examined care-
fully while identifying boundaries along the input domain. This
examination may lead to boundaries that are not evident from
equivalence classes obtained from the input and output variables.
r
Additional tests may be obtained when using a partition of the in-
put domain obtained by taking the product of equivalence classes
created using individual variables.
2.5 CATEGORY-PARTITION METHOD
The category-partition method is a systematic approach to the genera-
tion of tests from requirements. The method ...