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