Code
IGFE CSC 7284
Domain
Informatique
Program
Master
Language
Anglais/English
ECTS Credits
2,5
Class hours
21
Program Manager(s)
Department
- Réseaux et Services Multimédia Mobiles
Educational team
Organisation
Cours/TD/TP/projet/examen :Learning objectives
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.
Prerequisites
Students are required to have good mathematical foundations, good knowledge in algorithms and data structures, software engineering and general network architectures.
Content
- 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).