This tool is designed for mutation testing of distributed systems, aiming to ensure robustness and fault tolerance by introducing controlled mutations and observing the system's ability to handle them. This testing approach helps developers identify weaknesses in fault handling and recovery processes.
- Automated Mutation Injection: Automatically introduces faults into the system to test the effectiveness of fault detection and recovery mechanisms.
- Real-Time Monitoring: Tracks the system's response to mutations in real time, providing immediate feedback and mutation score calculation.
- Detailed Reporting: Generates comprehensive reports detailing the outcomes.
- ubuntu 22.04
- Java 8 or higher
- Apache Maven/Ant/Gradle, depends on target system requirements
- Existing distributed system code and test suite for testing
-
Clone the repository:
git clone https://github.com/SSCT-Lab/DisMutationTool.git -
Navigate to the project directory:
cd DisMutationTool -
Build project
mvn clean package
java jar DisMutationTool-1.0-SNAPSHOT-jar-with-dependencies.jar.jar [your args, for example: --projectPath="/path/to/target/project"]
java -jar ./DisMutationTool-1.0-SNAPSHOT-jar-with-dependencies.jar \
--projectPath=/path/to/zookeeper/apache-zookeeper-3.5.8/zookeeper-server \
--mutators=RRC,MNT,MNR,RNE,BCS,RCS,NCS,SCS,RTS,RCE,MCT,RCF,RFE \
--projectType=mvn \
--srcPattern='.*\/src\/main\/.*\.java' \
--buildOutputDir=target/classes \
--outputDir=/path/to/outputs \
--coveragePath=/path/to/test/coverageFile/zk-testlist.txt \
- projectPath: path to target project.
- mutators: mutation operators to be used, split in comma, --mutators="RRC,MNT,NCS" for example.
- projectType: type of target project, mvn or ant.
- srcPattern: pattern of source code files.
- buildOutputDir: relative path of build output directory, from where we collect bytecodes and use them to filter equivalent mutants.
- outputDir: output directory for reports.
- (optional) coveragePath: test coverage file to accelerate test process example format:
ClassName:
package.name.TestClassA.testmethod1
package.name.TestClassA.testmethod2
package.name.TestClassB.testmethod3
- Make sure test suite of target system is GREEN.
- Please ensure you have built your target project in dockerfile, or the project's dependencies can be installed.
We welcome contributions! If you're interested in improving the tool, please fork the repository and submit a pull request.
This tool is available under the MIT License. See the LICENSE file for more details.
For questions and support, please contact zheyuanlin@smail.nju.edu.cn .