IFT752 - Techniques de vérification et de validation

Cible(s) de formation

Connaître les techniques de vérification et de validation; utiliser des techniques de vérification afin de démontrer qu'une spécification satisfait des propriétés d'exactitude; utiliser des techniques de validation afin de s'assurer qu'une spécification est conforme aux besoins; utiliser des techniques de test afin de montrer qu'un programme possède une précision satisfaisante.

Contenu

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