Activity: Logic coverage

(no submission)

Purpose: Understand the basic concept of logic coverage criteria (predicate coverage, clause coverage); get started to work on homework assignment; prepare for quiz 4 and final exam

You may make a copy of a worksheet and complete this activity, or simply type your answers in any text editor.

You may work alone or with at most two other students in this course.

  1. Consider the following predicate and answer the questions 
       p = a + (bc)
  
   note: you may view the predicate as     p = a OR (b AND c)
    1. List test requirements that satisfy predicate coverage (PC)
    2. List test requirements that satisfy clause coverage (CC)
  2. Consider the following predicate and answer the questions 
       p = a (b + c)
  
   note: you may view the predicate as     p = a AND (b OR c)
    1. List test requirements that satisfy predicate coverage (PC)
    2. List test requirements that satisfy clause coverage (CC)
Copyright © 2025 Upsorn Praphamontripong
Released under the Creative Commons License CC-BY-NC-SA 4.0 license.
Last updated 2025-10-07 10:16