This advanced course addresses Bachelor and Master students in Computer Science, Bioinformatics, CuK or Computerlinguistics. The modules Nebenläufige Programmierung, or Verification are prerequisites.

If you did not participate in one of these two courses, but are very interested, please contact us.


Testing is the main technique used today to assess the quality of

software. Testing often follows a manual process. It is time

consuming and error prone. In contrast, model-based testing aims at

the automation of the testing process and at providing formal

foundations to assess the quality of testing.

This modules first motivates model-based testing compared to the

current state of practice. The first part of the lectures brings in

a model-based testing approach named ioco with an emphasis on the

use of tools rather than full understanding of the basic theory. The

second part of the lectures covers the details of the formal

foundations of model-based testing. It also presents current

research challenges and opportunities. In particular, recent results

obtained within the European project Quasimodo about testing

real-time systems are discussed.

After successful completion of the course, participants are able to:

  • explain the basic principles of model-based testing

  • explain the differences between the state of practice and

    model-based testing

  • understand and apply the ioco model-based theory and related tools

  • understand the essentials of current scientific publications

    about testing


The module spans the period March 2 - 20, 2009.

Lectures and tutorials take place on March 2-4 and 16-20.


On these days lectures are generally from 09:30 to 11:30. Tutorials start 13:30 and run until about 15:00. The lectures will take place in SR015 (Seminarraum 015).


Further details are available at the CMS.

Please login into the CMS to get more information!


Dr. Julien Schmaltz, RU Nijmegen


Prof. Dr.-Ing. Holger Hermanns

Lecture Notes & Exercises

Lecture Notes and exercises are available in the CMS.