MBT: Model-Based Testing

Study period 4, 2012
Tue 13 March - Wed 16 May, 2012
Course codes: DIT848/GU and TDA260/Chalmers, 7.5 hp

Given by Computer Science and Engineering at
Chalmers Technical University and The University of Gothenburg

The syllabus can be found at the Chalmers Student Portal.

Testing is by far the most practically used method to obtain confidence in the quality of a software product. Different techniques give a different amount of confidence. This course focuses on testing tools, techniques and methods that can be used to assess the quality and correctness of software systems. The course brings understanding on how these methods, techniques and tools can be used in a software development project to increase the software quality. In particular, the focus of the course is on model-based testing, that is how to design meaningful models useful for the (automatic) extraction of test cases from the models. Some testing tools for specific modeling languages will be used and applied to different examples.

Purpose and Objectives

The course provides the students with a background on how testing tools can be used to improve software quality, in particular automatic testing generation using model-based testing techniques.

Learning Outcomes

In order to pass the course the student should be able to:


The student must have: (i) General programming knowledge in both imperative/object oriented and functional programming (for example, the student could have taken an introductory course on Java or C, and a course on Erlang or Haskell); (ii) Knowledge of propositional logic.


There are two lectures a week, see the schedule in Lectures. The purpose of the lectures is not to cover all the material, but rather to highlight important issues concerning testing in general and model-based testing. Students might be asked to read some additional material to complement the lectures and be able to work on the details of the assignments.


Students will be given assignments to be done individually or in groups. Please refer to Assignments for more details on the course's assignments.

Final examination

The course ends with a final examination during the examination week. The grading of the student will be based on such final exam. See Examination for more details on the course's grading system.

Course language

The course will be taught in English.

This page was updated Mar 7 2012, 12:18 .