MuJava // Jenny

PLAN DE TRAVAIL

 MuJava  Jenny
 Introduction  Introduction

 Fonctionnalité  Téléchargement et
installation

 Téléchargement et
 Arguments
installation

 Simulation
 Simulation
MuJava
 Introduction
 µJava (muJava) est un système de mutation pour les
programmes Java.
 Il génère automatiquement des mutants pour les tests de
mutation traditionnels et les tests de mutation au niveau de
la classe.
 µJava peut tester des classes individuelles et des packages
de plusieurs classes.
 Les tests sont fournis par les utilisateurs sous forme de
séquences d'appels de méthode aux classes testées
encapsulées dans des méthodes dans des classes séparées.
 Fonctionnalité
 µJava utilise deux types d'opérateurs de mutation « class level » et
« method level ».

 µJava crée des mutants orientés objet pour les classes Java selon 24
opérateurs spécialisés dans les défauts orientés objet. 

 Les mutants de niveau méthode (traditionnels) sont basés sur l'opérateur

sélectif défini par Jeff Offutt .

  Après avoir créé des mutants, µJava permet au testeur d'entrer et

d'exécuter des tests, et évalue la couverture de mutation des tests.
Téléchargement et installation Mujava
 Unix, Linux et Windows.

 mujava.jar(https://cs.gmu.edu/~offutt/mujava/mujava.jar)

 openjava.jar(https://cs.gmu.edu/~offutt/mujava/openjava.jar)

 créer un dossier /home/mujava puis copier mujava.jar et openjava.jar dans

ce dossier.

 Accéder au dossier /home/mujava et créer un fichier mujava.config qui

contient la ligne suivante « MuJava_HOME=/home/mujava/MuJava » ce fichier
et nécessaire pour le fonctionnement de mujava.
 Téléchargement et installation Mujava

 créer une structure de répertoires pour le système mujava .

 On a définit dans le fichier /home/mujava/mujava.config la variable

$MuJava_HOME donc notre structure doit ressembler à l’image suivante :

 Pour créer cette structure il faut lancer la commande « java

mujava.makeMuJavaStructure » dans le répertoire /home/mujava .
Simulation
Jenny
 Introduction

 jenny est un outil pour générer des tests de régression.

 Chaque fois que les tests exhaustifs semblent pénibles en raison de

l'explosion combinatoire des interactions de fonctionnalités à
tester, pensez à utiliser jenny.

 Jenny garanti des tests par paires de toutes les fonctionnalités qui
peuvent être utilisées ensemble, et il peut éviter les combinaisons
de fonctionnalités qui ne le peuvent pas.
 Téléchargement et installation Jenny

 Jenny est un programme écrit avec le langage C .

 Il est open source, (https://burtleburtle.net/bob/c/jenny.c).

 Compilez-le comme ceci: gcc -O3 jenny.c -o jenny.

 Lancer le test par l’exécution de l’exécutable ./jenny

[arguments].
 Arguments

 -h : help imprime les instructions d’utilisation de jenny.

 -n : un entier , couvre tout les n-tuples de fonctionnalités.

 -w : without , informe jenny sur le couple de variable qu’on veut

pas afficher.

 Entier de 1 à 26 représentant les caractéristiques

Simulation
Conclusion
Conclusion
 Ces outils optimise la planification dans l’élaboration d’un
prototype.

 Il supporte différents tests tels que la sécurité et l’accessibilité. 

 Il réduit au maximum la marge d’erreur en permettant une

simulation quasi-parfaite d’un système 

 Il évite à l’entreprise les régressions coûteuses et adopte les

meilleurs pratiques.