Testing Techniques
Course infoSchedule
Course moduleNWI-I00110
Credits (ECTS)6
CategoryMA (Master)
Language of instructionEnglish
Offered byRadboud University; Faculty of Science; Informatica en Informatiekunde;
dr. G.J. Tretmans
Other course modules lecturer
dr. G.J. Tretmans
Other course modules lecturer
Contactperson for the course
dr. G.J. Tretmans
Other course modules lecturer
dr. G.J. Tretmans
Other course modules lecturer
Academic year2020
KW1-KW2  (31/08/2020 to 24/01/2021)
Starting block
Course mode
Registration using OSIRISYes
Course open to students from other facultiesYes
Waiting listYes
Placement procedureIn order of Study programme
ExplanationIn order of Study programme
After successful completion of the course, the participants:
  • have an overview of, and insight in the importance and the place of structured and systematic testing within the software development cycle;
  • can apply some well-known techniques and tools for developing and executing tests;
  • can explain the principles of model-based testing;
  • know the ioco-theory for model-based testing;
  • have applied model-based testing tools to some systems;
  • are able to recognize situations in which a problem can be solved using automata learning techniques;
  • know how to apply some state-of-the-art learning tools for learning automata models of simple systems.
Testing is part of almost any software development project, and systematic and effective testing is an important technique for quality assessment and control. Yet, testing is often an underexposed and underestimated part of software development. The course testing techniques deals with a number of techniques, methods, and tools which can help in systematic and effective testing of software systems. Emphasis will be on model-based testing, both in theory and with tools. Moreover, the topic of automata learning will be discussed.

Instructional Modes
  • Lecture
  • Tutorial
  • Presentation
  • Self-study
Presumed foreknowledge
Students are assumed to have programming experience, and knowledge about formal (mathematical, logical) methods in software development, at bachelor level. The course testing techniques is, on the one hand, related to topics in programming, software engineering, and software quality, and, on the other hand, to more formal topics such as software verification and model checking.
Test information
The final grade for testing techniques is computed from the written exam (50%) and the elaboration of the assignments and a presentation (50%). An additional condition for passing the course is that each of the individual grades (exam, each of the assignments, presentation) must be at least 5.0; if not, the final grade is at most 4.0. The homework assignments are done in small groups (two or three students). If the final score is 5.5 or below, students can participate in a re-examination or an additional assignment, respectively.
Please note: Practical sessions of this course are scheduled to take place on campus if possible. However, the number of places is limited due to corona-restrictions. In case the number of registrations exceeds the number of possible seats, alternative forms will be sought.
Required materials
Papers and articles will be made available via Brightspace.

Instructional modes
Course occurrence


Test weight1
Test typeExam
OpportunitiesBlock KW2, Block KW3

Test weight1
Test typeAssignment
OpportunitiesBlock KW2, Block KW3