| L'objectif de ce cours est de présenter le test de logiciels comme une technique particulère de vérification des systèmes logiciels. Dans un premier temps, il situera le test au sein du cycle de vie du logiciel et fournira un panorama des méthodes utilisées. On détaillera les méthodes classiques de sélection de tests (test structurel, test fonctionnel, test aux limites). Le test fonctionnel sera également abordé à partir de modèles formels, tels que les machines à états et JML. Le test structurel abordera différents critères de couverture de programmes. Les TD/TP permettront de mettre en pratique le test à partir de modèles avec des tests écrits en JUNIT et des tests à partir de spécification JML. L'outil Codecover sera utilisé dans le cadre du test structurel. |
| Module: | Polytech Apprentissage et FC - Quatrième année |
| |
| 1 * 18 h | Cours | Delphine Longuet(8h)[HC-EXT] Frédéric Voisin(9.5h) Pas-Cette Annee(0.5h)[GRAT] |
| 1 * 9 h | TD | Delphine Longuet(4h)[HC-EXT] Frédéric Voisin(4.5h) Pas-Cette Annee(0.5h)[GRAT] |
| 1 * 9 h | TP | Delphine Longuet(4h)[HC-EXT] Frédéric Voisin(4.5h) Pas-Cette Annee(0.5h)[GRAT] |
36 h présentielles (hors soutien) |
| |
POLYTECH-App4 - Tests de logiciels [nov-jan]