CS216 - Vérification et Validation des systèmes

CS216 - Vérification et 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 :

Sur la définition et les objectifs généraux de la V&V:
• connaitre la définition de la V&V – sa place dans les processus d’ingénierie - les différences entre V&V et IVV
Savoir présenter les différentes techniques de V&V :
• les Revues (informelles, walk-through, revues techniques, inspection, audit…)
• les Démonstrations (par construction, par prototypage, par similarité)
• les Analyses (Introduction aux méthodes formelles – model checking – formal proof)
• les Tests : définition, normes, types de test, contexte industriel

Connaitre les objectifs et le contenu d'un plan de V&V:
• la définition du « cycle de vie » de la V&V: 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, …
• la spécification de « l’infrastructure » : la définition des outils permettant de supporter la mise en place des
techniques de V&V
• enfin la prévision de « l’organisation » : les aspects liés à la gestion de la V&V.

Sur les tests:
• connaitre les objectifs de couverture de type boite noire (exigences, pannes, interface, classe d’équivalence, pairwise,
…)
• connaitre les objectifs de couverture de type boite blanche (instruction, décision, chemin, condition, MC/DC, …)

Place dans le cursus

Doit se situer apres la fin du module sur la définition des besoins (ISESA18_S8_CS217)
(Réparti sur les 3ieme et 4ieme semaine)

Volume horaire (h)

  • Cours Magistraux : 6h
  • Travaux Dirigés : 4h

Examens

Nombre total d'heures d’évaluation : 1

En bref

Crédits ECTS : Cf UE

Nombre d'heures 11

Contact(s)

Pierre-Loïc GAROCHE

Email : pierre-loic.garoche @ enac.fr

Lieu(x)

  • Toulouse