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)
Format des notesNumérique sur 20Littérale/grade européen
Pour les étudiants du diplôme Computer Science for NetworksLe rattrapage est autorisé (Max entre les deux notes)
- le rattrapage est obligatoire si :
- Note initiale < 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.
- 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).