GEI799 - Vérification de logiciels
Présentation
Sommaire
- Cycle
- 2e cycle
- Crédits
- 2 crédits
- Faculté ou centre
- Faculté de génie
Cible(s) de formation
Valider un développement à l'aide de tests d'intégration. Vérifier des logiciels avec des outils formels. Développer des outils de vérification.
Contenu
Validation d'un produit logiciel par les tests d'intégration complets. Préconditions, postconditions et invariants. Utilisation de modèles dans le développement logiciel. Test et vérification de logiciels. Vérification de programmes par exécution symbolique. Logique des prédicats du premier ordre. Logique de Hoare. Développement de programmes corrects par construction à partir de modèles.
Une portion de cette activité pédagogique est consacrée à la réalisation du projet de conception de session prévu au programme.