Descriptif
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 notes
Numérique sur 20Littérale/grade réduitPour les étudiants du diplôme M2 CPS - Système Cyber Physique
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 2.5 ECTS
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.
Evaluation
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).
