CS5006E - Vérification et validation (avancé)

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

Place dans le cursus

après les cours d'introduction IBE et vérification et validation

Volume horaire (h)

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

Examens

Nombre total d'heures d’évaluation : 2

En bref

Crédits ECTS : Cf UE

Nombre d'heures 22

Contact(s)

Célia PICARD

Tél : 0562174221

Email : celia.picard @ enac.fr

Lieu(x)

  • Toulouse