Protocol Testing

Catalogue des cours de Télécom SudParis

Code

NET 7332

Niveau

PostGraduate (MSc)

Domaine

Réseaux

Langue d'enseignement

Anglais

Crédits ECTS

5

Heures programmées / Charge de travail

42

Responsable(s)

  • MAAG Stephane

Département

- Réseaux et Services Multimédia Mobiles

Objectif

The main objective of this course is to provide students with some knowledge in Modeling, Verification and Validation aspects. Testing techniques applied to functional or non functional aspects (e.g. security) on new generation protocols (e.g. ad hoc routing protocols) are emphasized.

A first step is to present what a protocol’s formal model is and how to obtain it. Therefore, languages and modeling industrial tools are introduced. The second step is to verify this model in order to finally, in a third phase, derive some tests to validate the real protocols.

Contenu

 

Prérequis

Students are required to have good knowledge in networks protocols, general networking, network architectures and protocol development process.

Mots-clés

 

Evaluation

 

Approches pédagogiques

 

Programme

Master of Science

Fiche mise à jour : 07/09/2015 16:04:50