Introduction to Software Verification


General Material

  1. Syllabus (NEW September 9 2015)
  2. Ubiquitous Presenter Lecture Notes
  3. Ubiquitous Presenter Interactive Tutorial

Exam Information

  1. Midterm Exam Review Sheet (NEW September 9 2015)
  2. Final Exam Review Sheet (NEW September 9 2015)

Lectures

  1. Week 1 Lecture 1 Course Introduction and Policies (Chapter 1 ) (NEW September 9 2015)
  2. Week 1 Lecture 2 Test Activities (Chapter 1 pgs 1-10 1.1) (NEW September 9 2015)
  3. Week 1 Lecture 3 Validation and Verification (Chapter 1 pgs 11-15 1.2) (NEW September 9 2015)
    • Lecture 3 Video (With Embedded Quiz)
  4. Week 2 Lecture 1 Testing Termonology (Chapter 1 pgs 16-22 1.3, 1.4) (NEW September 9 2015)
  5. Week 2 Lecture 2 Graph Theory (Chapter 2 pgs 27-31 2.1) (NEW September 9 2015)
  6. Week 2 Lecture 3 Coverage (Chapter 2 2.2) (NEW September 9 2015)
  7. Week 3 Lecture 1 Active Learning: Graph Coverage ( ) (NEW September 9 2015)
  8. Week 3 Lecture 2 Testing from Use Cases (Chapter 6 pgs 87-91 2.6) (NEW September 9 2015)
  9. Week 3 Lecture 3 Equivalence Class Testing (NEW September 9 2015)
  10. Week 4 Lecture 1 Boundary Value Analysis (NEW September 9 2015)
  11. Week 4 Lecture 2 Introduction to TestNG (NEW September 9 2015)
  12. Week 4 Lecture 3 Input domain partitioning (Chapter 4 ) (NEW September 9 2015)
  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 September 9 2015)
  17. Week 6 Lecture 2 Logic Coverage (Chapter 3 ) (NEW September 9 2015)
  18. Week 6 Lecture 3 No class (Good Friday)
  19. Week 7 Lecture 1 Predicate transformation (Chapter 3 ) (NEW September 9 2015)
  20. Week 7 Lecture 2 Finite State Machine Testing (Chapter 3 3.5 ) (NEW September 9 2015)
  21. Week 7 Lecture 3 Cyclomatic Complexity and the Testing of Loops (NEW September 9 2015)
  22. Week 8 Lecture 1 GUI Testing (NEW September 9 2015)
  23. Week 8 Lecture 2 GUI Testing Part 2 (NEW September 9 2015)
  24. Week 8 Lecture 3 Regular Expressions (Section 5.1 Pages 170-175) (NEW September 9 2015)
  25. Week 9 Lecture 1 Mutation Testing (Section 5.2) (NEW September 9 2015)
  26. Week 9 Lecture 2 Exploratory Testing (NEW September 9 2015)
  27. Week 9 Lecture 3 Regression testing (Section 6.1) (NEW September 9 2015)
  28. Week 10 Lecture 1 Test Plans (Section 6.4)
  29. Week 10 Lecture 2 When to Write Tests (NEW September 9 2015)
  30. Week 10 Lecture 3 Final Exam Review

Homework

  1. Homework 2

Individual Labs

  1. Lab 1: Testing a Circular Queue with JUnit (NEW September 9 2015)
  2. Lab 2: The Tax Calculator (NEW September 9 2015)

Partner Labs

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

Videos

  1. JMock Tutorial (NEW September 9 2015)
  2. JMock Tutorial Source Code Example (NEW September 9 2015)
  3. PIT Mutation testing Tool Usage (NEW September 9 2015)