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

2024-01-09 02:20

本文主要是介绍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% 的变异体是等效的。

在这里插入图片描述

这篇关于test mutation-03-变异测试 mujava Mutation 入门的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/585642

相关文章

Java实现字节字符转bcd编码

《Java实现字节字符转bcd编码》BCD是一种将十进制数字编码为二进制的表示方式,常用于数字显示和存储,本文将介绍如何在Java中实现字节字符转BCD码的过程,需要的小伙伴可以了解下... 目录前言BCD码是什么Java实现字节转bcd编码方法补充总结前言BCD码(Binary-Coded Decima

SpringBoot全局域名替换的实现

《SpringBoot全局域名替换的实现》本文主要介绍了SpringBoot全局域名替换的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录 项目结构⚙️ 配置文件application.yml️ 配置类AppProperties.Ja

Java使用Javassist动态生成HelloWorld类

《Java使用Javassist动态生成HelloWorld类》Javassist是一个非常强大的字节码操作和定义库,它允许开发者在运行时创建新的类或者修改现有的类,本文将简单介绍如何使用Javass... 目录1. Javassist简介2. 环境准备3. 动态生成HelloWorld类3.1 创建CtC

JavaScript中的高级调试方法全攻略指南

《JavaScript中的高级调试方法全攻略指南》什么是高级JavaScript调试技巧,它比console.log有何优势,如何使用断点调试定位问题,通过本文,我们将深入解答这些问题,带您从理论到实... 目录观点与案例结合观点1观点2观点3观点4观点5高级调试技巧详解实战案例断点调试:定位变量错误性能分

Java实现将HTML文件与字符串转换为图片

《Java实现将HTML文件与字符串转换为图片》在Java开发中,我们经常会遇到将HTML内容转换为图片的需求,本文小编就来和大家详细讲讲如何使用FreeSpire.DocforJava库来实现这一功... 目录前言核心实现:html 转图片完整代码场景 1:转换本地 HTML 文件为图片场景 2:转换 H

Java使用jar命令配置服务器端口的完整指南

《Java使用jar命令配置服务器端口的完整指南》本文将详细介绍如何使用java-jar命令启动应用,并重点讲解如何配置服务器端口,同时提供一个实用的Web工具来简化这一过程,希望对大家有所帮助... 目录1. Java Jar文件简介1.1 什么是Jar文件1.2 创建可执行Jar文件2. 使用java

SpringBoot实现不同接口指定上传文件大小的具体步骤

《SpringBoot实现不同接口指定上传文件大小的具体步骤》:本文主要介绍在SpringBoot中通过自定义注解、AOP拦截和配置文件实现不同接口上传文件大小限制的方法,强调需设置全局阈值远大于... 目录一  springboot实现不同接口指定文件大小1.1 思路说明1.2 工程启动说明二 具体实施2

Java实现在Word文档中添加文本水印和图片水印的操作指南

《Java实现在Word文档中添加文本水印和图片水印的操作指南》在当今数字时代,文档的自动化处理与安全防护变得尤为重要,无论是为了保护版权、推广品牌,还是为了在文档中加入特定的标识,为Word文档添加... 目录引言Spire.Doc for Java:高效Word文档处理的利器代码实战:使用Java为Wo

SpringBoot日志级别与日志分组详解

《SpringBoot日志级别与日志分组详解》文章介绍了日志级别(ALL至OFF)及其作用,说明SpringBoot默认日志级别为INFO,可通过application.properties调整全局或... 目录日志级别1、级别内容2、调整日志级别调整默认日志级别调整指定类的日志级别项目开发过程中,利用日志

Java中的抽象类与abstract 关键字使用详解

《Java中的抽象类与abstract关键字使用详解》:本文主要介绍Java中的抽象类与abstract关键字使用详解,本文通过实例代码给大家介绍的非常详细,感兴趣的朋友跟随小编一起看看吧... 目录一、抽象类的概念二、使用 abstract2.1 修饰类 => 抽象类2.2 修饰方法 => 抽象方法,没有