INF752 - Techniques de vérification et de validation
Présentation
Sommaire
- Cycle
- 2e cycle
- Crédits
- 3 crédits
- Faculté ou centre
- Faculté des sciences
- Trimestres *
- Automne 2024
- 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.
* Sujet à changement