GRT720 - Validation de protocoles et services

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éalables

Concomitante(s)

Activités pédagogiques de la session 7