Predicates, Path Predicates and Achievable Paths

• General
– Selecting a path does not mean that it is achievable. If all decisions are
based on variables whose values are independent of the processing and of
one another. Every selected path leads to an associated boolean expression,
called the path predicate expression, which characterizes the input values
that will cause that path to be traversed.
• Predicates
– Definition and Examples
– Multiway Branches
– Inputs
• Predicate Expressions
– Predicate Interpretation
– Independce and Correlation of Variables and predicates
– Independent and Dependent Variables.
– Independent and Dependent Process.
– Path Predicate Expressions
• The act of symbolic substitution of operations along the
path in order to express the predicate solely in terms of
the input vector is called predicate interpretation.

• Predicate Coverage
– Compound Predicates
– Predicate Coverage
• Testing Blindness
– The Problem
– Assignment Blindness
– Equality Blindness
– Self Blindness