Vous êtes ici

  1. Accueil
  2. Validation et vérification du logiciel

Validation et vérification du logiciel

Validation et vérification du logiciel

En pratique :

Volume horaire de cours : 14
Volume horaire global de TP : 10
Langue principale : français

Description du contenu de l'enseignement

L'objectif est d'acquérir une culture ge´ne´rale sur la validation et la vérification du logiciel et une expertise précises sur les différentes techniques pouvant être mises en œuvre.
L'étudiant sera alors capable des les utiliser de manière appropriée et de les replacer dans un processus complet de développement d'un logiciel ainsi qu'en fonction du contexte.
En particulier, l'étudiant sera capable de mettre en œuvre des techniques de test à chaque étape du processus de développement, d'estimer la qualité de ses tests et d'en générer tout ou partie à partir du code, de la spécification ou des modèles de conception.
Il aura également acquis des connaissances sur des techniques avancées de vérification exhaustive tel que le model-checking et la preuve de programme, indispensable par exemple pour la certification de systèmes critiques.


Compétences à acquérir

  • Connaissance des techniques de validation et de ve´rification
  • Rationalisation du test logiciel.

Bibliographie, lectures recommandées

Refcard about JUnit and EasyMock