Logic Coverage

Question 1

What is major clause?

Answer 1

The major clause must be the determining factor in the value of the predicate.

Question 2

What is a minor clause?

Answer 2

The minor clause does not determine the value of the predicate.

Question 3

What is the correlation between active / inactive?

Answer 3

■ The active clause coverage criteria ensure that “major” clauses do affect the predicates
■ Inactive clause coverage takes the opposite approach -major clauses do not affect the predicates

Question 4

Problems with PC and CC

Answer 4

PC (predicate must be true and false at least once) does not fully exercise all the clauses, especially in the
presence of short circuit evaluation
■ CC does not always ensure PC
■ That is, we can satisfy CC without causing the predicate
to be both true and false

Question 5

CACC

Answer 5

■ Implicitly allows minor clauses to have different values

■ Explicitly satisfies ( subsumes ) predicate coverage