SWE 637 Homework 11
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.