Mujava 工具的简单使用

首先下载openjava.jar和mujava.jar,以及自己手写一个mujava.config指向存放mujava的目录,并将这些文件放在mujava目录下。此时,基本的mujava环境就搭建好了。

  1. 分别创建src(存放源码文件)、classes(存放源码文件的编译结果)、result(存放变异结果)、testset(Junit测试文件和测试文件编译结果)
  2. 创建两个脚本,分别命名为GenMutants.bat(生成变异结果)、RunTest.bat(对变异结果进行测试)。两个文件的源码见Part 4 Source Code。
  3. 首先执行GenMutants.bat,此时会弹出一个GUI界面,如下:


    它会自动查找classes目录下的class文件,然后依次按照图示顺序点击按钮即可生成变异体(存放在result目录下)。此时可以点击Traditional Mutants Viewer和Class Mutants Viewer可以查看传统变异和类变异的结果,如下图:

    图 1 BackPack传统变异结果

图 2 BackPack类变异结果

图 3 BubbleSort传统变异结果

图 4 BubbleSort类变异结果

  1. 执行RunTest.bat,此时也会有一个GUI界面,其作用是测试之前编译的结果是否能够满足测试用例。选择要测试的类和其对应的测试类,点击Run按钮即可。如下图:

图 5 BackPack杀死率

图 6 BubbleSort杀死率

脚本:

GenMutants.bat

set CLASSPATH=%CLASSPATH%;.;C:\MuJava\mujava.jar;C:\MuJava\openjava.jar;D:\Java\jdk1.8.0_102\lib\tools.jar;

cd C:\MuJava

java mujava.gui.GenMutantsMain

RunTest.bat

set CLASSPATH=C:\MuJava\mujava.jar;C:\MuJava\openjava.jar;D:\Java\jdk1.8.0_102\lib\tools.jar;C:\MuJava\junit-4.13.1.jar;C:\MuJava\hamcrest-all-1.3.jar;

cd C:\MuJava

java mujava.gui.RunTestMain > output.txt

本文发布于:2024.05.25.

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

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

相关文章

每日一题 求和

1.题目解析 求和_牛客题霸_牛客网 (nowcoder.com) 这一题,主要描述的就是求满足和为m的子序列,对与子序列的问题可以使用决策树。 2.思路分析 决策树如下图所示: 递归结束条件: 当当前和 sum 等于目标和 m 时,说明找到了一个满…

如何在华为手机上恢复已删除的视频[4种解决方案]

概括 在数字媒体时代,智能手机已成为我们的个人金库,存储以视频形式捕捉的珍贵记忆。然而,意外删除这些珍贵的文件可能会是一次令人心痛的经历。对于华为手机用户来说,由于删除或其他意外导致视频丢失尤其令人痛苦。但不用担心&a…

Python 拼图游戏

拼图游戏(puzzle)是一种常见的益智游戏,玩家通过拖动图块来正确拼接成完整的图片。 由一张原图,分割成图块,拼图块的大小将会根据行列数自动调整,然后随机打乱,玩家通过拖拽图块,最后复原原图。 &#x1f…

idea使用鼠标滚轮进行字体大小缩放

idea使用鼠标滚轮进行字体大小缩放 使用快捷键CtrlAltS进入到设置页面 在左上角搜索框输入“increase”,在左侧的Keymap中右击“Increase Fort Size”,点击“add mouse shortcut”,然后录入我们要设置的快捷键,比如我是点击ctrl鼠…

基于SpringBoot+Vue+Mysql的实验室低值易耗品管理系统

博主介绍: 大家好,本人精通Java、Python、C#、C、C编程语言,同时也熟练掌握微信小程序、Php和Android等技术,能够为大家提供全方位的技术支持和交流。 我有丰富的成品Java、Python、C#毕设项目经验,能够为学生提供各类…

Django 里的app概念

在 vs code 里的 Terminal 里运行下面的命令来创建一个项目文件夹 django-admin startproject [新项目名称]进入到刚刚创建的新项目的文件夹,在 urls.py 文件里进行修改 """ URL configuration for mywebsite project.The urlpatterns list routes…

AtCoder Beginner Contest 354 (ABCDEFG题)视频讲解

2024年5月19日补充G题。 A - Exponential Plant Problem Statement Takahashi is growing a plant. Its height at the time of germination is 0 c m 0\,\mathrm{cm} 0cm. Considering the day of germination as day 0 0 0, its height increases by 2 i c m 2^i\,\mat…

看一遍就理解:MVCC原理详解

介绍 MVCC(Multi-Version Concurrency Control,多版本并发控制)是一种用于实现数据库并发访问控制的机制。它允许多个用户同时读写同一数据项,从而提高了数据库在高并发环境下的性能和响应速度。以下是具体介绍: 基本…

前端基础入门三大核心之HTML篇:深入解读div标签与HTML5的现代魅力

前端基础入门三大核心之HTML篇:深入解读div标签与HTML5的现代魅力 一、div标签:布局中的万金油1.1 div标签基本概念1.2 div标签的使用1.3 实践技巧 二、HTML5:重塑网页结构的新篇章2.1 HTML5简介2.2 语义化标签2.3 多媒体支持2.4 Canvas绘图 …

Python代码注释的艺术与智慧

新书上架~👇全国包邮奥~ python实用小工具开发教程http://pythontoolsteach.com/3 欢迎关注我👆,收藏下次不迷路┗|`O′|┛ 嗷~~ 目录 一、引言:注释的必要性 二、注释的误区:不是越多越好 过度注释的问题…

服务器端口号怎么看?如何查看服务器端口号呢?有哪些需要注意的?

简单来说,端口号就是计算机与外界通讯交流的出口,每个端口都有不同的编号,也就是“端口号”。它们是唯一的,用于标识不同的服务和应用程序。通过端口号,我们可以知道哪些服务正在运行,以及如何与它们进行通…

【Linux系统编程】进程概念、进程排队、进程标识符、进程状态

目录 什么是进程? 浅谈进程排队 简述进程属性 进程属性之进程标识符 进程操作之进程创建 初识fork fork返回值 原理角度理解fork fork的应用 进程属性之进程状态 再谈进程排队 进程状态 运行状态 阻塞状态 挂起状态 Linux下的进程状态 “R”(运行状…

洗地机哪个牌子最好用?2024洗地机排行榜

随着人们生活水平的提升,智能清洁家电已经成为日常生活中的必需品。如今的清洁家电市场上,洗地机、吸尘器和扫地机器人等设备各有其独特的功能和优势。洗地机结合了扫、拖、吸和自清洁等多种功能,不仅可以处理干湿垃圾,还能高效清…

批量修改数组的属性

首先,有这个对象 let a {id: 1,name: 张三,age: 18,sex: 0 } 需求:同时修改name,id,并添加一个新属性c 常规写法: a.id 2; a.name 李四; a.c 1; 但这种写法遇到批量就会很麻烦 解决方法: 方法1: 使用Object.as…

工业路由器在新能源数字化中的应用:重塑能源行业的未来

随着全球对可再生能源和能源效率的追求日益加强,新能源数字化已成为推动行业发展的关键因素。在这一变革的浪潮中,工业路由器以其卓越的性能和独特的功能,成为新能源数字化不可或缺的核心组件。本文将深入探讨工业路由器在新能源数字化中的应…

解决“unknown shorthand flag: ‘d‘ in -d‘”错误

前言 在使用Docker Compose部署应用时,你可能遇到过一条令人困惑的错误信息:“unknown shorthand flag: ‘d’ in -d”。这通常发生在尝试以守护进程模式启动容器时,而使用的命令格式与你的Docker版本不兼容。本文旨在深入解析这一问题根源&…

需求分析简介

为了开发出真正满足用户需求的软件产品,首先必须知道用户的需求。对软件需求的深入理解是软件开发工作获得成功的前提条件,不论人们把设计和编码工作做得如何出色,不能真正满足用户需求的程序只会令用户失望,给开发者带来烦恼。 …

Sql Server 调用接口

首先创建一个通用请求接口的存储过程 create PROCEDURE [GetHttpResponse]url NVARCHAR(MAX), -- 请求地址jsonBody NVARCHAR(MAX), -- 请求BodystatusCode INT OUTPUT, -- 状态responseText NVARCHAR(MAX) OUTPUT -- 返回响应数据 AS BEGINBEGIN TRY-- 创建一个…

29.修改idea中git的提交记录上的提交名

步骤如下 : (1)打开您的IDEA,点击打开最下方的Terminal终端 (2)输入以下命令,并回车执行 2.1查看当前git的用户名命令: git config user.name 2.2更改用户名,在双引号…

使用Golang开发一个用于批量删除文件的命令行程序

核心代码 package cmdimport ("fmt""zdpgo_cobra""zdpgo_file" )func init() {rootCmd.AddCommand(deleteFileCmd)deleteFileCmd.Flags().StringVarP(&dirPath, "dir", "d", ".", "指定要删除的目录&qu…