Software Testing & Metrics

Catalogue des cours de Télécom SudParis

Code

IGFE CSC 7334

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

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.

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).

Prérequis

Students are required to have good mathematical foundations, good knowledge in algorithms and data structures, software engineering and general network architectures.

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).

Fiche mise à jour le 18/07/2018