
Test Generation from Requirements
and empty-file correspond to names of files that are, respectively, exists,
does-not-exist, and exists but is empty.
Selection of tests for the boiler-control software in Example 2.8 is
a bit more tricky due to the presence of infeasible data and don’t care
values. The next example illustrates how to proceed with test selection
for the boiler-control software.
Example 2.9: Recall that we began by partitioning the input
domain of the boiler-control software into 120 equivalence classes.
A straightforward way to select tests would have been to pick one
representative of each class. However, due to the existence of infea- ...