INF752 - Techniques de vérification et de validation

Sommaire

Cycle
2e cycle
Crédits
3 crédits
Durée
1 trimestre
Faculté/Centre
Faculté des sciences
Répartition de la charge de travail
3-0-6
Cible(s) de formation

Savoir utiliser les techniques de vérification, de validation et d'essai afin de démontrer l'exactitude et la conformité aux besoins d'une spécification.

Contenu

Principales propriétés formelles et informelles des spécifications de systèmes. Techniques de vérification : analyse formelle, correction et preuve de spécifications; model checking. Techniques de validation : exécution de spécifications formelles, prototypage, simulation. Types et techniques de tests : tests fonctionnels, partition des domaines, analyse des bornes, graphe de causes à effets, graphe de flux de données, etc. Techniques de génération des séquences de tests.