v2.11.0 (5553)

Enseignement de Master - CSC7334 : Essais fondés sur un modèle logiciel


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)

Format des notes

Numérique sur 20

Littérale/grade européen

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

Le rattrapage est autorisé (Max entre les deux notes)
  • le rattrapage est obligatoire si :
    Note initiale < 10
L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 2.5 ECTS

La note obtenue rentre dans le calcul de votre GPA.

La note obtenue est classante.

L'UE est évaluée par les étudiants.

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