Skip to main content

Model-Based Testing

Master’s level
7,5 credits (ECTS)


The course provides a background on the theoretical background and practice of model-based testing, including how testing tools can be used to improve software quality. General test techniques are explained with focus on model-based testing. The course is provided in the so-called mini-modules format, which combines lectures and supervised practical work with exercises in small groups. The exercises are both theoretical and practical in nature.

Prerequisites and selection


To be eligible for the course Model-Based Testing, the student should have a bachelor degree in Software Engineering, Computer Science, Computer Engineering, Information Technology, Information Systems or equivalent. In addition, the student should have completed courses in: 7.5 credits programming (e.g. DIT948 Programming, DIT012 Imperative Programming with Basic Object Orientation, DIT143 Functional Programming or equivalent). Applicants must prove knowledge of English: English 6/English B or the equivalent level of an internationally recognized test, for example TOEFL, IELTS.