CS5006E - Vérification et validation (avancé)

Objectifs

Objectif général :

A l’issue du cours, l’étudiant sera capable de comprendre et d’utiliser certaines techniques de vérification et de validation système basées sur l’élaboration et l’exploitation de modèles.

Objectifs détaillés :

- Etre capable d’expliquer la place des méthodes formelles dans les processus d’ingénierie système : objectifs recherchés, données d’entrées et produites.
- Etre capable de comparer les méthodes formelles avec les autres méthodes de vérification et validation.
- Savoir modéliser et conduire certaines vérifications par une approche par raffinement type méthode B

Volume horaire (h)

• Cours Magistraux : 3h
• Travaux Dirigés : 17h

Examens

Nombre total d'heures d’évaluation : 2