نظرة عامة على البرنامج

---

Course Overview

The course DD2459 Software Reliability is a 7.5 credit course that concerns modern and practical techniques for software testing and reliability modeling, suitable for the working software engineer.

Information per Course Offering

Termin

The course is offered in the Spring 2026 semester.

Information for Spring 2026 Programme Students

• Course location: KTH Campus
• Duration: 13 Jan 2026 - 13 Mar 2026
• Periods: Spring 2026: P3 (7.5 hp)
• Pace of study: 50%
• Application code: 60578
• Form of study: Normal Daytime
• Language of instruction: English
• Course memo: Not published
• Number of places: Not limited
• Target group: Students from year 3 and students admitted to a master's programme as long as it can be included in your programme.

Course Details

Planned Modular Schedule

• P3: D2, G2

Schedule

A link to the schedule is provided.

Part of Programme

The course is part of the following master's programmes:

• Master's Programme, Computer Science, year 1, CSST
• Master's Programme, Software Engineering of Distributed Systems, year 1, DASC
• Master's Programme, Industrial Engineering and Management, year 1, PUET, Mandatory
• Master's Programme, Computer Science, year 1, CSTC
• Master's Programme, Software Engineering of Distributed Systems, year 1, PVT
• Master's Programme, Embedded Systems, year 1, INMV, Mandatory
• Master's Programme, Embedded Systems, year 1, INPF
• Master's Programme, Systems, Control and Robotics, year 2
• Master's Programme, Cybersecurity, year 1

Course Syllabus

Content and Learning Outcomes

Course Contents

The course covers the following topics:

• Software testing concepts according to the V-model
• Graphical requirements modeling, including use case modeling
• Logical requirements modeling, including preconditions, postconditions and class invariants
• Graph coverage models
• Logic coverage models
• Input space partitioning
• Syntax based testing
• Reliability models
• Advanced topics such as automated and model based testing.

Intended Learning Outcomes

Having passed the course, the student shall be able to:

• Identify the basic activities needed for software testing, including requirements capture, test planning, test case generation, test case execution, fault diagnosis and fault correction
• Construct requirements models for simple embedded, reactive and object-oriented systems
• Construct a test suite for a simple requirements model
• Assess the quality of a test suite according to a variety of coverage models.

Literature and Preparations

Specific Prerequisites

Completed courses in programming, equivalent to DD1337/DD1310/DD1311/DD1312/DD1314/DD1315/DD1316/DD100N/ID1018 and linear algebra equivalent to SF1624/SF1672.

Recommended Prerequisites

Discrete mathematics corresponding to SF1630, SF1662, SF1679 or SF1688.

Literature

Information about course literature can be found in the course memo for the course offering or in the course room in Canvas.

Examination and Completion

Grading Scale

A, B, C, D, E, FX, F

Examination

• TEN1 - Examination, 4.5 credits, grading scale: A, B, C, D, E, FX, F
• LAB1 - Laboratory Work, 3.0 credits, grading scale: P, F

Based on recommendation from KTH's coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

If the course is discontinued, students may request to be examined during the following two academic years.

Examiner

Karl Meinke

Ethical Approach

• All members of a group are responsible for the group's work.
• In any assessment, every student shall honestly disclose any help received and sources used.
• In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.

Further Information

Course Room in Canvas

Registered students find further information about the implementation of the course in the course room in Canvas.

Offered by

EECS/Computer Science

Main Field of Study

Computer Science and Engineering

Education Cycle

Second cycle

Supplementary Information

In this course, the EECS code of honor applies.