test mutation-03-变异测试 mujava Mutation 入门

拓展阅读

开源 Auto generate mock data for java test.(便于 Java 测试自动生成对象信息)

开源 Junit performance rely on junit5 and jdk8+.(java 性能测试框架。性能测试。压测。测试报告生成。)

test 系统学习-04-test converate 测试覆盖率 jacoco 原理介绍

µJava (muJava) 突变测试系统

µJava是用于Java程序的一种突变测试系统。它可以自动生成传统突变测试和类级突变测试的变异体。

µJava可以测试单个类和包含多个类的包。用户通过在单独的JUnit类中将测试作为对待测类的方法调用序列提供。

µJava是韩国科学技术高等研究院(KAIST)和美国乔治梅森大学的两所大学的合作成果。

研究合作者是韩国KAIST的博士生Yu Seung Ma、KAIST的教授Yong Rae Kwon以及美国乔治梅森大学的教授Jeff Offutt。

设计的大部分工作由Jeff和YuSeung完

成,最初的软件开发由YuSeung完成。在2012年和2013年,µJava进行了大规模修改,由Nan Li进行。

µJava是以“原样”提供给社区的。我们欢迎评论和反馈,但不能保证提供问题回答、故障修复或改进的支持(换句话说,我们没有支持的资金,只有良好的意图)。该页面包含以下内容:

  1. 面向对象的Java和µJava的概述。
  2. 可下载文件的链接。
  3. 如何安装、设置和运行µJava的详细说明。
  4. 已发表论文的参考文献。
  5. 2007年3月:北卡罗来纳州立大学的Laurie Williams和Ben Smith修改了µJava成为Eclipse插件。他们的版本可以从sourcefourge获取。

I. 概述

µJava由Ma、Offutt和Kwon构建[1]。µJava使用两种类型的突变操作符,即类级和方法级。

Ma、Kwon和Offutt设计了适用于Java类的类级突变操作符[2],这是根据Offutt、Alexander等人关于面向对象故障的分类[3]设计的。

µJava根据专门用于面向对象故障的24个操作符创建Java类的面向对象突变。方法级(传统)突变基于Offutt等人的选择性操作符集[4]。

创建变异体后,µJava允许测试人员输入和运行测试,并评估测试的突变覆盖率。

在µJava中,对待测类的测试被编码在单独的类中,这些类调用待测类的方法。变异体是自动生成和执行的。等价的变异体必须手动识别。

µJava在PDF中提供了类级突变操作符和µJava使用的方法级突变操作符的单独描述。

历史

  • 2003年。首次发布为JMutation(Java Mutation System)。
  • 2004年。更名为MuJava(Mutation System for Java)。
  • 2005年。软件著作权登记,保留所有权利。
  • 2005年。发布第2版,修复了一些错误和修改了突变操作符。
  • 2008年。发布第3版,对Java 1.5和1.6提供最低限度的支持。
  • 2013年。发布第4版,以支持JUnit测试和Java 1.6语言功能,包括泛型、注解、枚举、可变参数、增强的for-each循环和静态导入。
  • 2015年。附加和改进的错误消息。针对OpenJava的错误修复。许可证更改为Apache许可证。

下载 µJava

虽然安装 µJava 在技术上并不复杂,也不复杂,但它将需要比安装许多商业软件包更多的努力。µJava 可在 Unix、Linux 和 Windows 平台上运行。您需要下载和部署三个文件;两个 Java 的 “jar” 文件和一个配置文件。

  1. mujava.jar - µJava 系统库
  2. openjava.jar - 为 µJava 改编的 OpenJava 库(OpenJava 网页)
  3. mujava.config - 指定 µJava 系统主目录的文件

这两个 jar 文件应该放置在磁盘上的一个所有需要使用 µJava 的用户都可以访问的目录中,例如在 C:\mujava\。

µJava 在2013年4月进行了更新,以与 JUnit 和泛型一起使用。旧版本仍可供使用,如果您需要的话。

使用 µJava 测试类

µJava 系统要求修改 Java CLASSPATH,以包括 µJava jar、openjava jar、JUnit 库和 Java tools.jar 文件。此外,通用 PATH 变量必须包含 java bin 目录;这通常在安装 java 时自动设置,但并非总是如此。然后,使用一个 GUI(Java applet)生成变异体,测试人员必须创建测试,然后使用另一个 GUI 运行变异体。

  1. µJava 系统的环境设置

设置 µJava 环境有三个步骤:(1) CLASSPATH,(2) 设置配置文件,(3) 创建子目录。

Java CLASSPATH 必须包括两个 µJava jar 文件和一个标准的 Java jar 文件。tools.jar 是 Java(JDK)编译器的标准配备,可能位于 “JavaHome/lib/” 目录中。两个 µJava 文件是 mujava.jar 和 openjava.jar,可从此站点下载。

Windows

在 DOS 窗口中,使用以下命令(假设 classes 在 C:\mujava 下):

set CLASSPATH=%CLASSPATH%;C:\mujava\mujava.jar;C:\mujava\openjava.jar;C:\jdk1.7.0\lib\tools.jar;C:\mujava\classes

在 Cygwin 窗口中,使用以下命令:

CLASSPATH="$CLASSPATH;C:\mujava\mujava.jar;C:\mujava\openjava.jar;C:\jdk1.7.0\lib\tools.jar;C:\mujava\classes" ; export CLASSPATH

要在 Windows 中永久更改 CLASSPATH,请转到开始-设置-控制面板。双击系统,转到高级选项卡,选择环境变量。编辑 CLASSPATH 变量或者如果没有,则创建一个新变量。将 mujava.jar 和 openjava.jar 的完整路径添加到 CLASSPATH 中。

Unix

在 Unix 中,设置 CLASSPATH 环境变量。假设 jar 文件存储在用户 mujava 的主目录中:

CLASSPATH=$CLASSPATH:/home/mujava/mujava.jar:/home/mujava/openjava.jar:/java1.4/jdk1.7.0/lib/tools.jar ; export CLASSPATH

请注意,语法在不同的 shell 下会有所不同,将命令放入设置文件中(如 .login、.bash_profile 或 .bashrc)会更方便。

Mac

打开终端,键入 “echo $JAVA_HOME” 和 “echo $PATH”,确保环境变量 JAVA_HOME 和 PATH 设置正确。

获取 JAVA_HOME
获取 PATH

如果您不知道如何在 Mac 上安装 JDK 7,请阅读有关如何安装 JDK 7 以及如何设置 JAVA_HOME 和 PATH 环境变量的文章。

接下来,修改 mujava.config 文件,指向一个您希望存储源 Java 文件和 muJava 临时文件的目录。该目录必须是完整路径(无论是 Windows 还是 Unix)。例如,配置文件可能包含以下行:MuJava_HOME=C:\home\mujava\exp

重要提示: 必须将配置文件复制到运行 muJava 系统的目录中。

最后,在 $MuJava_HOME 目录中为 muJava 系统创建目录结构。假设您的 MuJava_HOME 目录称为 MuJava,子目录应如下使用:

  • MuJava_HOME\src - 用于测试的 Java 文件目录
  • MuJava_HOME\classes - 从 MuJava_HOME\src 中的 Java 文件编译的类目录
  • MuJava_HOME\testset - 用于测试集的目录
  • MuJava_HOME\result - 用于生成的变异体的目录

手动创建这些子目录,或者使用 muJava 类 “mujava.makeMuJavaStructure”。

java mujava.makeMuJavaStructure

潜在问题:我们已经确定了安装 µJava 时可能出现的一些潜在问题。

  • 重要的是 MuJava_HOME 变量不要有尾随斜杠。这会使 µJava 混淆。
  • 如果您的 java 编译器和 JVM 的版本不同,µJava 可能会感到困惑。当计算机上的新应用程序更新 JVM 时,有时会发生这种情况。如果在编译或杀死变异体时出现问题,我们建议删除所有 Java 组件并重新安装最新版本。
  • 如果您的 tools.jar 文件过时(Java 1.4 之前的版本),µJava 的某些部分可能无法正常工作。

2. 用 muJava 生成变异体

重要提示: 您应该在包含 “mujava.config” 文件的目录中运行所有命令。

  1. 将要测试的源文件放入 MuJava_HOME\src 目录。muJava 不会检查编译错误,因此所有 Java 文件都应正确编译。如果要测试的 Java 文件需要其他 Java 文件或类文件,则它们也应放置在 MuJava_HOME\src 中。例如,假设要测试 B,它是 A 的子类。然后,应将 A.java 和 B.java 放入 MuJava_HOME\src。如果文件具有包结构,则应将整个包存储在 MuJava_HOME\src 的子目录中。

  2. 编译 MuJava_HOME\src 中的所有 Java 文件,并将 .class 文件复制到 MuJava_HOME\classes\ 目录中。

  3. 从命令行启动 GUI。使用它生成变异体:

    java mujava.gui.GenMutantsMain
    

    通过在左侧的框中单击来选择要变异的文件。通过选择其框来选择要使用的变异操作符。然后点击 RUN。

    注意: 类变异操作符产生的变异体要少得多。还请注意,许多状态消息会发送到命令窗口,而不是 GUI。

  4. 生成变异体后,可以在 “Class Mutants Viewer” 和 “Traditional Mutants Viewer” 选项卡中查看变异体,如以下两个图所示:

  5. 您可能想知道类的变异版本存储在何处。它们位于 MuJava_HOME\result\ 下。以下示例显示了 result 下的 Stack 目录,其中包含 class_mutants 中的面向对象的变异体和一个单独目录中的传统变异体。

    MuJava_HOME
    └── result└── Stack├── class_mutants└── traditional_mutants
    

    一个简短的 shell 脚本将帮助您运行 µJava。以下是一个用于在 Windows 中创建变异体的示例 shell 脚本:

3. 创建测试集

在 muJava 中,测试集必须是一个 JUnit 测试用例。不支持 JUnit 测试套件。每个测试都是一个包含对类中方法的方法调用序列的方法。测试方法和测试类应具有公共访问权限。

以下是一个名为 testVendingMachine 的用于类 vendingMachine 的 JUnit 测试类示例。JUnit 的 .class 文件应位于目录 MuJava_HOME\testset\ 中。

4. 运行变异体

从另一个 GUI 中运行变异体。使用以下命令启动它:

java mujava.gui.RunTestMain

您应该会看到以下 GUI。您可以选择要运行的变异体集合以及要使用的测试集。“Class Mutants Viewer” 和 “Traditional Mutants Viewer” 选项卡将显示变异体的源视图。您可以设计测试来杀死变异体,方法是找到一个存活的变异体,然后分析程序以确定什么输入将其杀死。请记住,通常只有 5% 到 20% 的变异体是等效的。

在这里插入图片描述

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

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

相关文章

【STM32】STM32学习笔记-串口发送和接收(27)

00. 目录 文章目录 00. 目录01. 串口简介02. 串口相关API2.1 USART_Init2.2 USART_InitTypeDef2.3 USART_Cmd2.4 USART_SendData2.5 USART_ReceiveData 03. 串口发送接线图04. USB转串口模块05. 串口发送程序示例06. 串口发送支持printf07. 串口发送支持printf_v208.09.10. 01.…

Vue3 使用 Teleport 封装 一个 Dialog

文章目录 什么是Teleport ?用法:1. 通过 to 指定传送的位置2. 禁用 teleport3. 共享一个 Teleport封装一个Dialog效果:什么是Teleport ? 是一个内置组件,它可以将一个组件内部的一部分模板“传送”到该组件的 DOM 结构外层的位置去。 简单的说,Telep

NVIDIA深入理解之pynvml库

一、前言 写在前面 该文章是对我之前文章《Fedora上安装NVIDIA闭源显卡驱动》的一个拓展,正好寒假闲的没事干不如加深一下对NVIDIA的了解。Python是当前非常流行的一门编程语言,它以kiss为设计思想,能封装就能封装,给用户提供比…

【Linux Shell】11. 输入/输出 重定向

文章目录 【 1. 重定向简介 】【 2. 输出重定向 】【 3. 输入重定向 】【 4. Here Document 】【 5. /dev/null 文件 】 【 1. 重定向简介 】 大多数 UNIX 系统命令从终端接受输入并将所产生的输出发送回​​到原来输入的终端。一个命令通常从标准输入的地方读取输入&#xff…

信号的互相关计算及时延估计

1. 信号的互相关计算 互相关反映向量x和移位(滞后)向量y之间的相似性。 最直观的解释是:互相关的作用是为了找到信号在哪一时刻与另一信号最像(另一信号为本身时就是自相关)! 滑动求互相关(图…

海康威视摄像头+服务器+录像机配置校园围墙安全侦测区域入侵侦测+越界侦测

一、适用场景 1、校园内,防止课外时间翻越围墙到校外、从校外翻越围墙到校内; 2、通过服务器摄像头的侦测功能及时抓图保存,为不安全因素提供数字化依据; 3、网络录像机保存监控视频,服务器保存抓拍到的入侵与越界&am…

【React】02-如何理解React通过对DOM的模拟,最大限度地减少与DOM的交互

如何理解React通过对DOM的模拟,最大限度地减少与DOM的交互 背景分析关于虚拟DOM 背景 在学习React的过程中,发现很多文档上关于React的高效都有这么一句话的描述——React通过对DOM的模拟,最大限度地减少与DOM的交互,对于我这种前…

mysql服务多实例运行

1、官网下载mysql安装包 https://downloads.mysql.com/archives/community/ 2、解压安装包 tar -zxvf mysql-8.1.0-linux-glibc2.28-aarch64.tar.xz -C /usr/localmv /usr/local/mysql-8.1.0-linux-glibc2.28-aarch64 /usr/local/mysql 3、创建mysql用户组 groupadd…

Java面试汇总——redis篇

1、什么是缓存穿透 ? 怎么解决 ? 缓存穿透是指客户端请求的数据在缓存中和数据库中都不存在,这样缓存就形同虚设(只有数据库查到了,才会让redis缓存,但现在的问题是查不到),会频繁的去访问数据库。 解决…

这款Web剪藏工具绝了,支持10+平台内容剪辑同步!

前言 Web Clipper 是一个开源项目,旨在帮助用户轻松地保存和组织网页内容。它可以作为浏览器插件安装到常见的浏览器中,如Chrome、Firefox 等,用户可以使用它来保存网页、截取文章、添加标签和注释等操作,从而方便地管理和分享自…

任务调度中心

可以服务器配置和权限,分配任务执行。当服务器下线后,任务会被在线服务器接管,当重新上线后会在次执行任务。接管任务的服务器会释放任务。调度过程的实现,可以二次开发。基于 netty tcp 通信开发。 下载地址: http:/…

4.4 TILING FOR REDUCED MEMORY TRAFFIC

我们在CUDA中使用设备内存方面有一个内在的权衡:全局内存大但速度慢,而共享内存小但速度快。一个常见的策略是将数据划分为称为tile的子集,以便每个tile都适合共享内存。tile一词”借鉴了一个类比,即大墙(即全局内存数…

VSCode搭建 .netcore 开发环境

一、MacOS 笔者笔记本电脑上安装的是macOS High Sierra(10.13),想要尝试一下新版本的.netcore,之前系统是10.12时,.netcore 3.1刚出来时安装过3.1版本,很久没更新了,最近.net8出来了,想试一下,…

多模态推荐系统综述:四、模型优化

四、模型优化 由于多模态信息的存在,当多模态编码器和推荐模型一起训练时,模型训练的计算要求大大增加。因此,多模态推荐模型在训练过程中可以分为两类:端到端训练和两步训练。 端到端训练可以利用反向传播获得的每个梯度来更新模…

【算法设计与分析】网络流

目录 max-flow 和 min-cut流网络 Flow network最小割 Min-cut最大流 Max-flow Greedy algorithmFord–Fulkerson algorithm剩余网络 Residual networkFord–Fulkerson algorithm算法流程 最大流最小割理论 max-flow min-cut theorem容量扩展算法 capacity-scaling algorithm时间…

【读书笔记】《我的天才女友》

这套书一共有四本,这个是第一本,作者意大利人埃莱娜费兰特,这个只是她的笔名,至今还不知道这位作者是谁,她以每年一本书的速度出了“那不勒斯四部曲”,这四本书以两个女主人公莉拉和莱农的友情为主线。 莉拉…

ElasticSearch 集群搭建与状态监控cerebro

单机的elasticsearch做数据存储,必然面临两个问题:海量数据存储问题、单点故障问题。为了解决存储能力上上限问题就可以用到集群部署。 海量数据存储问题:将索引库从逻辑上拆分为N个分片(shard),存储到多个节点单点故障问题:将分片数据在不同节点备份 (r…

力扣题:高精度运算-1.3

力扣题-1.3 [力扣刷题攻略] Re:从零开始的力扣刷题生活 力扣题1:43. 字符串相乘 解题思想:类似计算时采用的竖式乘法。首先取得num2的低位,并补齐对应的0,然后与num1进行相乘,然后进行字符串的相加操作。…

腾讯云com域名注册1元条件说明

腾讯云com域名注册优惠价格1元首年,条件是企业新用户,个人新用户注册com域名是33元首年,第二年续费价格85元一年。活动 txybk.com/go/domain-sales 活动打开如下图: 腾讯云com域名注册优惠价格 腾讯云com域名注册原价是85元一年&a…

数据结构—图(下)

文章目录 12.图(下)(4).生成树和最小生成树#1.什么是生成树和最小生成树?i.生成树ii.最小生成树 #2.Prim算法i.算法思想ii.看看例子iii.代码实现 #3.Kruskal算法i.算法思想ii.看看例子iii.代码实现 #4.次小生成树 (5).最短路径问题#1.加权有向图的最短路径问题#2.单…