1. 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

2. 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

3. 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

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

5. 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.

6. 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.

7. 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