Course syllabus - Model based testing 2.5 credits

Modellbaserad testning

Course code: DVA458
Valid from: Autumn semester17
Level of education: Second cycle
Subject: Informatics/Computer and Systems Scie...
Main Field(s) of Study: Computer Science,
In-Depth Level: A1N (Second cycle, has only first-cycle course/s as entry requirements),
School: IDT
Ratification date: 2017-01-31


 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)


Teaching methods

Video lectures and assignments.

Specific entry requirements

120 credits of which at least 80 credits in engineering or informatics including at least 30 credits programming or software development. In addition, 18 months of documented work experience in software development or related areas. For courses given entirely in English exemption is made from the requirement in Swedish course B/Swedish course 3.


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)

Rules and regulations for examinations


Two-grade scale

Transitional provisions

The course overlaps with 2 credits towards Software Verification and Validation 7,5 credits.

Course literature is preliminary until 15 days before the course starts.

Valid from: Autumn semester17

Decision date: 2017-10-06

Last update: 2017-10-06


Utting, Mark; Legeard, Bruno;

Practical model-based testing : a tools approach

ISBN: 978-0-12-372501-1 LIBRIS-ID: 11330854

xix, 433 s.

Pezzè, Mauro.; Young, Michal.;

Software testing and analysis : process, principles, and techniques

ISBN: 978-0-471-45593-6 LIBRIS-ID: 12918672

xxii, 488 p.

Ammann, Paul; Offutt, Jeff;

Introduction to software testing

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

322 p.