Text

Course syllabus - Quality assurance - Model based testing in practice

Scope

2.5 credits

Course code

DVA469

Valid from

Autumn semester 2026

Education level

Second cycle

Progressive Specialisation

A1N (Second cycle, has only first-cycle course/s as entry requirements)

Main area(s)

Computer Science

Organisation

Department of Computer Science & Engineering

Ratified

2018-02-01

Revised

2025-11-03

Literature lists

Course literature is preliminary up to 8 weeks before course start. Course literature can be valid over several semesters.

    • Ratified date: 2018-10-19
    • Latest update: 2025-05-27

    Books

    Utting, Mark; Legeard, Bruno

    Practical model-based testing: a tools approach

    ISBN: 978-0-12-372501-1

    LIBRIS-ID: 11330854

    URL: Table of contents only

    Amsterdam, Morgan Kaufmann Publishers, xix, 433 s.

    Pezzè, Mauro.; Young, Michal.

    Software testing and analysis: process, principles, and techniques

    ISBN: 978-0-471-45593-6

    LIBRIS-ID: 12918672

    URL: Link

    [Hoboken, N.J.], Wiley, xxii, 488 p.

    Ammann, Paul; Offutt, Jeff

    Introduction to software testing

    ISBN: 978-0-521-88038-1 (hbk.)

    LIBRIS-ID: 10875362

    Cambridge, Cambridge University Press, 322 p.

Objectives

Model-based testing has become a popular way of testing software systems. The purpose of this course is to provide knowledge about how to test software systems through models. The course covers basic theories and practical use cases of model-based testing.

Learning outcomes

After completing the course, the student shall be able to:

  1. describe and explain what model-based testing is
  2. implement models in a specification language
  3. understand and apply model coverage criteria in a model-based testing tool
  4. develop test cases and use a model-based testing tool on a software system.

Course content

The course covers the following topics:

  1. Introduction to model-based testing
  2. Techniques for model-based testing
  3. Basis for modeling requirements
  4. Basis for modeling software systems
  5. Coverage criteria for models
  6. Designing tests in model-based testing

The course will be divided into three modules:

Module 1: Fundamentals of Model-based Testing, (covering topics 1 and 2)
Module 2: Using Requirement Models in Model-based Testing, (covering topics 3 and 4)
Module 3: Using Evaluation Criteria in Model-based Testing, (covering topics 5 and 6)

Specific requirements

120 credits of which at least 80 credits in Computer Science and/or Computer engineering or equivalent. In addition Swedish course 3 or Swedish level 3 and English course 6 or English level 2 are required. For courses given entirely in English exemption is made from the requirement in Swedish course 3 or Swedish level 3.

Examination

Written assignment (INL1), 0,5 credits, (examines the learning objective 1), Marks Fail (U) or Pass (G)
Written assignment (INL2), 0,5 credits, (examines the learning objective 2), Marks Fail (U) or Pass (G)
Written assignment (INL3), 0,5 credits, (examines the learning objective 3), Marks Fail (U) or Pass (G)
Written assignment (INL4), 1 credit, (examines the learning objective 4, Marks Fail (U) or Pass (G)

A student who has a certificate from MDU regarding disability study support, can request adaptions for the examination. It is the examiner who takes decisions on any adaptions, based on the certificate and other conditions.

Grade

Two-grade scale

Interim Regulations and Other Regulations

The course completely overlaps towards Model based testing 2,5 credits and also 0,5 hp towards Software Testing 7,5 credits.