This module is offered in 2025-26.

Learning Outcomes

On successful completion of this module, the student should be able to:

  • Understand and be able to apply various approaches to software testing.
  • Understand the role and application of software testing and verification to systems.
  • Understand key approaches to software dependability.
  • Be able to apply peer review approaches.

Syllabus

This module covers essential tools and skills for ensuring and maintaining software quality. It considers the range of possible software quality attributes, and the factors affecting their prioritisation in various contexts. The module discusses a number of concepts, practices and processes related to software quality, including testing, technical debt, refactoring, code review, continuous integration/delivery/deployment, and site reliability engineering. It also touches briefly on the place of formal software verification methods in critical systems.

Compulsory Elements

This module has the following compulsory element in addition to those common to all modules (mark of 4 in each assessment component):

  • Attendance at guest lectures.

Module Delivery

Back to top

Last Published: 30 Jan 2026.