C变异测试 mutation testing 工具 Milu

最新推荐文章于 2024-08-16 14:23:28 发布
最新推荐文章于 2024-08-16 14:23:28 发布
阅读量2.7k 收藏 4
点赞数 1
分类专栏： 测试技术
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/bigengine/article/details/50641915
版权
本文介绍了在C语言中进行变异测试时的一个工具——Milu，它是一个基于clang的开源项目，由中国开发者创建。文章详细说明了如何在Ubuntu上编译和使用Milu，并提到了其工作原理，包括确定mutation operator、构建AST、变异操作及构建新源文件等步骤。此外，还提供了相关论文以供深入研究。
摘要由CSDN通过智能技术生成

最近在做mutation testing实验时，发现支持传统C语言的工具很少，不像JAVA, 有很多很强大的比如PIT，很早之前出过一个Proteum/IM 2.0, 这个算是老古董了基于LI中间语言的，很多如今的程序是支持不来了

下面推荐一个新的基于clang的工具Milu,中文麋鹿，是一个中国人开发的


git clone https://github.com/yuejia/Milu


最低0.47元/天 解锁文章
变异测试(mutation testing)：一种评估测试用例集错误检测能力的方法
行步至春深
10-03 4010
错误检测能力如何衡量？一个朴素的想法是，对源程序做一些微小的改动，改动后的程序被称作变异程序/变异体。理想的测试脚本会让源程序通过，而拦截住所有的变异程序。
变异测试(MT)_追逐梦想的顾咏丰_新浪博客
Yongfeng's Blog
11-28 793
MT 不单单只是代表着蜕变测试，有时候也可以代表变异测试(Mutation Testing)，值得注意的是变异测试并不是用来检测/测试源程序的，而是一种验证测试集质量的方法。 一、基本概念 Mutation testing is a powerful methodology for evaluating test suite quality. * 说白了，就将源程序(Pare...
仔细考虑：适用于C和C ++的实用突变测试工具
01-30
仔细考虑 Mull是用于基于LLVM / Clang的变异测试的工具，重点关注C和C ++语言。 有关安装和使用的信息，请参阅最新文档： : 加入我们的Discord 这是不和谐频道的邀请链接： : 贡献 这是起点： 引文 @INPROCEEDINGS{8411727, author={A. Denisov and S. Pankevich}, booktitle={2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)}, title={Mull It Over: Mutation Testing Based on LLVM}, year={2018}, volume={}, number={}, pages={25-31}, keywords={just-in-time;program compilers;program testing;program verification;mutations;Mul
软件测试第4章 白盒测试方法（变异测试）
最新发布
我的E家
08-16 697
即：检查一组测试用例准备好不好，发现测试用例/测试数据的弱点。针对微小的程序变化，良好的测试用例/测试数据将能够检测到代码中的缺陷或错误。定义了从原有程序生成差别极小程序（即变体）的转换规则。1987年，奥佛特（Offutt）和金（King）针对FORTRAN77首次定义了22种变异算子。✔️ 若已有测试用例不能杀除所有非等价变异体，则需要额外设计新的测试用例，并添加到测试用例集中，以提高测试充分性。，无论经过多少产品、开发、测试、架构评审，往往是测试用例无法覆盖到的。这正是变异测试的用武之地。
DRAGEN: 硬件和软件共同加速的变异检测工具
weixin_34121304的博客
08-16 204
DRAGEN 这是一篇工具介绍贴，考虑这个工具是要钱的，那些动不动就说别人忘了初心的用户肯定认为我写的是软文，所以这些人就不要继续往下看了。 变异检测的软件目前虽然有很多，SAMtools/BCFtools, GATK, FreeBayes等，但是我看到的大部分文章都是用GATK UG/HC。...
什么是突变测试？
最佳 Java 编程
05-29 1908
最近，我反复提到“ 突变测试 ”一词。 因为可以说这种方法能够以超出代码覆盖范围的方式检测测试安全网的空白，所以我花了一些时间来追赶这个话题，然后尝试一下。 这篇文章总结了我的发现，作为对该主题的快速介绍。 什么是变异测试？ 变异测试评估现有软件测试的质量。 想法是以较小的方式修改（变异）测试所覆盖的代码，并检查现有测试集是否将检测并拒绝更改[MUTTES]。 如果不符合，则意味着测试不...
推荐阅读：变异检测到底应该用什么软件？
weixin_33766805的博客
04-17 351
原文见：Validating generalized incremental joint variant calling with GATK HaplotypeCaller, FreeBayes, Platypus and samtools 说到变异检测，可能大家第一个想到的工具就是GATK Haplot...
突变测试
icyxiaoxiang的专栏
08-22 1750
变异测试（有时也叫做“编译分析”）是一种在细节方面改进程序源代码的软件测试方法。这些所谓的变异，是基于良好定义的变异操作，这些操作或者是模拟典型应用错误（例如：使用错误的操作符或者变量名字），或者是强制产生有效地测试（例如使得每个表达式都等于0）。目的是帮助测试者发现有效地测试，或者定位测试数据的弱点，或者是在执行中很少（或从不）使用的代码的弱点。首创于1970s，变异测试最初是为了定位揭示测
Mutation Testing(变异测试)
Iohboel的博客
11-19 7441
转载自：http://www.cnblogs.com/TongWee/p/4505289.html 变异测试是一种 fault-based 的软件测试技术。这项技术已经广泛研究并使用了三十余年。它为软件测试贡献了一系列方法，工具，和可靠的结果。本文将对变异测试进行深入的调查，分析它的优势和不足之处，并对比几种不同的变异测试方法，提出一些改进的建议。 　　下面用一个例子来解释什么
awesome-mutation-testing：突变测试资源：如何通过引入错误来制作更好的代码
02-02
这个名为"awesome-mutation-testing"的资源库，正如标题和描述所表明的，是关于突变测试的一个综合指南，它提供了丰富的工具、框架和教程，帮助开发者们通过人为引入错误（即“突变”）来检测和改进他们的代码。...
Java MUtation Testing for Eclipse-开源
04-25
Eclipse的Java突变测试插件，JMuTE（Java Mutation Testing for Eclipse），就是这样一个工具，它为开发者提供了一种方便的方式来执行突变测试，以确保他们的JUnit测试用例足够强大。 首先，让我们深入了解突变测试...
变异测试工具mujava的相关jar包
01-13
Mujava（Mutation Java）是一款专门用于Java应用程序的变异测试工具。它的工作原理是利用Java字节码操作来插入变异操作，从而生成程序的变异体。这些变异操作包括修改条件语句、逻辑运算符、赋值语句等，以模拟可能...
mutation-testing:突变测试 - 以使用 Stryker 的示例为特色，Stryker 是 JavaScript 生态系统的框架
08-04
变异测试是一种旨在评估单元测试质量的测试。 这种方法有时也被描述为“基于故障的测试”，因为它故意在软件中制造故障。 变异测试框架的工作原理 对应用程序代码进行了小的语法更改。 每个更改或变异都应用于代码...
mutate_cpp:C ++突变测试环境
05-04
Mutate ++-C ++突变测试环境 是一种通过更改程序源代码（称为“突变”）并检查程序的测试套件是否检测到此突变来检测程序中的错误的技术。 突变被设计为模仿典型的编程错误（例如，一字不漏的错误）。 如果测试套件未注意到此类错误，则可以使用“存活的”突变来创建其他检测程序来检测该错误。 概述 Mutate ++是C ++程序的突变测试环境。 它为您提供以下任务： 创建源代码的变异 为每个突变执行测试套件 评估测试结果 Mutate ++是一个在您的计算机上本地运行的Web应用程序。 所有计算都在本地进行，没有任何人共享数据。 安装 您需要Python 3，可以在或通过操作系统的程序包管理器进行安装。 从该存储库中签出源之后，您需要创建一个并安装所需的软件包： virtualenv -p python3 venv venv/bin/pip install -r requiremen
Mutation Testing/Analysis 突变测试
SUKI547的博客
10-24 3244
突变(mutation)，即基因突变。在遗传学(genetics)上，指的是器官、病毒或者染色体外的其他遗传成分基因的核酸(nucleotide)序列发生改变。基因突变多发生在DNA复制期间。可能的诱发因素是辐射，外伤，病毒，或者空气污染、危险食物带来的有害化学物质的影响，也可能是无从索迹的任何其它原因。 突变测试(mutation testing) , 或称作突变分析、程序突变，它是用于衡量软件...
突变测试_什么是突变测试？
cunhu4317的博客
12-23 798
突变测试 最近，我反复提到“突变测试”一词。 因为可以说这种方法能够以超出代码覆盖范围的方式检测测试安全网的空白，所以我花了一些时间来追赶这个话题，然后尝试一下。 这篇文章总结了我的发现，作为对该主题的快速介绍。 什么是变异测试？ 变异测试评估现有软件测试的质量。 想法是以较小的方式修改(变异)测试所涵盖的代码，并检查现有测试集是否将检测并拒绝更改[MUTTES]。 如果不符合，则意味着测试不...
突变检测软件 测试数据库,突变测试—通过一个简单的例子快速学习这种有趣的测试技术...
weixin_42347600的博客
07-22 509
什么是突变测试？突变测试是一种基于故障的测试技术，这种技术让软件程序的变量都受限于测试数据集。这样做是为了确定测试集在隔离偏差方面的有效性。这听起来有一些复杂，不是吗？让我们从一个示例学习：这样说吧，现在有一个可以让新用户注册的医院网站。它要读取病人的生日或者年龄。如果病人大于14岁，就会分配一个普通医师作为他们的主要医生。为了实现这个，将会调用那个可以查找这类医生的“普通医师”函数。现在，可能还...
TinyOS论文07：MILU :
a362523的博客
12-10 914
MiLu：一个可定制、运行时优化、高阶的C语言变异测试工具； 1. MiLu：C语言变异测试工具 1、一阶 + 高阶变异测试 2、之前的工具是将所有可能的变异算子应用到测试中；而MiLu可以指定应用到测试中的变异算子； 3、为减少运行时开销，MiLu使用“测试治理(test harness)”技术将变异体和测试集嵌入到测试程序中。 2. background介绍了现有的一些变异测试工具
评论 3
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值