SWE 637 Assignment 8
Fall 2017
Logic-Based Coverage Criteria

Due 6-November, beginning of class


Anyone who cannot cope with mathematics is not fully human. At best he is a tolerable subhuman who has learned to wear shoes, bathe and not make messes in the house.
— Lazarus Long, “Time Enough for Love,” by Robert A. Heinlein

Answer the following questions. Bring hardcopies of your answers to class; either hand written or printouts. All homeworks are due before class on the due date. You may use one of the collaborative options as specified on the syllabus, but any help not allowed by that policy will be an honor code violation.

  1. (5 pts.) Write the predicate (only the predicate) to represent the requirement: “List all computer plasma monitors that either cost more than $800 or for which the store has more than 10 items. Also list LCD monitors that cost more than $200.”

  2. (15 pts.) Answer the following six questions for the predicate: p = (a ∨ b ∨ c) ∧ (a ∨ d)
    Here is the predicate in the syntax for the book’s logic coverage tool: p = (a | b | c) & (a | d)
    1. List the clauses from the predicate p.
    2. Compute (and simplify) the conditions under which each clause determines predicate p.
    3. Write the complete truth table for all clauses. Label your rows starting from 1. Use the format in the example underneath the definition of Combinatorial Coverage in Section 8.1. That is, row 1 should be all clauses true. You should include columns for the conditions under which each clause determines the predicate, and also a column for the predicate itself.
    4. List all pairs of rows from your table that satisfy General Active Clause Coverage (GACC) with respect to each clause.
    5. List all pairs of rows from your table that satisfy Correlated Active Clause Coverage (CACC) with respect to each clause.
    6. List all pairs of rows from your table that satisfy Restricted Active Clause Coverage (RACC) with respect to each clause.