SimFix 的安装和配置教程

1. 项目基础介绍和主要编程语言

SimFix 是一种自动程序修复技术，它通过利用其他项目的现有补丁和同一项目中的相似代码片段来生成修复补丁。这种技术可以在发现软件缺陷后自动修复，从而提高软件质量和开发效率。SimFix 主要使用 Java 编程语言开发。

2. 项目使用的关键技术和框架

SimFix 使用以下关键技术：

• 修复模式挖掘：从现有的开源项目中挖掘修复模式。
• 故障定位：获取可疑故障语句的排名列表，并提取相应的代码片段。
• 捐赠代码片段识别：通过三种相似性度量方法，识别故障代码片段与候选相似代码片段之间的相似性。
• 变量映射：利用相似性度量方法建立故障代码片段与相似代码片段之间的变量映射关系。
• 修改提取与交差：通过 AST（抽象语法树）匹配和差异对比，提取对故障代码片段的修改，然后使用挖掘阶段的频繁模式进行交差，以进一步排除无效修改。
• 补丁生成与验证：应用提取的代码修改到故障代码片段，结合和排序修改，生成修复补丁，并通过测试集验证补丁的正确性。

SimFix 使用的主要框架和工具包括：

• Defects4J：一个用于缺陷修复研究的框架。
• Eclipse：作为开发环境的 Java 项目。

3. 项目安装和配置的准备工作及详细步骤

准备工作

在开始安装和配置 SimFix 之前，请确保您的系统满足以下要求：

• 操作系统：Linux（在 Ubuntu 16.04.2 LTS 上测试通过）。
• JDK：Oracle jdk1.7（非常重要）。
• 下载并配置 Defects4J 运行环境（branch fee5ddf020）。

安装步骤

1. 配置环境变量： 将 Defects4J 的安装路径设置为环境变量 DEFECTS4J_HOME。

   export DEFECTS4J_HOME="path_to_defects4j"
   

2. 导入项目到 Eclipse： 将 SimFix 项目导入到 Eclipse 工作空间中，它是一个 Eclipse Java 项目。主类为 cofix.main.Main。

3. 解压数据文件： 将文件 sbfl/data.zip 解压到 sbfl/data 目录。

4. 检出缺陷版本： 使用 Defects4J 提供的命令行来检出要测试的缺陷版本。例如：

   defects4j checkout -p Chart -v 1b -w path_to_buggy_program/chart/chart_1_buggy
   

   确保缺陷版本的路径格式正确。

5. 构建项目： 在 Eclipse 中，可以直接构建项目。

6. 运行程序：

   • 在 Eclipse 中运行： 在主类 cofix.main.Main 中，选择 "Run As" -> "Run Configurations..."，然后在 "Arguments" 选项卡中设置以下参数：

     --proj_home=path_to_buggy_program
     --proj_name=project_name
     --bug_id=bug_id
     

   • 使用命令行运行： 如果使用命令行运行，可以执行以下命令：

     java -jar simfix.jar --proj_home=path_to_buggy_program --proj_name=project_name --bug_id=bug_id
     

     确保 simfix.jar 文件在 SimFix 项目的根目录中。

7. 结果分析： 完成修复后，会有两个额外的文件夹 log 和 patch 生成。log 文件夹包含调试输出，patch 文件夹包含生成的修复补丁。

按照以上步骤操作，您应该能够成功安装和配置 SimFix 项目。如果在安装或配置过程中遇到问题，请参考项目的文档或搜索相关社区的解决方案。