Test Generation from Requirements
not allowed. Hence Â, denoting an empty string, is an invalid value in its
own equivalence class, while Sue29 and Too Long a name are two more
invalid values in their own equivalence classes. Each of these three invalid
values has been placed in its own class as these values have been derived
from different semantic constraints. Similarly, valid and invalid values
have been selected for vname. Note that while the value address1, which
contains a digit, is a legal value for vname, Sue2, which also contains
digit, is illegal for fname.
Enumerations: The first set of rows in Table 2.2 offer guidelines for parti-
tioning a variable of enumerated type. If there is a reason to believe that
the application is to behave dif