Spring 2017

Logic Testing for Source Code

Ammann/Offutt, Exercises Section 8.3 (pages 223), Number 12(b).

You will need to understand the (posted) solution for 12(a) to proceed with this exercise.

The key to this exercise is
analyzing reachability.
Start with the **last** predicate,
and consider only tests that reach this predicate.
Any "don't care" values you have should be resolved
by this analysis.
Then consider the next to last predicate,
which also has reachability constraints.
Finally, consider the first predicate,
where reachability is simply **true**.