Test Generation from Requirements
salary. For simplicity, assume that the employee’s record consists of
the following items with their respective types and constraints:
ID: int; ID is three-digit long from 001 to 999.
name: string;
name is 20-character long; each char-
acter belongs to the set of 26 letters
and a space character.
rate: float; rate varies from $5 to $10 per hour;
rates are in multiples of a quarter.
hoursWorked: int; hoursWorked varies from 0 to 60.
Each element of the input domain of P is a record that consists of
four items listed above. This domain is large as well as complex.
Given that there are 999 possible values of ID, 27
20
possible char-
acter strings representing names, 21 hourly pay rates, and 61 possible
work hours, the number ...