GEI764 - Validation et tests de protocoles et services
Présentation
Sommaire
- Cycle
- 2e cycle
- Crédits
- 3 crédits
- Faculté/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.