University of St Andrews

Key information

SCOTCAT credits : 15

ECTS credits : 7

Level : SCQF level 11

Semester: 2

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-requisite(s): Postgraduate - Before taking this module you must pass CS5030. Undergraduate - Before taking this module you must pass CS3099

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

Assessment pattern

As used by St Andrews: Coursework - 60%, Written examination - 40%


Re-assessment: Coursework - 60%, Written examination - 40%

Personnel

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.