Schedule

The table below shows the topics intended to be covered in each week of semester. The order or delivery date of lectures on this page may change during the semester.

For lecture slides and lab worksheets see the Resources page.
For recordings of the lectures, visit UWA’s LMS (Learning Management System).

Recommended readings

The schedule gives recommended readings for each topic: either chapters from the textbooks, or extracts from other books.

Online copies of the textbooks and the extracts are available via the LMS (look under “Unit Readings”). The readings may be added to or modified as the semester progresses.

Your understanding of the lecture and workshop material will be greatly enhanced if you work through these readings prior to attending.

References to “Ammann & Offutt” are to Ammann, P., & Offutt, J., Introduction to software testing, 2nd edn (Cambridge University Press, 2016).
References to “Pressman” are to Pressman, R.S., & Maxim, B.R., Software engineering: A practitioner’s approach, 8th edn (McGraw-Hill, 2015), but earlier and later editions should have equivalent sections.

Week	Lecture	Lab	Reading	Assessment
1 27 Feb	Unit info, testing and QA concepts	No labs this week	Amman & Offutt, ch 1 Pressman, ch 8 (“Understanding Requirements”), ch 19 (“Quality concepts”) Bruegge and Dutoit, Object-Oriented Software Engineering Using UML, Patterns, and Java (3rd edn), ch 11 “Testing” (extract available here)
2 6 Mar	Introduction to testing	Introduction to testing No Monday lab (Labour Day holiday) – attend another lab or self-directed study	Pressman, ch 14 (“Component-level design”), ch 22 (“Software Testing Strategies”), ch 28 (“Formal modeling and verification”) Horstmann, Object-Oriented Design and Patterns (2nd edn), ch 3 “Guidelines for Class Design” (extract available here) Barnes and Kölling, Objects First With Java: A Practical Introduction Using BlueJ (5th edn), ch 7 “Well-behaved objects” (extract available here)
3 13 Mar	Test automation	Test case selection	Amman & Offutt, ch 3 Pressman, ch 23 (“Testing conventional applications”)	Week 3 quiz: Available 10:30 am Mon 13 Mar Week 3 quiz: Closes 5:00 pm Thu 16 Mar
4 20 Mar	Input space partitioning Graph testing	Test automation	Amman & Offutt, chs 6-7 Pressman, ch 23 (“Testing conventional applications”)
5 27 Mar	Logic testing Mutation testing Property-based testing	Graph-based testing	Amman & Offutt, chs 8–9 Beginner’s Guide to Fuzzing Hypothesis Quick Start Guide QuickTheories README
6 3 Apr	Quality assurance, software reviews, performance testing	Property-based testing and mutation testing No Friday lab (Good Friday holiday) – catchup in week 7 lab	Pressman, ch 20 (“Review techniques”), ch 22 (“Software testing strategies”)	Week 6 take-home test: Due 5:00 pm Thu 6 Apr
10 Apr	no class – non-teaching week			Take-home review exercise: Due 5:00 pm Thu 13 Apr
7 17 Apr	Systems and standards, risk management	Software reviews	Amman & Offutt, chs 10-12 Pressman ch 19 (“Quality concepts”), ch 21 (“Software quality assurance”)
8 24 Apr	Risk management software metrics Tue 25 Apr: ANZAC day public holiday – recorded lecture	Systems and standards	Pressman, ch 30 (“product metrics”), ch 32 (“process and project metrics”), ch 35 (“Risk management”)
9 1 May	Formal methods & program verification	Risk management and QA strategies	Pressman, ch 28 (“Formal modeling and verification”)	Project: Available 5:00 pm Fri 5 May
10 8 May	Formal specifications	Simple specifications	Dafny language tutorial
11 15 May	Specifications in Alloy	Specifications in Alloy	Alloy Analyzer tutorial
12 22 May	revision	no workshop		Project: Due 5:00 pm Thu 25 May