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,
· Les deux techniques de V&V les plus utilisées :
o les tests : les différents types de tests système
et les objectifs de couverture associés (boite
noire, boite blanche)
o les revues : l’étudiant connaitra les différentes
techniques de revue (walk-through, revues
techniques, inspections)

L’étudiant saura :
· élaborer un plan de V&V pour un système complexe
en prenant en compte les aspects suivants :
o 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
o 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, …
o la spécification de « l’infrastructure » : la
définition des outils permettant de supporter la
mise en place des techniques de V&V
o enfin la prévision de « l’organisation » : les
aspects liés à la gestion de la V&V.
· effectuer les actions de V&V telles que définies dans
le plan ci-dessus.

Ce cours fait partie de la formation

En bref

Crédits ECTS : Cf UE

Contact(s)

Daniel PRUN

Tél : +33 5 62 17 45 73

Email : daniel.prun @ enac.fr