What is major clause?
The major clause must be the determining factor in the value of the predicate.
What is a minor clause?
The minor clause does not determine the value of the predicate.
What is the correlation between active / inactive?
■ 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
Problems with PC and CC
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
■ Implicitly allows minor clauses to have different values
■ Explicitly satisfies ( subsumes ) predicate coverage