Skip to content

Mutation system for Java programs, including OO mutation operators.

License

Notifications You must be signed in to change notification settings

pmop/muJava-AUM

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

71 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

MuJava-AUM

Original MuJava README:

Mutation system for Java programs, including OO mutation operators.

Please see muJava's homepage for detail: http://cs.gmu.edu/~offutt/mujava


MuJava-AUM -- version 0.0.1

MuJava-AUM is similar to original MuJava, but with support to Avoid Useless Mutants. Please check https://sites.google.com/view/useless-mutants/

Requirements

  • Compatible only with JDK and JRE 1.8 (Java 8)

Getting started

Setting up MuJava-AUM

  1. Clone MuJava-AUM:

    • git clone https://github.com/easy-software-ufal/muJava-AUM.git
  2. Initialize MuJava-AUM (install the dependencies into your local maven repository):

    • cd MuJava-AUM
    • mvn install:install-file -Dfile=lib/tools.jar -DgroupId=com.sun -DartifactId=tools -Dversion=1.7.0.13 -Dpackaging=jar
    • mvn install:install-file -Dfile=lib/openjava.jar -DgroupId=ojc.openjava -DartifactId=ojc-openjava -Dversion=1.0 -Dpackaging=jar    
    • mvn compile

Using MuJava-AUM

  1. Change the file mujava.config to point out to examples/session1/ folder    - MuJava_HOME=<absolute-path>/muJava-AUM/examples/session1

  2. Compile the source files from examples/session1/src/ directory    - javac examples/session1/src/*.java -d examples/session1/classes/

  3. Execute the main file:

    • mvn exec:java -Dexec.mainClass="mujava.gui.GenMutantsMain"

Generating jar

First, in src/test/resources/mutants/session, make the folders (if not exists): classes, result, src and testset.

After that, run: mvn install. The jar will be in target folder, with jar-with-dependencies.jar appended.

Publications

  • "Avoiding Useless Mutants" - Leonardo Fernandes, Márcio Ribeiro, Luiz Carvalho, Rohit Gheyi, Melina Mongiovi, André L. Santos, Ana Cavalcanti, Fabiano Ferrari, José Carlos Maldonado (GPCE 2017) [link].

Documentation

Detailed documentation ... html documentation.

Obs.

About

Mutation system for Java programs, including OO mutation operators.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Java 100.0%