CS5035 Software Quality
Academic year
2024 to 2025 Semester 2
Curricular information may be subject to change
Further information on which modules are specific to your programme.
Key module information
SCOTCAT credits
15
SCQF level
SCQF level 11
Module Staff
dopgt-cs@st-andrews.ac.uk
Module description
This module covers essential tools and skills for ensuring and maintaining software quality. It covers various approaches to testing, including test-driven development, and unit testing. It covers software verification using formal methods and their application to critical systems. It introduces key approaches to dependability, including dependability dimensions, tactics, and evaluation. It discusses the problems of technical debt and the need for refactoring.
Relationship to other modules
Pre-requisites
BEFORE TAKING THIS MODULE YOU MUST PASS CS3099,BEFORE TAKING THIS MODULE YOU MUST PASS CS5030
Assessment pattern
Coursework - 60%, Written examination - 40%
Re-assessment
Coursework - 60%, Written examination - 40%
Learning and teaching methods and delivery
Weekly contact
2hr x 11 weeks lectures, 1hr x 5 weeks tutorial/discussion
Scheduled learning hours
27
Guided independent study hours
123
Intended learning outcomes
- Understand and be able to apply various approaches to software testing.
- Understand the role and application of software verification to critical systems
- Understand key approaches to software dependability.
- Be able to apply refactoring to reduce technical debt.