Test Generation
a graphical user interface to select a printer, then I consists exactly
of the strings offered in the pulldown menu.
The selected script depends on the type of the printer. For sim-
plicity we assume that the following three types are considered: color
inkjet (ci), color laserjet (cl), and color multifunction (cm). Thus, for
example, if the input to pTest is HP Deskjet 6840, the script se-
lected will be the one to test a color inkjet printer. The input domain
of pTest consists of all possible strings, representing valid and in-
valid printer names. A valid printer name is one that exists in the
database of printers used by pTest for the selection of scripts, while
an invalid printer name is a string that does not exist in the database ...