Introduction to Software Verification

General Material

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

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)
    • Lecture 3 Video (With Embedded Quiz)
  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 ( ) (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 Introduction to TestNG (NEW August 12 2022)
  12. Week 4 Lecture 3 Input domain partitioning (Chapter 4 ) (NEW August 12 2022)
  13. Week 5 Lecture 1 Input domain modeling (Chapter 4 4.2 )
  14. Week 5 Lecture 2 Catchup and Exam Review
  15. Week 5 Lecture 3 Midterm Exam
  16. Week 6 Lecture 1 Mock Objects (NEW August 12 2022)
  17. Week 6 Lecture 2 Logic Coverage (Chapter 3 ) (NEW August 12 2022)
  18. Week 6 Lecture 3 No class (Good Friday)
  19. Week 7 Lecture 1 Predicate transformation (Chapter 3 ) (NEW August 12 2022)
  20. Week 7 Lecture 2 Finite State Machine Testing (Chapter 3 3.5 ) (NEW August 12 2022)
  21. Week 7 Lecture 3 Cyclomatic Complexity and the Testing of Loops (NEW August 12 2022)
  22. Week 8 Lecture 1 GUI Testing (NEW August 12 2022)
  23. Week 8 Lecture 2 GUI Testing Part 2 (NEW August 12 2022)
  24. Week 8 Lecture 3 Regular Expressions (Section 5.1 Pages 170-175) (NEW August 12 2022)
  25. Week 9 Lecture 1 Mutation Testing (Section 5.2) (NEW August 12 2022)
  26. Week 9 Lecture 2 Exploratory Testing (NEW August 12 2022)
  27. Week 9 Lecture 3 Regression testing (Section 6.1) (NEW August 12 2022)
  28. Week 10 Lecture 1 Test Plans (Section 6.4)
  29. Week 10 Lecture 2 When to Write Tests (NEW August 12 2022)
  30. Week 10 Lecture 3 Final Exam Review

Homework

  1. Homework 2

Individual Labs

  1. Lab 1: Testing a Circular Queue with JUnit (NEW August 12 2022)
  2. Lab 2: The Tax Calculator (NEW August 12 2022)

Partner Labs

  1. Lab 3: The Golden Pizza Company Ordering System (NEW August 12 2022)
  2. Lab 4: The Traveling Salesman (NEW August 12 2022)
  3. Lab 5: The Dental Scheduler (NEW August 12 2022)
  4. Lab 6: The Stock Market Analyser (NEW August 12 2022)
  5. Lab 7: A State Driven Security Light (NEW August 12 2022)
  6. Lab 8: GUI Testing (NEW August 12 2022)
  7. Lab 9: Mutation Testing (NEW August 12 2022)
  8. Lab 10: Analyzing Source CodeFor Complexity (NEW August 12 2022)

Videos

  1. JMock Tutorial
  2. JMock Tutorial Source Code Example
  3. PIT Mutation testing Tool Usage