Introduction to Software Verification

General Material

1. Syllabus (NEW August 12 2022)
2. Ubiquitous Presenter Lecture Notes
3. Ubiquitous Presenter Interactive Tutorial
4. Piazza Discussion Board

Exam Information

1. Midterm Exam Review Sheet (NEW August 12 2022)
2. Final Exam Review Sheet (NEW August 12 2022)

Lectures

1. Week 1 Lecture 1 Course Introduction and Policies (Chapter 1 ) (NEW August 12 2022)
2. Week 1 Lecture 2 Test Activities (Chapter 1 pgs 1-10 1.1) (NEW August 12 2022)
3. Week 1 Lecture 3 Validation and Verification (Chapter 1 pgs 11-15 1.2) (NEW August 12 2022)
4. Week 2 Lecture 1 Testing Termonology (Chapter 1 pgs 16-22 1.3, 1.4) (NEW August 12 2022)
5. Week 2 Lecture 2 Graph Theory (Chapter 2 pgs 27-31 2.1) (NEW August 12 2022)
6. Week 2 Lecture 3 Coverage (Chapter 2 2.2) (NEW August 12 2022)
7. Week 3 Lecture 1 Active Learning: Graph Coverage (Chapter 1 ) (NEW August 12 2022)
8. Week 3 Lecture 2 Testing from Use Cases (Chapter 6 pgs 87-91 2.6) (NEW August 12 2022)
9. Week 3 Lecture 3 Equivalence Class Testing (NEW August 12 2022)
10. Week 4 Lecture 1 Boundary Value Analysis (NEW August 12 2022)
11. Week 4 Lecture 2 Input domain partitioning (Chapter 4 ) (NEW August 12 2022)
12. Week 4 Lecture 3 Input domain modeling (Chapter 4 4.2 ) (NEW August 12 2022)
13. Week 5 Lecture 1 Input domain modeling (Continued)
14. Week 5 Lecture 2 Mock Objects Video
15. Week 5 Lecture 2 Mock Objects (NEW August 12 2022)
16. Week 5 Lecture 3 Using Mock Objects for Testing Video
17. Week 5 Lecture 3 Using Mock Objects for Testing (NEW August 12 2022)
18. Week 6 Lecture 1 Cancelled due to travel difficulties
19. Week 6 Lecture 2 Catchup and Review and Cyclomatic Complexity (NEW August 12 2022)
20. Week 6 Lecture 3 Midterm Exam
21. Week 6 Lecture 1 Logic Coverage (Chapter 3 ) (NEW August 12 2022)
22. Week 7 Lecture 2 Predicate transformation (Chapter 3 ) (NEW August 12 2022)
23. Week 7 Lecture 2 Predicate transformation (Origional Slides from Class ) (NEW August 12 2022)
24. Week 7 Lecture 3 Finite State Machine Testing (Chapter 3 3.5 ) (NEW August 12 2022)
25. Week 8 Lecture 1 Regular Expressions ( 5.1 170-175) (NEW August 12 2022)
26. Week 8 Lecture 2 Mutation Testing (Chapter 5 5.2 ) (NEW August 12 2022)
27. Week 8 Lecture 3 Mutation Testing
28. Week 9 Lecture 1 Exploratory Testing (NEW August 12 2022)
29. Week 9 Lecture 2 Regression testing (Chapter 6 6.1) (NEW August 12 2022)
30. Week 9 Lecture 3 When to Write Tests and How to STructure Tests (NEW August 12 2022)
31. Week 10 Lecture 1 Testing Graphical User Interfaces (Chapter 7 7.3)
32. Week 10 Lecture 2 Test Plans (6.4)
33. Week 10 Lecture 3 Final Exam Review

Homework

1. Homework 2 (NEW August 12 2022)

Individual Labs

1. Lab 3: The Golden Pizza Company Ordering System (NEW August 12 2022)
• Lab 3 Completed Program (NEW August 12 2022)
• Mantis Bug Tracking System
• Lab 3 submission page
2. Lab 4: The Traveling Salesman (NEW August 12 2022)
• Lab 4 Completed Program (NEW August 12 2022)
• Lab 4 Javadoc
• Mantis Bug Tracking System
• Lab 4 submission page
3. Lab 5: The Dental Scheduler (NEW August 12 2022)
• Scheduler Interface File (NEW August 12 2022)
• Lab 5 submission page
4. Lab 6: The Stock Market Analyser (NEW August 12 2022)
• JMock Tutorial
• JMock Tutorial Source Code Example
• Source Code For the Stock Market Analyser (NEW August 12 2022)
• Lab 6 submission page
5. Lab 7: A State Driven Security Light (NEW August 12 2022)
• Source Code For the Light Controller (NEW August 12 2022)
• Lab 7 submission page
6. Lab 8: GUI Testing (NEW August 12 2022)
• Online Calculator to use for developing tests
• Broken Calculator to Test (NEW August 12 2022)
• Lab 8 submission page
7. Lab 9: Mutation Testing (NEW August 12 2022)
• PITTest Tutorial
• Lab 9 submission page
8. Lab 10: Analyzing Source CodeFor Complexity (NEW August 12 2022)
• Winplotter jar file (NEW August 12 2022)
• Golden Pizzaria (NEW August 12 2022)
• jgraphx (NEW August 12 2022)
• Virtual Memory Simulator (NEW August 12 2022)
• Virtual Memory Simulator Code (NEW August 12 2022)
• Lab 10 submission page

Videos

1. PIT Mutation testing Tool Usage