mujava的配置和运行Demo

MuJava提供的方法级别的7类变异算子总结 一共有3个操作:replace, delete, and insert. 针对6类基本运算符:(1) arithmetic operator, (2) relational operator, (3) conditional operator, (4) shift operator, (5) logical operator, and (6) assignment. 阅读详情

因为的毕设是做面向变异测试的自动化测试用例生成研究的,需要通过Mujava工具去生成java类的方法的变异体。以下是当时的配置环境和流程。

开发环境:

java环境:jdk1.7(jdk1.6是会报错的)

IDE环境: elipse3.4,

操作系统 :windows;

具体操作:(本机为例)

1.配置Mujava,设置环境变量,,放在c盘根目录下:

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

2.设置mujava的工作目录:设置config.dat MuJava_HOME = D:\Mujava;
mujava工作目录

3.将待测java文件和.class文件放进相应目录中:

目录说明

4.运行命令行:进入mujava.jar目下下,启动主界面:
命令行参数

5.选择相应的java文件,并选择变异算子,店家generate:生成变异体:
生成变异体

6.将工作目下的变异体添加到工程中:运行工程里面Adanced.java里面的addMutants()方法:
这里写图片描述

mu:Java和其他实用程序中的Underscore.js类型函数 亩 Java和其他实用程序中的Underscore.js类型函数 这基本上具有将underscore.js函数移植到Java的功能。 需要Java 8。 到目前为止,我有一个单例函数。 它使用在“有效Java”中找到的double null检查模式的变体。 我有一个记忆功能。 我有groupBy作为收集者。 在我写完它之后,我注意到它们已经放在收集器中,但是我的对象是null友好的。 他们不是。 我编写了一个groupby,将项目与列表中的谓词进行匹配。 我有indexBy,类似于番石榴的uniqueIndex。 我写了一个转发流,也写了一个在地图上执行功能的类型。 立即下载

相关推荐

muJava配置与例子

muJava配置与例子

mujava工具使用

因为要做一个简单的mutation testing的实验,要到了mujava下面就mujava的使用情况作个简单的总结 mujava是进行java程序mutation testing的一个开源工具。 1、下载mujava的相关包,mujava.jar,openjava2005.jar和mujava.config网址是http://cs.gmu.edu/~offutt/mujava/#Links

zhymxt的专栏 4317

mujava 所需jar包和config文件

mujava 所需jar包和config文件

软件测试——使用mujava测试过程中

软件测试中变异测试作业流程

Blackoutdragon的博客 965

muJava配置与示例

muJava配置与示例

edu.ncsu.muclipse_1.3.0.jar

edu.ncsu.muclipse_1.3.0.jar变异体生成工具,官网的挂了

变异测试工具配置-muclipse

变异测试是通过改变被测对象的源码,比较单元测试用例的结果来

chenjiazhu的专栏 3343

muclipse1.3.0

edu.ncsu.muclipse_1.3.0.jar

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

如果要测试的 Java 文件需要其他 Java 文件或类文件,则它们也应放置在 MuJava_HOME\src 中。µJava 系统要求修改 Java CLASSPATH,以包括 µJava jar、openjava jar、JUnit 库和 Java tools.jar 文件。以下示例显示了 result 下的 Stack 目录,其中包含 class_mutants 中的面向对象的变异体和一个单独目录中的传统变异体。在µJava中,对待测类的测试被编码在单独的类中,这些类调用待测类的方法。

1228

图像超分辨率在医学影像中的应用:如何用深度学习提升CT/MRI图像质量

本文探讨了深度学习驱动的图像超分辨率技术在医学影像(如CT/MRI)质量提升中的应用。文章分析了医学图像超分辨率在提升诊断信息含量、平衡保真度与临床相关性方面的独特挑战,并详细介绍了如何针对3D体数据特点定制模型架构、设计病理感知损失函数,以及解决高质量配对数据稀缺的策略。通过实战案例,阐述了从数据模拟、模型训练到临床评估的完整流程,旨在为医学影像的清晰化与诊断精准化提供有效解决方案。

weixin_29063681的博客 523

从实习生到独立上手:我是如何用海思PQTool搞定IPC图像调试的

本文分享了从实习生到独立使用海思PQTool进行IPC图像调试的成长历程。通过工具搭建、核心参数调整和实战案例,详细介绍了如何高效解决图像质量问题,特别强调了ISP调试中的关键参数和实用技巧,适合刚入门的图像调试工程师参考。

weixin_33756596的博客 312

使用muJava进行变异测试

µJava (muJava)是针对Java程序的变异测试系统

Kw学编程 9852

【最全】ISTQB- FL模拟题(含答案)

汇总收集的所有ISTQB基础级考题和答案

maoxuexue的博客 1万+

mujava 软件测试实验报告

一、需求分析(描述具体需求) 1.Install MuJava. The instruction of how to install and use Mujava can be seen in https://cs.gmu.edu/~offutt/mujava/. 2.Two small programs are given for your task. BubbleS...

weixin_33670786的博客 780

从球谐函数到哈希编码:Instant-NGP如何重构NeRF的数学基础

本文深入解析了Instant-NGP如何通过多分辨率哈希编码重构NeRF的数学基础,显著提升训练速度和渲染效率。对比传统球谐函数,哈希编码在计算复杂度、频率适应性和内存访问效率上具有明显优势,为实时神经渲染技术开辟了新方向。

weixin_29240711的博客 419

如何在iPhone上本地运行SmolVLM?5亿参数模型实战指南(附Swift代码)

本文详细介绍了如何在iPhone上本地部署和运行轻量高效的SmolVLM多模态模型。通过实战指南,分享了使用Swift和MLX框架进行环境配置、模型加载、内存优化以及实现实时图像分析与文本生成的完整流程,帮助开发者在移动端高效运行AI视觉语言模型。

echo99的专栏 654

Mujava 工具的简单使用

首先下载openjava.jar和mujava.jar,以及自己手写一个mujava.config指向存放mujava的目录,并将这些文件放在mujava目录下。此时,基本的mujava环境就搭建好了。图 3 BubbleSort传统变异结果。图 4 BubbleSort类变异结果。图 2 BackPack类变异结果。图 6 BubbleSort杀死率。本文发布于:2024.05.25.图 5 BackPack杀死率。

溡漪幽博客 687

YOLOv8改进 | Neck篇 | Slim-Neck替换特征融合层实现超级涨点 (又轻量又超级涨点)

本文给大家带来的改进机制是Slim-neck提出的Neck部分,Slim-neck是一种设计用于优化卷积神经网络中neck部分的结构。在我们YOLOv8中,neck是连接主干网络(backbone)和头部网络(head)的部分,负责特征融合和处理,以便提高检测的准确性和效率。亲测在小目标检测和大尺度目标检测的数据集上都有大幅度的涨点效果(mAP直接涨了大概有0.4左右。同时本文对Slim-Neck的框架原理进行了详细的分析,不光让大家会添加到自己的模型在写论文的时候也能够有一定的参照。

Snu77的博客 1万+

Java环境变量配置

JAVA_HOME D:\Codes\Java\jdk1.8.0_171 //JDK的安装路径 CLASSPATH .;%JAVA_HOME%\lib\dt.jar;%JAVA_HOME%\lib\tools.jar //class文件路径 Path %JAVA_HOME%\bin //java.exe的路径 %JAVA_HOME%\jre\bin //JR...

just memo 219

核心组件大换血:Backbone与Neck魔改篇:YOLO26结合StarNet结构:2026星状网络在YOLO生态的即插即用实战

本文将介绍如何将StarNet作为Backbone替换YOLO26原生架构,以提升边缘设备上的目标检测性能。文章首先分析了YOLO26在特定场景下的精度瓶颈,指出其通用Backbone设计存在不足。随后深入解析StarNet的核心创新——星操作(Star Operation),这一低维计算却能获得高维特征表达的数学魔术,以及其极简的StarBlock模块设计。通过对比YOLO26原生架构的三大创新与痛点,作者提出两种替换策略:完整替换Backbone或局部替换+Neck联调。文中提供了StarNet核心代码

ZDQ58818的博客 289

西门子S7-1200PLC与FANUC机器人进行PROFINET IO通信的具体方法和步骤详解

西门子S7-1200PLC与FANUC机器人进行PROFINET IO通信的具体方法和步骤详解

Robot_PLC_HMI_Automation 1万+

mujava

一、介绍 1、变异测试 在源代码的基础上进行细节性的改变,进行变异,从而改进程序源代码的一种fault-based的软件测试方法。 所谓变异,是基于良好定义的变异操作(模拟典型应用错误,例如,错误的操作符或者变量名字;或是强制产生有效的测试,例如,使每个表达式都等于0)。 变异测试的目的在于帮助测试者发现有效的测试,评价测试数据集的完备性,定位测试数据的弱点,并对其改善。在产生的变异...

weixin_30615767的博客 417

汉书HE8,好用的汇编代码编写工具

汉书HE8,好用的汇编代码编写工具早期编写汇编代码所用功能强大

变异测试muJava的使用

准备文件 mujava.jar openjava.jar mujava.config 官网下载地址:https://cs.gmu.edu/~offutt/mujava/#Links. junit-4.10 注意:junit的版本可以是4.11及以上,但是4.11及以上版本不再包含hamcrest,因此使用时必须导入hamcrest-core-1.3.jar,否则运行会报错 java.lang.N...

sinat_36505108的博客 1223

jre9下载 jdk9

(Java SE Runtime Environment 9.0) 9.0u175 官方最新版 【x86|x64】

SIMATIC S7-1200, S7-1500 PID 控制[手册]

SIMATIC S7-1200, S7-1500 PID 控制[手册]

上一篇: Java中的Integer、Long等实例的比较
下一篇: Leetcode学习笔记
四蛋0000
博客等级 码龄15年 2粉丝 9原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值