SWE 637 Homework 9
Spring 2017
Logic Coverage: Active and Inactive Clause Coverage


Ammann/Offutt Chapter 8, Exercises Section 8.1, Number 4. (page 196). Instead of doing any of the predicates (i) through (x), use the following predicate (written in Java):

p :  (a == b) ||   c

I strongly suggest checking your work with the online tool. However, you should be prepared to carry out a similar exercise on a quiz or an exam (or both) without the aid of the tool. You may find the relevant videos on the book web site helpful if you get stuck.

If you want to use any of the K-map techniques in computing your solution, you should rewrite the predicate in (minimal) DNF.