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
Linger, Cleanroom Software Engineering for Zero-Defect Software

3. Coverage (cont’d) Problem sets 5, 6, and 7 Axiomatic verification
Predicate transforms
Function-based verification
Topics
Formal Program Specification
Axiomatic Verification
Predicate Transforms
Functional Verification
Cleanroom Software Engineering

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

5. Exam Logistics
Exam 2 will be held in class on Thursday, April 16 for ALL ON-CAMPUS and ALL GREATER GAINESVILLE AREA EDGE STUDENTS.
EDGE STUDENTS NOT residing in the greater Gainesville area should make arrangements with their EDGE-approved proctors to take the exam no earlier than 1:30 PM EST on Thursday, April 16, or anytime on Friday, April 17.

6. Ground Rules and Format
You will have 90 minutes to work on the exam.
No notes, books, calculators, cell phones, PDAs or other electronic devices (other than a watch) are allowed.
Bring your UF student picture ID.
All answers should be given in the spaces provided on the exam only.
Problem format may be short answer, matching, true/false, fill-in-the-blank, proofs, etc.
The point-value of each problem will be given.
Please do NOT ask questions about problems during the exam. If you are unsure of what is being asked or what is meant, either skip the prob-lem or just use your best judgment

7. Exam Procedures for EDGE Students who reside outside the greater Gainesville area
Proctors will be instructed to schedule a SINGLE EXAM TIME for all students at each off-campus site.
The Exam will be made available to proctors on or the day before it is administered to on-campus students .
Unless you have made other arrangements with the instructor, schedule the exam with your proctor for Thursday or Friday.
Proctors should return electronic copies of completed exams via or FAX directly to the instructor ASAP after administration.

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

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