Ce rapport présente Jartege, un outil qui permet la génération aléatoire de tests unitaires pour des class Java spécifiées en JML. JML (Java Modelling Language) est un langage de spécification pour Java qui permet d'écrire des invariants pour des class, 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 relevants, 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 class sous test. L'aspect aléatoire de l'outil peutêtre paramétré en associant des poids aux class et aux opérations, et en contrôlant le nombre d'instances créées pour chaque classe sous test. L'utilization pratique de Jartege est illustrée par une petitétude de cas. Test, test unitaire, génération aléatoire de cas de test, Java, JML Denna rapport presenterar Jartege, ett verktyg som tillåter slumpmässig generering av enhet tester för Java klasser som anges i JML. JML (Java Modeling Language) är en specifikation språk för Java som gör det möjligt att skriva invarianter för klasser, och pre-och postvillkor för operationer. Som i JML-JUnit-verktyget använder vi JML-specifikationer å ena sidan för att eliminera irrelevanta testfall och å andra sidan som testorakel. Jartege genererar slumpmässigt testfall, som består av en sekvens av konstruktör och metod kräver de klasser som provas. Den slumpmässiga aspekten av verktyget kan parameteriseras genom att associera vikter till klasser och operationer, och genom att kontrollera antalet instanser som skapas för varje klass under provning. Den praktiska användningen av Jartege illustreras av en liten fallstudie.
Verktygsorienterad, författarna föreslår i REF en konfigurerbar enhet testverktyg av java klasser som anges i JML.
Jartege: a Tool for Random Generation of Unit Tests for Java Classes
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}