GRT720 - Validation de protocoles et services
Présentation
Sommaire
- Cycle
- 1er cycle
- Crédits
- 3 crédits
- Faculté ou centre
- Faculté de génie
Cible(s) de formation
Valider formellement un modèle de service ou un protocole en rapport avec des propriétés spécifiques; définir et réaliser des tests sur un ensemble de services ou de protocoles suivant des critères donnés.
Contenu
Outils de validation, validation formelle et informelle, mise en œuvre de tests.
Préalable(s)
Avoir effectué 6.00 sessions préalablesConcomitante(s)
Activités pédagogiques de la session 7