Communicating systems quality

Catalogue des cours de Télécom SudParis

Code

CSC 5043

Niveau

Graduate (M2)

Période

Fall (P4)

Domaine

Informatique

Langue d'enseignement

Anglais

Crédits ECTS

4

Heures programmées / Charge de travail

36 / 90

Responsable(s)

  • MAAG Stephane

Département

- Réseaux et Services Multimédia Mobiles

Equipe pédagogique

  • MAAG Stephane

Objectifs

- Knowledge of Formal Description Techniques.
- Knowledge on common industrial tools to verify and test real systems.
- Develop reliable and efficient software
- Master SDL specification for protocol and services
- Experience in testing methods.
- Knowledge on new specification and testing techniques provided by research laboratories.

Contenu

- Introduction to the formal techniques for the protocols specification.
- SDL language presentation (architecture, behavior and data types). Use of an industrial tool.
- Labs to specify real protocols and services.
- Introduction to the conformance testing problematic.
- Study of various techniques to automatically generate test sequences.
- Formal analysis of a protocol specification and automatic generation of real test sequences. These test sequences are thereafter applied to real implementations.
- Properties such as security policies will be tested.
- Standard testing architecture and industrial test production – TTCN3

Prérequis

- Phases in the software/protocol development life cycle.

Mots-clés

Validation, Test, Protocols, SDL, TTCN3.

Evaluation

A graded lab (L) and a written work (W).
Final mark= Moy(2L+W)

Approches pédagogiques

 

Programme

Programme Ingénieur

Fiche mise à jour : 06/03/2012 10:50:20