MuJava

Igor Gonçalves

Mayara Machado

Roteiro

• O que o MuJava?
• Instalação e configuração
• Estrutura base
• Gerando mutantes
• Matando Mutantes

O que é o MuJava?

Instalação e configuração

Passos:

1. Baixar os jars do projeto em: https://cs.gmu.edu/~offutt/mujava/ ;
2. Configurar as variáveis de ambiente: JAVA_HOME, CLASS_PATH, PATH para a sua versão do JDK e os jars que acabou de baixar;
3. Edite o arquivo mujava.config e a variável e altero o caminho de MuJava_HOME para o direitorio onde estão os jars;
4. Gere a estrutura base com o comando "java mujava.makeMuJavaStructure"

Estrutura Base

Diretórios:

• src: Pasta com os códigos Java que serão a base dos mutantes;
• classes: Pasta com códigos compilados do src;
• testset: Diretório com os testes já compilados para execução (.class);
• result: Diretório com os mutantes gerados;

Criando mutantes

Mas antes, confira seu classpath

Execute: java mujava.gui.GenMutantsMain

Matando mutantes

Já sabe, confira seu classpath

Veja que agora o JUnit é necessário no classpath

Execute: java mujava.gui.RunTestMain

Referências