Important directories/subdirectories/files:

pta - collected and modified test suites for Druid, organised into subfolders. pta/utils contains class objects used in testing. script/classes - folder containing code snippets and class objects script/mutablecases - selected Druid-compatible test cases used in testing script. script/mutatedcases - destination folder for mutated test cases. script/demofolder - examples of mutated test cases.

classes/mutatorstub.py - Test functions for generic and specific mutations. testmutation.py - testmutation bash script runmutdemo - bash script to run testmutation.py on every .java file in subdirectories of current filepath, for testing purposes.

Current testmutation.py script creates takes a .java test file that is compatible with the Druid static analyzer.

It currently has two modes,

1. A simple mutation combination method that creates unique test cases which are combinations of the various mayAlias and notAlias stubs used for alias analysis.

python testmutation.py testfile.java

2. a basic Regular expression tester for debugging purposes

python testmutation.py testfile.java [-re]

and.

3. (WIP) a basic framework for a test case synthesizer that uses the mutation combination method for possible synthesis.

python testmutation.py testfile.java [-syn synthesizedtestcase.java]

Resources: Using Druid: Druid Static Analyser in action

TestCaseMutation in action

Test Gif on using script: