Résumé

Ce document a pour but de présenter Jartege, un outil de génération automatique aléatoire de programmes de test pour des classes Java. Jartege est conçu pour fonctionner avec JML (Java Modeling Language), langage de spécification pour Java créé par G. Leavens. JML permet de spécifier des programmes Java à l'aide de différentes assertions : invariants, pré-conditions et post-conditions. Ces spécifications, accompagnées des programmes Java correspondants, peuvent être compilées avec le compilateur JML, ce qui permet leur vérification au cours de l'exécution du programme. Ces spécifications servent alors d'oracle de test.

Jartege est un outil qui permet de générer de façon aléatoire des programmes de test pour des classes Java spécifiées en JML. Cet outil permet de générer facilement un grand nombre de tests, ce qui permet de réduire l'effort nécessaire au développement d'une campagne de test. Jartege produit des test unitaires, c'est-à-dire des tests pour un petit nombre de classes. Un test est constitué de séquences d'appels aux différentes opérations des classes sous test. L'aspect aléatoire de l'outil peut être en partie paramétré, en particulier en associant des poids aux classes sous test ainsi qu'à leurs opérations, et en contrôlant la quantité d'instances créées de chaque classe.