Code
IGFE CSC 7280
Domaine
Informatique
Programme
Master
Langue
Anglais/English
Crédits ECTS
2,5
Heures programmées
21
Coordonnateur(s)
Département
- Réseaux et Services Multimédia Mobiles
Equipe pédagogique
Organisation
Cours/TD/TP/projet/examen :Acquis d'apprentissage
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.
Prérequis
Students are required to have good mathematical foundations, good knowledge in algorithms and data structures, software engineering and general network architectures.
Contenu
- Introduction to software quality and software metrics at various development steps (lecture);
- Introduction to software testing problem; classification of various testing techniques (lecture);
- Motivation to Model Based Testing; introducing formal models for discrete event systems (lecture);
- Finite State Machines – definitions and examples (lecture and exercises);
- FSM based test generation strategies (lecture and exercises);
- Introduction to non-intrusive testing techniques (lecture and exercises);
- Static Analysis and Passive testing (lecture and exercises);
- Optimization of passive testing/monitoring techniques (lecture);
- (Collaborative) project management class (laboratory and seminar).
Evaluation
The evaluation includes 3 hours written exam and a project.
The final grade is computed based on the following ratio: 3/4 (exam) and 1/4 (project).