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
Examens
Nombre total d'heures d’évaluation : 2
En bref
Crédits ECTS 0
Nombre d'heures 22
Contact(s)
Lieu(x)
- Toulouse