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 – graph-based testing (pdf) (md)
- Lecture 5b – logic-based testing (pdf) (md)
- Week 6–7
- Lecture 6a – syntax-based testing (pdf) (md)
- Lecture 6b – random testing (pdf) (md)
- Week 8-9
- Week 10
- Lecture 8a, Risk (pdf) (md)
- Lecture 8b, Formal methods intro (pdf) (md)
- Case study – Knight Capital trading loss (pdf) (md)
- Lecture 9, Program verification (pdf) (md)
- Week 11
- Lecture 10, Program specification – alloy (pdf) (md)
- Lecture 11, Program specification – alloy, continued (pdf) (md)
- Week 12
- Sample exam questions (pdf)
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)
- Writing English answers using Moodle editors (html) (md)
- Sample worksheet solutions (html) (md)
- Week 11 – specification languages
- Lab worksheet (html) (md)
- Sample worksheet solutions (html) (md)