OBJECTIFS :
L’objectif de ce module est de présenter les méthodologies de test.
CONTENU DÉTAILLÉ DE L’ENSEIGNEMENT :
Le test logiciel est la principale technique de validation de programmes permettant d’assurer la conformité d’un logiciel par rapport aux besoins.
On présente les différentes techniques de test (test fonctionnel, test structurel, test aléatoire, test à base de modèles…) et propose des séances pratiques avec des outils automatiques de test. Différents critères de test sont présentés et comparés. Les étudiants vont acquérir une première expérience de génération de cas de test en utilisant les outils PathCrawler (pour la génération de tests structurels pour les programmes C) et Diversity (pour la génération de tests fonctionnels à base de modèles). Ces outils s’appuient sur la technique d’exécution symbolique, également abordée pendant le cours, qui permet d’évaluer un programme pour des valeurs symboliques des variables. Le cours se termine par une découverte de preuve de programmes et la mise en pratique avec la plateforme Frama-C.