Resources
Contents
Lecture slides
Lecture slides will be published here progressively throughout
the semester. (It’s also possible to access
previous years’ content if you’d
like to get an idea in advance of what will be covered.)
- Week 1
- Lecture 1 – introduction (pdf) (md)
- Lecture 2 – testing concepts (pdf) (md)
- Week 2
- Lecture 3 – test automation (pdf) (md)
- Lecture 3b – exceptions (pdf) (md)
- Week 3
(continuing slides from week 2)
- Week 4
- Lecture 4a – input space partitioning intro (pdf) (md)
- Lecture 4b – input space partitioning (pdf) (md)
- Week 5
- Lecture 5a – model-based testing (pdf) (md)
- Lecture 5b – graph-based testing (pdf) (md)
- Lecture 5c – logic-based testing (pdf) (md)
- Week 6–7
- Lecture 6a – syntax-based testing (pdf) (md)
- Lecture 6b – random testing (pdf) (md)
- Week 8-9
- Lecture 7a, integration and system testing (pdf) (md)
- Lecture 7b, reviews and quality assurance (pdf) (md)
- Lecture 7c, quality assurance (pdf) (md)
- Week 10
- Week 11
- Lecture 10, Program specification – alloy (pdf) (md)
- Lecture 11, Program specification – alloy, continued (pdf) (md)
Labs
Labs begin in week 2.
Some of the labs will require you to completed coding
exercises; others might involve pair or group activities with other
students in the lab.
Worksheets
Worksheets for the labs will be published here progressively throughout
the semester.
- Week 2 – testing intro
- Lab worksheet (html) (md)
- Source code (zip)
- A (very brief) revision document on important concepts from the Java language is
available (PDF), should you need it.
- Sample worksheet solutions (html) (md)
- Week 3 – data-driven tests
- Lab worksheet (html) (md)
- Source code (zip)
- Sample worksheet solutions (html) (md)
- Week 4 – ISP
- Lab worksheet (html) (md)
- Sample worksheet solutions (html) (md)
- Week 5 – ISP, graphs and fixtures
- Lab worksheet (html) (md)
- Sample worksheet solutions (html) (md)
- Week 6 – logic
- Lab worksheet (html) (md)
- Sample worksheet solutions (html) (md)
- Week 7 – syntax
- Lab worksheet (html) (md)
- Source code (zip)
- Sample worksheet solutions (html) (md)
- Week 8 – code reviews
- Lab worksheet (html) (md)
- Sample worksheet solutions (html) (md)
- Week 9 – system testing
- Lab worksheet (html) (md)
- Sample worksheet solutions (html) (md)
- Week 10 – program verification
- Lab worksheet (html) (md)
- Sample worksheet solutions (html) (md)
- Week 11 – specification languages
- Lab worksheet (html) (md)
- Sample worksheet solutions (html) (md)