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

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

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

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.

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

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 e-mail or FAX directly to the instructor ASAP after administration.

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