ASTOR: Java自动程序修复库使用教程

1. 项目介绍

ASTOR（Automatic Software Transformations fOr program Repair）是一个用于Java的自动程序修复框架。该项目由Inria、里尔大学、上法兰西理工大学和瑞典皇家理工学院共同开发。ASTOR采用生成-验证技术，支持多种修复方法，包括jGenProg、jMutRepair、jKali、DeepRepair、Cardumen和3sfix。

主要特点

• 多修复方法支持：支持多种自动修复技术，如jGenProg、jMutRepair等。
• 开源社区支持：欢迎社区贡献，支持Bug修复、新功能和新的修复方法。
• 学术研究支持：适用于学术研究，提供了丰富的实验数据和论文参考。

2. 项目快速启动

环境准备

• Java 8 或更高版本
• Maven 3.x

克隆项目

git clone https://github.com/SpoonLabs/astor.git
cd astor

构建项目

mvn clean install

运行示例

mvn exec:java -Dexec.mainClass="fr.inria.main.evolution.AstorMain" -Dexec.args="-mode jgenprog -location <path_to_your_project> -package <your_package>"

3. 应用案例和最佳实践

案例1：使用jGenProg修复Java项目

假设你有一个Java项目，其中包含一些已知的Bug。你可以使用ASTOR的jGenProg模式来尝试自动修复这些Bug。

mvn exec:java -Dexec.mainClass="fr.inria.main.evolution.AstorMain" -Dexec.args="-mode jgenprog -location /path/to/your/project -package your.package.name"

案例2：使用DeepRepair进行深度学习修复

DeepRepair是ASTOR的一个扩展，利用代码相似性进行修复。你可以通过以下命令使用DeepRepair模式：

mvn exec:java -Dexec.mainClass="fr.inria.main.evolution.AstorMain" -Dexec.args="-mode deeprepair -location /path/to/your/project -package your.package.name"

4. 典型生态项目

Spoon

Spoon是一个用于Java程序分析和转换的库，ASTOR依赖于Spoon进行代码分析和修改。

Defects4J

Defects4J是一个用于软件测试和修复研究的Bug基准数据集，ASTOR在Defects4J上进行了大量的实验和验证。

Repairnator

Repairnator是一个自动修复工具，用于在持续集成环境中自动检测和修复Bug，ASTOR的部分修复方法被集成到Repairnator中。

通过以上步骤，你可以快速上手并使用ASTOR进行Java项目的自动修复。希望这篇教程对你有所帮助！