a3 - Software Testing, Quality Assurance & Maintenance...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Maintenance (ECE453/CS447/SE465): Assignment 3 v1 Patrick Lam Due: March 3, 2010 You may discuss the assignment with others, but I expect each of you to do the assignment independently. I will follow UW’s Policy 71 if I discover any cases of plagiarism. Question 1 (10 points) (based on Section 3.2, Q1) For the following predicates: 1. p = a ( b c ) 2. p = a ( b c ) (a, 0 points) Identify the clauses that go with each p . (b, 2 points) Compute (and simplify) the conditions under which each of the clauses determines predicate p . (c, 2 points) Write the complete truth table for all clauses. Label your rows. Use the format from the table underneath combinatorial coverage from Section 3.2. Include columns for the truth value of the predicate and for the conditions under which each clause determines the predicate. 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
(d, 2 points) Identify all pairs of rows from your table that satisfy general active clause coverage (GACC) with respect to each clause. (e, 2 points)
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 3

a3 - Software Testing, Quality Assurance & Maintenance...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online