CSE 565 Software Verification
Latest uploads at CSE 565 Software Verification. Looking for notes at CSE 565 Software Verification? We have lots of notes, study guides and study notes available for your school.
-
1
- 0
- 0
All courses for CSE 565 Software Verification
-
CSE 565 Software Verification 1
Latest content CSE 565 Software Verification
Unit 4 Graded Quiz 
Question 1 
True or False? Code coverage can be assessed in terms of control flow and data flow. 
True 
False 
Question 2 
Given the code below, which set of test cases will achieve 100% statement coverage? If a < 5 or b > 
7 X = 50; c = a + b; Else X = 25; c = a – b; If X = 50 and c > 6 Z = 10; Else Z = 12; 
Test Case 1: A = 2, B=10, C=12, X=25 
Test Case 2: A=3, B=4, C=4, X=25 
Test Case 1: A = 3, B=10, C=13, X=25 
Test Case 2: A=5, B=1, C=4, X=25 
Test Case 1: A...
- Exam (elaborations)
- • 7 pages's •
-
CSE 565 Software Verification•CSE 565 Software Verification
Preview 2 out of 7 pages
Getting your document ready...
Unit 4 Graded Quiz 
Question 1 
True or False? Code coverage can be assessed in terms of control flow and data flow. 
True 
False 
Question 2 
Given the code below, which set of test cases will achieve 100% statement coverage? If a < 5 or b > 
7 X = 50; c = a + b; Else X = 25; c = a – b; If X = 50 and c > 6 Z = 10; Else Z = 12; 
Test Case 1: A = 2, B=10, C=12, X=25 
Test Case 2: A=3, B=4, C=4, X=25 
Test Case 1: A = 3, B=10, C=13, X=25 
Test Case 2: A=5, B=1, C=4, X=25 
Test Case 1: A...