CS4010 - Vérification et validation

CS4010 - Vérification et validation

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

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 synthèse

Volume horaire (h)

  • Cours magistraux : 6
  • Travaux dirigés : 4
  • Travaux pratiques : 4
Ce cours fait partie de la formation

En bref

Crédits ECTS : Cf UE

Nombre d'heures 14

Contact(s)

Daniel PRUN

Tél : +33 5 62 17 45 73

Email : daniel.prun @ enac.fr