Predicate Coverage (PC)

Posted: January 7th, 2022

For the index() program in Chapter 7, complete the test sets for

the following coverage criteria by filling in the “don’t care” values.

Make sure to ensure reachability. Then derive the expected output.

Download the program, compile it, and run it with your resulting

test cases to verify correct outputs.

(a) Predicate Coverage (PC)

(b) Clause Coverage (CC)

(c) Combinatorial Coverage (CoC)

(d) Correlated Active Clause Coverage (CACC)