Universite ́ Joseph Fourier Grenoble I Jartege: a Tool for Random Generation of Unit Tests for Java Classes

Ce rapport présente Jartege, un outil qui permet la génération aléatoire de tests unitaires pour des classes Java spécifiées en JML. JML (Java Modeling Language) est un langage de spécification pour Java qui permet d’écrire des invariants pour des classes, ainsi que des pré- et des post-conditions pour des opérations. Comme dans l’outil JML-JUnit, nous utilisons les spécifications JML d’une part pour éliminer des cas de test non pertinents, et d’autre part comme oracle de test. Jartege génère de façon aléatoire des cas de test, qui consistent en une séquence d’appels de constructeurs et de méthodes des classes sous test. L’aspect aléatoire de l’outil peut être paramétre ́ en associant des poids aux classes et aux opérations, et en contrôlant le nombre d’instances créées pour chaque classe sous test. L’utilisation pratique de Jartege est illustrée par une petite étude de cas. Mots-clés Test, test unitaire, génération aléatoire de cas de test, Java, JML This report presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language fo