CS4560 - Validation et Vérification

CS4560 - Validation et Vérification

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 ainsi que les différentes méthodes pour réaliser les processus de V&V. De plus l'étudiant saura élaborer et mettre en œuvre un plan de V&V pour un système complexe.
Enfin l'étudiant mettra en pratique ces connaissances sur un cas concret.

Objectifs détaillés :

Sur la définition et les objectifs généraux de la V&V:
• Définition de la V&V – Place dans les processus d’ingénierie - différence entre V&V et IVV

Différentes techniques de V&V abordées :
• 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

Sur l'élaboration 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, …)
• savoir élaborer des fiches de tests permettant d'atteindre certains de ces objectifs de test

Place dans le cursus

Ce cours doit se situer :
- après le module "ingénierie du besoin et des exigences"
- en début de semestre pour pouvoir être appliqué, éventuellement, pour le projet de Langage JAVA

Volume horaire (h)

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

Examens

Nombre total d'heures d’évaluation : 1

En bref

Crédits ECTS : Cf UE

Nombre d'heures 15

Contact(s)

Daniel PRUN

Tél : 05.62.17.45.73

Email : daniel.prun @ enac.fr

Lieu(x)

  • Toulouse