Logic Coverage Flashcards Preview

ASE > Logic Coverage > Flashcards

Flashcards in Logic Coverage Deck (5)
Loading flashcards...
1
Q

What is major clause?

A

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

2
Q

What is a minor clause?

A

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

3
Q

What is the correlation between active / inactive?

A

■ 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

4
Q

Problems with PC and CC

A

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

5
Q

CACC

A

■ Implicitly allows minor clauses to have different values

■ Explicitly satisfies ( subsumes ) predicate coverage