Test Generation from Finite-State Models
The gen-L-uio procedure is invoked first with e = (1, 2) and te =
(2, 3) in Step 2.1.2. It begins with Pattern[(2, 3)] = a/0.b/0and
End[(2, 3)] = 3.
Example 3.29: This example illustrates the workings of procedure
gen-uio(s) by tracing through the algorithm for machine M
1
in Fig-
ure 3.18. The complete set of UIO sequences for this machine is given
in Example 3.19. In this example, we sequence through gen-uio(s) for
s = q
1
. The trace is as follows:
gen-uio Input: State q
1
Step 1 Find the set of edges for each distinct label in M
1
. There
are four distinct labels in M
1
, namely a/0, b/1, c/0, and
c/1. The set of edges for each of these four labels is given
below:
Set
B
/ ={}
Set
C
/ ={}
Set ...