Defects4j数据集安装及使用

0、常见问题

1. 所有配置完成后运行defects4j info -p Lang测试出现错误

Can't locate DBI.pm in @INC (you may need to install the DBI module) (@INC contains: /myproject/defects4j/framework/lib /myproject/defects4j/framework /myproject/defects4j/framework/core /myproject/defects4j/framework/core /etc/perl /usr/local/lib/x86_64-linux-gnu/perl/5.34.0 /usr/local/share/perl/5.34.0 /usr/lib/x86_64-linux-gnu/perl5/5.34 /usr/share/perl5 /usr/lib/x86_64-linux-gnu/perl-base /usr/lib/x86_64-linux-gnu/perl/5.34 /usr/share/perl/5.34 /usr/local/lib/site_perl) at /myproject/defects4j/framework/core/DB.pm line 43.
BEGIN failed--compilation aborted at /myproject/defects4j/framework/core/DB.pm line 43.
Compilation failed in require at /myproject/defects4j/framework/core/Mutation.pm line 41.
BEGIN failed--compilation aborted at /myproject/defects4j/framework/core/Mutation.pm line 41.
Compilation failed in require at /myproject/defects4j/framework/core/Project.pm line 103.
BEGIN failed--compilation aborted at /myproject/defects4j/framework/core/Project.pm line 103.
Compilation failed in require at /myproject/defects4j/framework/bin/d4j/d4j-info line 58.
BEGIN failed--compilation aborted at /myproject/defects4j/framework/bin/d4j/d4j-info line 58.
Compilation failed in require at /myproject/defects4j/framework/bin/defects4j line 155.
# 一、Defects4j数据集安装
**`在Ubuntu系统上进行操作`**，具体的在：[Defects4j数据集安装](https://blog.csdn.net/weixin_46439193/article/details/104721218)

解决方法：

 sudo apt-get install libdbi-perl

二、Defects4j数据集的使用

1. 常用命令

Getting started
----------------
#### Setting up Defects4J
1. Clone Defects4J:- `git clone https://github.com/rjust/defects4j`2. Initialize Defects4J (download the project repositories and external libraries, which are not included in the git repository for size purposes and to avoid redundancies):- `cd defects4j`- `./init.sh`3. Add Defects4J's executables to your PATH:- `export PATH=$PATH:"path2defects4j"/framework/bin`#### Using Defects4J
4. Check installation and get information for a specific project (commons lang):- `defects4j info -p Lang`- `defects4j info -p Math`5. Get information for a specific bug (commons lang, bug 1):- `defects4j info -p Lang -b 1`6. Checkout a buggy source code version (commons lang, bug 1, buggy version):- `defects4j checkout -p Lang -v 1b -w /tmp/lang_1_buggy`7. Change to the working directory, compile sources and tests, and run tests:- `cd /tmp/lang_1_buggy`- `defects4j compile`- `defects4j test`8. More examples of how to use the framework are available in `framework/test`

2. 框架

defects4j||--- project_repos:     The version control repositories of the provided projects.||--- major:             The Major mutation framework.||--- framework:         Libraries and executables of the database abstraction and|                   test execution framework.||--- bin:           Command line interface to Defects4J.||--- core:          The modules of the core framework.||--- lib:           Libraries used in the core framework.||--- util:          Util scripts used by Defects4J.||--- projects:      Project-specific resource files.||--- test:          Scripts to test the framework.

首先看一下文件结构，首先是project_repos,指提供的含有故障的项目的版本控制库，之后是major,是主要的变异框架，再framework中存在我们比较需要的各种信息，重点关注projects，里面是各种真实故障的项目。

以Lang为例，讲解一下里面的目录结构

Lang
在这里插入图片描述
逻辑是这样的，对每个defects4j项目来有很多测试类，每个测试类里面有很多测试用例，如果全通过了就说明程序没有问题，但有些情况下测试可能不通过，可能只是某一两个测试方法不通过，难道要把所有的程序再重新加载，进行实验吗？西门子故障程序是那么做的，不同版本的故障程序之间只有一两行不一样，所有的测试用例也都是一样的，测试用例对在运行不同版本的故障程序时结果是不同的。这种情况在defects4j上行不通，因为西门子程序太小了，这里动辄上万行的代码。

  • trigger tests
    每个故障版本都对应个一个trigger test，这个trigger test里面包含了一些引发了程序bug的测试方法。

在这里插入图片描述

  • modified classes
    既然有了trigger test ，那么就必然有bug，那么文件夹modified_classes里面装的就是将bug修复时，需要改动源程序中的哪些类。
    在这里插入图片描述
    如图，Lang项目的第一个故障版本需要改动NumberUtils类即可修复。

  • loaded classes/relevant classes
    虽然bug只和这一个类有关，但程序是一个整体，只有这一个类跑不起来呀，想要跑起来需要很多relevant classes,在项目里是loaded_classes文件夹下，只有将这些类都加载进JVM中，trigger test方法才能跑起来。

  • relevant tests
    既然trigger test的运行，说明了程序中存在bug，只是在trigger_test中引发了bug,其他的测试程序中可能也跑了故障代码（modified classes），但是没有引发故障，所以relevent tests里面记录的就是所有的相关测试类。所谓相关测试类就是指当执行测试方法时，JVM中加载了modified classes,这样就保证了所有相关的测试都包含在内。

  • patches
    最后就是patches,其中src.patch记录了故障应该怎么修复，比如说，按照github的教程上执行了

defects4j checkout -p Lang -v 1b -w /tmp/lang_1_buggy

这行代码后，实际上就是在/tmp/lang_1_buggy文件夹下将这个Lang 1 版本编译，测试所需要所有类和测试类都写进去了，在src文件夹下，我们再执行

cd /tmp/lang_1_buggy
defects4j compile
defects4j test

注意，这里可以直接在linux中使用命令进行编译和测试，如果想在IDEA中进行运行测试，我这里用的环境是jdk1.7和maven3.8.1，注意：亲测maven3.6不行

这时候我们编译的是含有故障的代码，运行后
在这里插入图片描述
它就会显示trigger test中记录的故障代号。

如果我们想要一个没有故障的版本怎么办呢，就对defects4j checkout后，/tmp/lang_1_buggy中的源码进行更改即可，按照src.patch更改源码，其中@@后是代码在NumberUtils.java中的行数，每行代码前面没有符号时，代表代码无需改动，- 代表是新加的正确代码，+ 代表是错误代码，注释掉即可。
在这里插入图片描述
更改完代码后，我们再执行defexts4j test 就没有错误了。
这种方法可以帮助我们获取无故障的源码，以及为程序中插入故障提供思路。

三、 Defects4j-FL

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/110139.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

【VS2022】Microsoft 源代码注释语言 SAL

【VS2022】Microsoft 源代码注释语言 SAL

M i c r o s o f t Microsoft Microsoft 源代码注释语言 S A L SAL SAL /*** file * author jUicE_g2R(qq:3406291309)————彬(bin-必应)* 通信与信息专业大二在读 * * brief Microsoft 源代码注释语言 SAL* * copyright 2023.10* COPYRIGHT 原创…
阅读更多...
Makefile文件里的赋值方法（第三节）

Makefile文件里的赋值方法（第三节）

时间是我们唯一拥有的东西了，利用时间，发挥光芒。——张顺 文章目录 什么是赋值Makefile当中的赋值赋值符号=延时赋值（不要觉得简单就跳过，和你平时学的不一样）:=立即赋值？=条件赋值+=追加赋值结束什么是赋值 常见赋值：（实例1.1） #include <stdio.h>int main(…
阅读更多...
【计算机网络笔记】计算机网络性能（1）——速率、带宽、延迟

【计算机网络笔记】计算机网络性能（1）——速率、带宽、延迟

系列文章目录 什么是计算机网络&#xff1f; 什么是网络协议&#xff1f; 计算机网络的结构 数据交换之电路交换 数据交换之报文交换和分组交换 分组交换 vs 电路交换 系列文章目录速率带宽延迟/时延(delay或latency) 下面介绍一些计算机网络中常用的性能指标。在本篇中涉及速…
阅读更多...
创建React Native的第一个hello world工程

创建React Native的第一个hello world工程

创建React Native的第一个hello world工程 需要安装好node、npm环境 如果之前没有安装过react-native-cli脚手架的&#xff0c;可以按照下述步骤直接安装。如果已经安装过的&#xff0c;但是在使用这个脚手架初始化工程的时候遇到下述报错的话 cli.init(root, projectname);…
阅读更多...
WordPress导航主题蘑菇导航源码

WordPress导航主题蘑菇导航源码

蘑菇导航的列表页有两种风格&#xff0c;分别对应宽屏、窄屏。可以点击 文章。博客查看演示。文章页也是如此&#xff0c;这两种风格可以在后台设置。 本站菜单中的 VIP解析、音乐、图床&#xff0c;是单独的源码&#xff0c;不包含在本次主题中。后期看大家的要求&#xff0c…
阅读更多...
SSH连接华为交换机慢

SSH连接华为交换机慢

ssh连接交换机慢是因为交换计算密钥算法阶段默认使用安全性更高的秘钥&#xff0c;由于性能问题导致连接比较慢&#xff0c;如一台华为S5735S-L24T4S-QA2的交换机默认使用如下秘钥&#xff0c;安全行由高到低。 ssh server key-exchange dh_group16_sha512 dh_group15_sha512 …
阅读更多...
Android 优化 - 磁盘缓存DiskLruCache

Android 优化 - 磁盘缓存DiskLruCache

一、概念 用于实现存储设备缓存&#xff0c;即磁盘缓存&#xff0c;通过将缓存对象写入文件系统从而实现缓存的效果。 二、使用 2.1 添加依赖 最新依赖 implementation "com.jakewharton:disklrucache:2.0.2" 2.2 配置权限 <uses-permission android:name&qu…
阅读更多...
【Release】Photoshop ICO file format plug-in 3.0

【Release】Photoshop ICO file format plug-in 3.0

【Introduction】 The Photoshop ICO plug-in is a file format plug-in developed for Photoshop, which allows Photoshop to directly read and write ICO format files. Because Photoshop has powerful pixel bitmap editing functions, it has many users and a good us…
阅读更多...
企业如何自定义人力资源和财务报表？

企业如何自定义人力资源和财务报表？

企业自定义人力资源和财务报表是一种重要的能力&#xff0c;它允许企业根据其特定需求和目标创建和定制报表。以下是一些详细的步骤和说明&#xff0c;帮助企业实现人力资源和财务报表的自定义。 1. 确定报表需求&#xff1a; 首先&#xff0c;企业需要明确自己对人力资源和财…
阅读更多...
uniapp(uncloud) 使用生态开发接口详情5(云公共模块)

uniapp(uncloud) 使用生态开发接口详情5(云公共模块)

1.uniCloud官网 云对象中云公共模块: 网站: https://uniapp.dcloud.net.cn/uniCloud/cf-common.html // 官网介绍 cloudfunctions├─common // 云函数公用模块目录| └─hello-common // 云函数公用模块| ├─package.json| └─index.js // 公用模块代码&#xff0…
阅读更多...
docker拉取镜像错误missing signature key

docker拉取镜像错误missing signature key

参考地址&#xff1a;docker拉取镜像错误 missing signature key-CSDN博客 linux系统&#xff0c;使用docker拉取的时候&#xff0c;报错如下 missing signature key 就一阵莫名其妙&#xff0c;之前还好好的&#xff0c;突然就不行了 按照网上说的方法&#xff0c;查看doc…
阅读更多...
CSRF和XSS是什么？

CSRF和XSS是什么？

CSRF&#xff08;Cross-site request forgery&#xff09;&#xff1a;跨站请求伪造。 用户是网站A的注册用户&#xff0c;且登录进去&#xff0c;于是网站A就给用户下发cookie。 满足条件&#xff1a; &#xff08;1&#xff09;登录受信任网站A&#xff0c;并在本地生成Cook…
阅读更多...
计算机网络-计算机网络体系结构-网络层

计算机网络-计算机网络体系结构-网络层

目录 一、IPV4 IP数据报格式 *IP 数据报分片 *IPV4地址 分类 网络地址转换(NAT) 二、子网划分与子网掩码 *CIDR *超网 协议 ARP协议 DHCP协议 ICMP协议 三、IPV6 格式 IPV4和IPV6区别 地址表示形式 四、路由选择协议 RIP(路由信息协议) OPSF(开发最短路径优…
阅读更多...
探索DeFi世界，MixGPT引领智能金融新时代

探索DeFi世界，MixGPT引领智能金融新时代

随着区块链技术的迅猛发展&#xff0c;DeFi&#xff08;去中心化金融&#xff09;正成为金融领域的新宠。在这个充满活力的领域里&#xff0c;MixTrust站在创新的前沿&#xff0c;推出了一款引领智能金融新时代的核心技术——MixGPT。 MixGPT&#xff1a;引领智能金融体验的大型…
阅读更多...
工业自动化编程与数字图像处理技术

工业自动化编程与数字图像处理技术

工业自动化编程与数字图像处理技术 编程是计算机领域的基础技能&#xff0c;对于从事软件开发和工程的人来说至关重要。在工业自动化领域&#xff0c;C/C仍然是主流的编程语言&#xff0c;特别是用于工业界面(GUI)编程。工业界面是供车间操作员使用的&#xff0c;使用诸如Hal…
阅读更多...
OFDM基本原理

OFDM基本原理

一、OFDM简述 OFDM 的全称是 Orthogonal Frequency Divisition Multiplexing&#xff0c;是一种多载波调制技术&#xff0c;其能有效对抗频率选择性衰落&#xff0c;克服信号符号间干扰。OFDM的技术的核心思想是将宽频率载波划分成多个带宽较小的正交子载波&#xff0c;并使用这…
阅读更多...
【LeetCode】46. 全排列

【LeetCode】46. 全排列

1 问题 给定一个不含重复数字的数组 nums &#xff0c;返回其 所有可能的全排列 。你可以 按任意顺序 返回答案。 示例 1&#xff1a; 输入&#xff1a;nums [1,2,3] 输出&#xff1a;[[1,2,3],[1,3,2],[2,1,3],[2,3,1],[3,1,2],[3,2,1]] 示例 2&#xff1a; 输入&#x…
阅读更多...
点云从入门到精通技术详解100篇-基于3D点云的曲面文字检测

点云从入门到精通技术详解100篇-基于3D点云的曲面文字检测

目录 前言 国内外研究现状 自然场景文本检测任务面临的挑战 自然场景文本检测的研究现状
阅读更多...
零基础学习CSS

零基础学习CSS

01-CSS初体验 层叠样式表 (Cascading Style Sheets&#xff0c;缩写为 CSS&#xff09;&#xff0c;是一种 样式表 语言&#xff0c;用来描述 HTML 文档的呈现&#xff08;美化内容&#xff09;。 书写位置&#xff1a;title 标签下方添加 style 双标签&#xff0c;style 标签…
阅读更多...
基于Java公益志愿捐赠管理系统设计与实现（源码+LW+调试+开题报告）

基于Java公益志愿捐赠管理系统设计与实现（源码+LW+调试+开题报告）

项目描述 临近学期结束&#xff0c;还是毕业设计&#xff0c;你还在做java程序网络编程&#xff0c;期末作业&#xff0c;老师的作业要求觉得大了吗?不知道毕业设计该怎么办?网页功能的数量是否太多?没有合适的类型或系统?等等。这里根据疫情当下&#xff0c;你想解决的问…
阅读更多...
最新文章

Copyright @ 2022~2023