Aller au contenu

GEI799 - Vérification de logiciels

Présentation

Sommaire

Cycle
2e cycle
Crédits
2 crédits
Faculté/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.

Préalable(s)

Avoir obtenu 82.00 crédits