Enseignant : Fatiha Zaidi, Delphine Longuet, Christophe Gaston, Nikolay Kosmatov, Patricia Mouy

Cours :

Dans cette option nous mettrons l’accent sur la mise en oeuvre de techniques pour générer des ensembles de tests permettant de couvrir des objectifs de test. La notion d’objectif de test peut correspondre à plusieurs notions concrètes incluant des propriétés à tester, des contrats, des comportements sous forme de chemins à couvrir , des critères de couvertures portant sur les graphes de contrôles ou les flots de donnés.

Les technologies suivantes sont envisagées :

– Diversity, qui est un outil de test à base de modèles asynchrones

– Gatel, qui est un outil de test à base de modèles synchrones,

– Pathcrawler, qui est un outil de test boîte blanche dédié au code C

– JUnit, outil d’écriture et automatisation des campagnes de tests

– JML, outil de test et conception par contrats

– CodeCover, outils de mesure de qualité des test

Chaque technologie travaillant sur de objets différents, il sera possible d’illustrer une grande variété d’objectifs de tests de natures différentes.  Nous discuterons aussi du lien entre la couverture de ces objectifs et des stratégies de parcours/exécutions des modèles ou codes à analyser.

Chaque année, pour des soucis de pédagogie, un sous-ensemble raisonnable des technologies seront étudiées.

TD : 10.5 heures de TD pour 10.5 heures de cours.

Prérequis :