Skip to content

Latest commit

 

History

History
85 lines (56 loc) · 4.23 KB

README.md

File metadata and controls

85 lines (56 loc) · 4.23 KB
Raw

Astor4Android

Astor4Android is an adaptation of the original Astor to work with Android applications.

Contacts:
Kayque de S. Teixeira - [email protected]
Celso G Camilo-Junior - [email protected]

Compilation

  1. Install Android SDK, JDK 1.8 and Maven.

  2. Set the environment variables ANDROID_HOME and JAVA_HOME.

    Example:
    export ANDROID_HOME=/home/kayquesousa/Android/Sdk
    export JAVA_HOME=/home/kayquesousa/jdk1.8.0_131

  3. Clone the Astor4Android repository and compile it using Maven:

    git clone https://github.com/kayquesousa/astor4android.git
    cd astor4android
    mvn clean compile

Test (Optional)

  1. Run at least one AstorWorker.

  2. Run the script inside the astor4android main directory:

    ./run_example.sh

Execution

In Astor4Android, you have the following command line arguments:

Argument Description
location Location of the Android project to repair. The project must be clean. You can clean it using the command ./gradlew clean inside the project's directory.
mode Mode of execution. More information in the next tables.
flmode (Optional) Fault localization mode. More information in the next tables.
loadflsave (Optional) File containing the results of a previous fault localization run for the same project listed at the "location" argument. This file is created at the working directory (e.g. astor4android/outputMutation/Astor4AndroidMain-Project) after a fault localization is executed on a project and has the extension ".flsave". If you're gonna use the same project multiple times, it's useful to save this file and use this argument to load it.
flthreshold Minimun suspicious value for a line during fault localization (Number between 0 and 1). If you set a value that is too high, Astor4Android will prompt an option for you to set a new value at runtime.
androidsdk Location of the Android SDK folder. Usually this argument is set to $ANDROID_HOME.
jvm4testexecution Location of the java executable. Usually set to %JAVA_HOME/bin.
javacompliancelevel Compliance level of the Java source code. The recommended value is 8.
stopfirst Determines if the execution should be stopped after the first fix (true of false).
unitfailing Failing JUnit test cases separated by a classpath separator (":" on Linux/Mac, ";" on Windows). A test case is the fully qualified class name of the test followed by a #, followed by the method's name. (e.g. com.example.root.bugapp2.ExampleUnitTest#multy)
instrumentationfailing Failing instrumentation test cases separated by a classpath separator (":" on Linux/Mac, ";" on Windows). A test case is the fully qualified class name of the test followed by a #, followed by the method's name. (e.g. com.example.root.bugapp2.ExampleInstru#use)
port Port that all AstorWorkers will connect to.

For the argument "mode", there are four options:

Mode Description
statement Executes using JGenProg
statement-remove Executes using JKali
mutation Executes using JMutRepair
custom Executes using a custom engine

For the argument "flmode", there are five options:

Mode Description
ochiai Uses the Ochiai method. (Default)
op2 Uses the Op2 method.
tarantula Uses the Tarantula method.
barinel Uses the Barinel method.
dstar Uses the DStar method with * = 2.

To run Astor4Android, follow these instructions:

  1. Run at least one AstorWorker.

  2. Run this command (replacing <arguments> with the actual arguments):

     		mvn exec:java -Dexec.mainClass=br.ufg.inf.astor4android.main.evolution.Astor4AndroidMain -Dexec.args="<arguments>"

    Example:

     	mvn exec:java -Dexec.mainClass=br.ufg.inf.astor4android.main.evolution.Astor4AndroidMain -Dexec.args="-mode statement -location /home/astor4android/Examples/BugApp2 -androidsdk $ANDROID_HOME -jvm4testexecution $JAVA_HOME/bin  -javacompliancelevel 8 -stopfirst true  -flthreshold 0.9  -unitfailing com.example.root.bugapp2.ExampleUnitTest#multy -instrumentationfailing com.example.root.bugapp2.ExampleInstrumentedTest#useAppContext -port 6665"