Software Testing & Metrics

Catalogue des cours de Télécom SudParis

Code

CSC 7334

Domaine

Informatique

Langue d'enseignement

Anglais

Crédits ECTS

2,5

Heures programmées / Charge de travail

21

Responsable(s)

  • KUSHIK Natalia

Département

- Réseaux et Services Multimédia Mobiles

Equipe pédagogique

  • LOPEZ CORONADO JORGE ELEAZAR
  • KUSHIK Natalia

Objectif

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.

Mots-clés

 

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

Approches pédagogiques

 

Programme

Master

Fiche mise à jour : 03/07/2017 08:33:55