C变异测试 mutation testing 工具 Milu

最新推荐文章于 2024-07-31 17:00:09 发布
最新推荐文章于 2024-07-31 17:00:09 发布
阅读量2.6k 收藏 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元/天 解锁文章
Bigengine
关注
  • 1
    点赞
  • 踩
  • 4
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
专栏目录
变异测试(mutation testing)：一种评估测试用例集错误检测能力的方法
行步至春深
10-03 3816
错误检测能力如何衡量？一个朴素的想法是，对源程序做一些微小的改动，改动后的程序被称作变异程序/变异体。理想的测试脚本会让源程序通过，而拦截住所有的变异程序。
仔细考虑：适用于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
DRAGEN: 硬件和软件共同加速的变异检测工具
weixin_34121304的博客
08-16 192
DRAGEN 这是一篇工具介绍贴，考虑这个工具是要钱的，那些动不动就说别人忘了初心的用户肯定认为我写的是软文，所以这些人就不要继续往下看了。 变异检测的软件目前虽然有很多，SAMtools/BCFtools, GATK, FreeBayes等，但是我看到的大部分文章都是用GATK UG/HC。...
AI系统测试方法｜变异测试的流程及优化技术
最新发布
daopuyun的博客
07-31 655
在变异测试中，在原程序中注入人为设计的语法错误的过程称为变异，被测试的程序基于一定的代码转换规则即变异算子，对源程序中的特定代码元素进行变异形成源程序的衍生程序即变异体。如果一个测试用例能够检测到一个简单变异体（即小的、单一的代码变更）的缺陷，那么这个测试用例很可能检测到更为复杂的变异体（即多个小的代码变更综合起来的结果）的缺陷。在变异测试中，变异体的生成技术即变异技术是核心。本文将重点探讨变异测试在AI系统测试中的执行流程，呈现一个完整的测试框架，以及优化变异测试的流程、提高测试效率的方法。
什么是突变测试？
最佳 Java 编程
05-29 1879
最近，我反复提到“ 突变测试 ”一词。 因为可以说这种方法能够以超出代码覆盖范围的方式检测测试安全网的空白，所以我花了一些时间来追赶这个话题，然后尝试一下。 这篇文章总结了我的发现，作为对该主题的快速介绍。 什么是变异测试？ 变异测试评估现有软件测试的质量。 想法是以较小的方式修改（变异）测试所覆盖的代码，并检查现有测试集是否将检测并拒绝更改[MUTTES]。 如果不符合，则意味着测试不...
推荐阅读：变异检测到底应该用什么软件？
weixin_33766805的博客
04-17 336
原文见：Validating generalized incremental joint variant calling with GATK HaplotypeCaller, FreeBayes, Platypus and samtools 说到变异检测，可能大家第一个想到的工具就是GATK Haplot...
突变测试
icyxiaoxiang的专栏
08-22 1720
变异测试（有时也叫做“编译分析”）是一种在细节方面改进程序源代码的软件测试方法。这些所谓的变异，是基于良好定义的变异操作，这些操作或者是模拟典型应用错误（例如：使用错误的操作符或者变量名字），或者是强制产生有效地测试（例如使得每个表达式都等于0）。目的是帮助测试者发现有效地测试，或者定位测试数据的弱点，或者是在执行中很少（或从不）使用的代码的弱点。首创于1970s，变异测试最初是为了定位揭示测
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
突变测试 什么是突变测试？ 变异测试是一种旨在评估单元测试质量的测试。 这种方法有时也被描述为“基于故障的测试”，因为它故意在软件中制造故障。 变异测试框架的工作原理 对应用程序代码进行了小的语法更改。 每个更改或变异都应用于代码的单独副本，从而创建许多版本。 应用程序代码的这些版本被描述为“突变体”。 单元测试套件针对原始应用程序代码和所有突变副本运行。 单元测试结果在原始应用程序代码和变体之间进行比较。 如果单元测试结果不同，则称该突变体被“杀死”。 如果单元测试结果相同，则称突变体“存活”了。 被杀死和幸存的突变体的总数与每个幸存突变体的代码突变一起显示。 这是一个示例，其中 if 语句被修改为始终等于 false。 尽管有这个变化，单元测试结果并没有改变。 这表明单元测试很差，没有涵盖所有逻辑情况。 Mutator: IfStatement - if(r
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 3185
突变(mutation)，即基因突变。在遗传学(genetics)上，指的是器官、病毒或者染色体外的其他遗传成分基因的核酸(nucleotide)序列发生改变。基因突变多发生在DNA复制期间。可能的诱发因素是辐射，外伤，病毒，或者空气污染、危险食物带来的有害化学物质的影响，也可能是无从索迹的任何其它原因。 突变测试(mutation testing) , 或称作突变分析、程序突变，它是用于衡量软件...
突变测试_什么是突变测试？
cunhu4317的博客
12-23 762
突变测试 最近，我反复提到“突变测试”一词。 因为可以说这种方法能够以超出代码覆盖范围的方式检测测试安全网的空白，所以我花了一些时间来追赶这个话题，然后尝试一下。 这篇文章总结了我的发现，作为对该主题的快速介绍。 什么是变异测试？ 变异测试评估现有软件测试的质量。 想法是以较小的方式修改(变异)测试所涵盖的代码，并检查现有测试集是否将检测并拒绝更改[MUTTES]。 如果不符合，则意味着测试不...
突变检测软件 测试数据库,突变测试—通过一个简单的例子快速学习这种有趣的测试技术...
weixin_42347600的博客
07-22 487
什么是突变测试？突变测试是一种基于故障的测试技术，这种技术让软件程序的变量都受限于测试数据集。这样做是为了确定测试集在隔离偏差方面的有效性。这听起来有一些复杂，不是吗？让我们从一个示例学习：这样说吧，现在有一个可以让新用户注册的医院网站。它要读取病人的生日或者年龄。如果病人大于14岁，就会分配一个普通医师作为他们的主要医生。为了实现这个，将会调用那个可以查找这类医生的“普通医师”函数。现在，可能还...
TinyOS论文07：MILU :
a362523的博客
12-10 888
MiLu：一个可定制、运行时优化、高阶的C语言变异测试工具； 1. MiLu：C语言变异测试工具 1、一阶 + 高阶变异测试 2、之前的工具是将所有可能的变异算子应用到测试中；而MiLu可以指定应用到测试中的变异算子； 3、为减少运行时开销，MiLu使用“测试治理(test harness)”技术将变异体和测试集嵌入到测试程序中。 2. background介绍了现有的一些变异测试工具
软件测试基础知识
充实喜乐
04-30 953
收集了一些基础知识留下备份
PIT -- Real world mutation testing
比昂日记
05-29 1584
01Mutation Test（突变测试） : 一种评估测试质量的的新方法自动植入Faults(or mutations)，观察测试执行情况，如果测试失败，则mutati...
Mutation testing
06-26
Mutation testing是一种软件测试技术，也称为变异测试或基因测试。它的基本思想是通过修改程序源代码中的特定部分（如变量、表达式或控制结构），创建一系列微小的变异体（mutations）。然后，测试用例被应用到这些...
评论 3
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值