Aller au contenu

GEI764 - Validation et tests de protocoles et services

Présentation

Sommaire

Cycle
2e cycle
Crédits
3 crédits
Faculté ou centre
Faculté de génie

Cible(s) de formation

Vérifier si un protocole ou service respecte des propriétés spécifiques formelles ou non formelles. Définir et réaliser des tests d'un protocole ou service suivant des critères donnés.

Contenu

Introduction à la validation de protocoles et services de communications. Protocoles et services de communications en temps réel. Validation formelle et informelle. Validation par simulation. Outils de validation. Architectures de test. Méthodes de génération de scénarios et de cas de tests. Exécution de tests. Réalisation du projet de conception de session.

Préalable(s)

Avoir obtenu 82.00 crédits