Skip to Main Content
Foundations of Software Testing (Fundamental Algorithms and Techniques) by Pearson
book

Foundations of Software Testing (Fundamental Algorithms and Techniques) by Pearson

by Aditya P. Mathur
May 2024
Intermediate to advanced content levelIntermediate to advanced
765 pages
21h 57m
English
Pearson India
Content preview from Foundations of Software Testing (Fundamental Algorithms and Techniques) by Pearson
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 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Effective Software Testing, Video Edition

Effective Software Testing, Video Edition

Mauricio Aniche

Publisher Resources

ISBN: 9781299486720