CS216 - Validation des Systèmes

CS216 - Validation des Systèmes

Objectifs

Objectif général :

A l’issue de cette formation, l’étudiant connaitra :
- La définition et les objectifs des processus de Vérification et Validation (V&V) dans l’ingénierie de systèmes complexes.
- Les différentes méthodes pour réaliser les processus de V&V : les revues, les analyses, les démonstrations et les tests

Objectifs détaillés :

Deux techniques de V&V les plus utilisées :
- les tests : les différents types de tests système et les objectifs de couverture associés (boite noire, boite blanche)
- les revues : l’étudiant connaitra les différentes techniques de revue (walk-through, revues techniques, inspections)

Elaboration d'un plan de V&V pour un système complexe en prenant en compte les aspects suivants :
- la définition du « cycle de vie » : l’identification des actions de V&V et leur planification dans le cycle de vie du système
- le choix des « techniques » : l’identification des différentes techniques permettant de réaliser des processus de V&V
- Définition de la stratégie de V&V
- Choix des objectifs de V&V,
- Délégation des actions de V&V, …
Spécification de « l’infrastructure »a
définition des outils permettant de supporter la mise en place des techniques de V&V
Prévision de « l’organisation »
Aspects liés à la gestion de la V&V.
Actions de V&V telles que définies dans le plan ci-dessus.

Volume horaire (h)

  • Cours magistraux : 16
  • Travaux dirigés : 14
Ce cours fait partie de la formation

En bref

Crédits ECTS : Cf UE

Nombre d'heures 30

Contact(s)

Daniel PRUN

Tél : +33 5 62 17 45 73

Email : daniel.prun @ enac.fr