Search programme

​Use the search function to search amongst programmes at Chalmers. The study programme and the study programme syllabus relating to your studies are generally from the academic year you began your studies.

Syllabus for

Academic year
DAT262 - Model-based testing
Modellbaserad testning
Syllabus adopted 2020-02-20 by Head of Programme (or corresponding)
Owner: MPSOF
7,5 Credits
Grading: TH - Pass with distinction (5), Pass with credit (4), Pass (3), Fail
Education cycle: Second-cycle
Major subject: Computer Science and Engineering, Software Engineering

Teaching language: English
Application code: 24111
Open for exchange students: Yes
Maximum participants: 30

Module   Credit distribution   Examination dates
Sp1 Sp2 Sp3 Sp4 Summer course No Sp
0118 Written and oral assignments 3,0 c Grading: TH   3,0 c    
0218 Examination 4,5 c Grading: TH   4,5 c   02 Jun 2021 am L,  09 Oct 2020 am L,  20 Aug 2021 pm L

In programs



Robert Feldt

  Go to Course Homepage


General entry requirements for Master's level (second cycle)
Applicants enrolled in a programme at Chalmers where the course is included in the study programme are exempted from fulfilling the requirements above.

Specific entry requirements

English 6 (or by other approved means with the equivalent proficiency level)
Applicants enrolled in a programme at Chalmers where the course is included in the study programme are exempted from fulfilling the requirements above.

Course specific prerequisites

To be eligible for the course the student should have a bachelor degree in Software Engineering, Computer Science or equivalent, including a completed course in programming. Knowledge of data structures and propositional logic is recommended.


Testing is one of the most used verification and validation technique in industry. This course provides the students with a general background on testing techniques, with a focus on the theory and practice of model-based testing.

Learning outcomes (after completion of the course the student should be able to)

Knowledge and understanding:
  • Explain the distinction between software verification and software validation;
  • Describe the connection between software development phases and kinds of testing;
  • Describe and explain (a number of) different test methods, and use them in practical situations;
  • Describe and explain what model-based testing is.
  • Describe many different types of models and explain their relative merits

  • Describe and explain current research trends in automated testing

Skills and abilities: 
  • Construct models in the modeling and specification languages learned in the course
  • Construct appropriate and meaningful test and interpret and explain (to stakeholders) the results of the application of such test cases (using appropriate tools) to practical examples
  • Apply model based testing and automated testing technologies on realistic examples using relevant tools

Judgement and approach:
  • Exemplify and describe tools used for testing software, and use them and interpret their output
  • Identify and hypothesize about sources of program failures, and reflect on how to better verify the correctness of such programs.


The course provides the students with a background on the theory 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. Students will get hands-on experience in building models for testing and use these models for both testing and verification purposes.


The course is provided in the form of modules, which combines lectures, discussions and supervised practical work with exercises in small groups (assignments). The students are expected to have prepared for and to be active during the whole module. The exercises are both theoretical and practical in nature.


- M. Utting and B. Legeard, Practical Model-Based Testing. Elsevier - Morgan Kaufmann Publishers, 2007.

We will also provide other textbooks and research articles for different parts. See separate list.

Examination including compulsory elements

Page manager Published: Mon 28 Nov 2016.