Test Generation
Let R denote the requirements that led to M. R may be for a communi-
cation protocol, an embedded system such as the automobile engine or
a heart pacemaker. Often, both R and M are used as the basis for the
generation of tests and to determine the expected output as shown in
Figure 3.7. In this chapter, we are concerned with the generation of tests
using M.
The testing problem is to determine if the IUT is equivalent to M.
For the FSM representation, equivalence was defined earlier. For other
representations, equivalence is defined in terms of the I/O behavior of
the IUT and M. As mentioned earlier, the protocol or design of inter-
est might be implemented in hardware, software, or a combination of
the two. Testing the IUT for equivalence ...