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
|
|
|
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. |
|
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.
|
|