v2.4.0 (3135)

Enseignement de Master 2 - CSC7334 : Software Model Based Testing


The main objective of this course is the study of existing testing techniques for different types of software used in telecommunications. The students should learn how to estimate the software quality from a tester point of view and which formal models can be used to derive high quality tests or to verify the correctness of certain properties of software components of discrete event systems.
At the end of the course, the successful students should know and be able to effectually apply:

  • Most popular test derivation strategies and their fault coverage;
  • Existing active and passive testing techniques allowing to conclude about the software quality.

Classes are supported by research and development projects, implemented in groups or individually.
Lecturers:Drs. Natalia Kushik and Jorge López (TSP)

21 heures en présentiel

Diplôme(s) concerné(s)

Parcours de rattachement

Pour les étudiants du diplôme Computer Science for Networks M2

Programme détaillé

  • Introduction to software quality (lecture)
  • Introduction to software testing problem; testing assumptions and methodologies; classification of various testing techniques (lecture and exercises / laboratory);
  • Motivation to Model Based Testing; introducing formal models for discrete event systems (lecture)
  • State model-based test generation strategies (lecture and exercises / laboratory);
  •  Introduction to non-intrusive testing techniques (lecture and exercises)
  •  Static Analysis / Code Verification and Passive testing (lecture and exercises / laboratory)
  •  (Semi-) random test generation VS Model based (laboratory);
  •  Examples of existing tools implementing the test generation strategies of interest (laboratory);
  •  Individual / group project on software testing.

The evaluation includes a 3-hour written exam and a project.
The final grade is computed based on the following ratio: 3/4 (exam) and 1/4 (project).

Veuillez patienter