Test Generation
Once the graphical model has been built, any one of the four predicate-
based test-generation procedures introduced in this section can be ap-
plied for test generation. Exercise 2.42 is to help you understand how a
combination of cause–effect graphs and predicate testing works.
2.7.7 FAULT PROPAGATION
We now explain the notion of fault propagation that forms the basis
of the four predicate test-generation algorithms described in this sec-
tion. Let p
r
be a predicate, simple or compound, and p
c
a compo-
nent of p
r
. Each node in the abstract syntax tree of a predicate is
a component of that predicate. For example, as in Figure 2.17, pred-
icate p :(a + b) < c ∧¬p ∨ r > s contains the following six compo-
nents: a + b < c, ∧, ¬, p, ∨,and