Vous êtes ici

  1. Accueil
  2. Validation et vérification

Validation et vérification

Validation et vérification

En pratique :

Langue principale : français
Nombre de crédits européens : 3

Description du contenu de l'enseignement

· Cours : introduction aux différents types de bugs, test statique, test dynamique, critères de couverture boite blanche et boite noire, test d’intégration, mocks, analyse de mutation.
· Travaux dirigés : relecture de code, couverture de code, mutation, mocks, intégration
· Travaux pratiques : les TPs sont regroupés pour donner le temps de développer un projet qui vise à produire un outils qui automatise une tâche de test (fuzzing, oracle, collecte de traces, visualisation, etc.)


Compétences à acquérir

Acquisition des concepts essentiels du test logiciel et de l’analyse de programme. Pratiques de développement pour assurer la qualité logicielles.

Maitrise des notions de couverture de code, de typologie d’erreurs logicielles, d’analyse dynamique et statique, compréhension des notions d’oracle, sélection de données de test et qualification de suites de test.


Intervenant(s)

BENOIT BAUDRY

Pré-requis

Profils attendus

Être capable de programmer en utilisant un langage à objets (Java, C#, C++, etc), connaître les techniques de compilation, être capable de comprendre et concevoir des architectures logicielles