Prepared by Stephen M. Thebaut, Ph.D. University of Florida Exam 2 Notes Software Testing and Verification Lecture 26 Prepared by Stephen M. Thebaut, Ph.D. University of Florida

Coverage Lectures Notes 16 through 26 Required readings 7-9: King, et al., Is Proof More Cost-Effective than Testing? Dunlap & Basili, A Comparative Analysis of Functional Correctness (for reference) Linger, Cleanroom Software Engineering for Zero-Defect Software

Coverage (cont’d) Problems from Quizzes 3-5 Problem Set 7 (Functional Verification) problems 6-10 Topics Formal Program Specification Axiomatic Verification Predicate Transforms Functional Verification Cleanroom Software Engineering

Other Resources Practice Exams with solution notes Functional Verification Exercise Solutions Lesson Plans 16-25 (including Self-Check Quiz Questions and solutions)

Exam Date, Location, Duration Exam 2 will be held in class on Wednesday, April 19. You will have 50 minutes to work on the exam.

Make-Up Exam Policy Students are expected to make every effort to be present at the scheduled exam time. If missing the exam is unavoidable (e.g., due to sickness, accident, or other reasons beyond your control), please contact the instructor as far in advance as possible. Make-up exams may be administered orally. If it is not practical to administer a make-up exam before the end of the term, a course grade of "I" (incomplete) may be assigned.

Prepared by Stephen M. Thebaut, Ph.D. University of Florida Exam 2 Notes Software Testing and Verification Lecture 26 Prepared by Stephen M. Thebaut, Ph.D. University of Florida