C变异测试 mutation testing 工具 Milu

最新推荐文章于 2025-10-22 15:21:00 发布
原创 最新推荐文章于 2025-10-22 15:21:00 发布 · 2.8k 阅读 · 4 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文介绍了在C语言中进行变异测试时的一个工具——Milu，它是一个基于clang的开源项目，由中国开发者创建。文章详细说明了如何在Ubuntu上编译和使用Milu，并提到了其工作原理，包括确定mutation operator、构建AST、变异操作及构建新源文件等步骤。此外，还提供了相关论文以供深入研究。

最近在做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 4452
错误检测能力如何衡量？一个朴素的想法是，对源程序做一些微小的改动，改动后的程序被称作变异程序/变异体。理想的测试脚本会让源程序通过，而拦截住所有的变异程序。
仔细考虑：适用于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
TinyOS论文07：MILU :
a362523的博客
12-10 1077
MiLu：一个可定制、运行时优化、高阶的C语言变异测试工具； 1. MiLu：C语言变异测试工具 1、一阶 + 高阶变异测试 2、之前的工具是将所有可能的变异算子应用到测试中；而MiLu可以指定应用到测试中的变异算子； 3、为减少运行时开销，MiLu使用“测试治理(test harness)”技术将变异体和测试集嵌入到测试程序中。 2. background介绍了现有的一些变异测试工具
聊聊变异测试
最新发布
2401_88751289的博客
10-22 1071
正如你所看到的，尽管为达到代码覆盖率而构建的测试集会通过代码执行类似的路径，但变异测试指标允许对测试应执行的验证进行更具体的描述。这是杀死的变异体与变异体总数的比率。在多数软件测试方法中，很难预判能否在测试过程中发现缺陷，往往直到这些缺陷在后续的测试环节被发现，甚至是更糟的情况下，在生产环境中出现时才会被注意到。随着工程师越来越多地采用更自动化的软件验证方法，以及在不断缩短的发布周期中对更高品质的软件输出的需求日益增长，变异测试帮助我们退一步评估，我们是否真的应该对我们的测试充满如此信心。
【bioinfo】变异检测软件汇总
lillianqdzpw
10-15 2712
考虑了测序数据的复杂性，如测序深度、碱基质量和比对质量等。Pindel新文献：https://github.com/xjtu-omics/pindel。软件地址：https://github.com/freebayes/freebayes。：一款高效的变异检测软件，适用于多种类型的变异检测，包括SNP、INDEL等。SyRi、Platypus、LUMPY、RADAR、Sniffles、MosaicSuite、SVIM、SomaticSniper、SomaticSeq、CNVkit。
变异测试工具Pitest（maven配置），并解决无法加载主类问题 INFO : MINION : Error: Could not find or load main class org.
ibo123的博客
08-16 4277
本地电脑环境 window10 jdk1.8 maven 3.5.4 IDEA 2020.1 首先配置好maven环境 这里面有一些坑，可以看我的另一篇博客，踩过的坑希望大家不要在踩了。 https://blog.youkuaiyun.com/ibo123/article/details/108034402 无法加载主类的问题在于你的maven环境没有进行全局配置，请务必配置好全局maven。要不然IDEA会自动加载默认的maven。 1 构建一个简单的maven项目 file -> project ->
DRAGEN: 硬件和软件共同加速的变异检测工具
weixin_34121304的博客
08-16 277
DRAGEN 这是一篇工具介绍贴，考虑这个工具是要钱的，那些动不动就说别人忘了初心的用户肯定认为我写的是软文，所以这些人就不要继续往下看了。 变异检测的软件目前虽然有很多，SAMtools/BCFtools, GATK, FreeBayes等，但是我看到的大部分文章都是用GATK UG/HC。...
【亲测免费】 Cosmic Ray: Python的变异测试工具
gitblog_00315的博客
11-14 519
Cosmic Ray: Python的变异测试工具 项目基础介绍和主要编程语言 Cosmic Ray 是一个专为 Python 3 设计的变异测试工具。变异测试是一种通过在源代码中引入微小变化来评估测试套件有效性的方法。Cosmic Ray 通过自动生成这些变化并运行测试套件来帮助开发者发现测试覆盖率不足的区域，从而提高代码的健壮性和可靠性。 项目核心功能 Cosmic Ray 的核心功能包括： ...
探索Vary：一款高效、灵活的Python代码变异测试工具
gitblog_00022的博客
04-25 523
探索Vary：一款高效、灵活的Python代码变异测试工具 去发现同类优质开源项目:https://gitcode.com/ 项目简介 是一个由Ucas团队开发的Python库，主要用于自动化代码变异测试。它通过引入有意的程序错误（即“突变”）到源代码中，然后检查原有测试套件是否能够捕获这些错误，从而帮助开发者提高测试覆盖率和代码质量。 技术分析 1. 突变生成器: Vary的核心在于其强大的突变...
什么是突变测试？
最佳 Java 编程
05-29 2053
最近，我反复提到“ 突变测试 ”一词。 因为可以说这种方法能够以超出代码覆盖范围的方式检测测试安全网的空白，所以我花了一些时间来追赶这个话题，然后尝试一下。 这篇文章总结了我的发现，作为对该主题的快速介绍。 什么是变异测试？ 变异测试评估现有软件测试的质量。 想法是以较小的方式修改（变异）测试所覆盖的代码，并检查现有测试集是否将检测并拒绝更改[MUTTES]。 如果不符合，则意味着测试不...
test mutation-02-变异测试 mutate-test-kata入门介绍
01-08 1688
由于测试质量低，仅仅通过单元测试和高单元测试覆盖率数字可能会给人一种虚假的安全感。如何使用变异测试和常见的测试异味（test smells）来识别问题点。如何解决这些问题。代码卡塔是一种编程练习，通过实践帮助程序员磨练他们的技能。代码卡塔通常被设置为一系列单元测试，这些测试会失败。你的任务是编写代码使它们通过。这个想法灵感来自于日本武术中的卡塔概念。就像在武术中一样，你可以多次重复卡塔来改进解决方案。请注意，这个卡塔有点不同 - 所有测试最初都会通过。
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
[软件测试] - No.6 使用μJava进行变异测试
TJU YanMing
03-31 2765
μJava(又称muJava)是一种进行变异测试的工具。目的是对我们的代码产生不同等级、类型的变体，从而查看我们项目代码缺陷的一种工具。这篇文章我们主要针对muJava的安装配置、简单使用进行介绍。一、环境安装：你需要下载以下jar包：1.mujava.jar2.openjava.jar3.junit.jar注：这里我提供的junit是junit 3.x及以下版本，所以在jar包的内部已经含有了h...
推荐阅读：变异检测到底应该用什么软件？
weixin_33766805的博客
04-17 419
原文见：Validating generalized incremental joint variant calling with GATK HaplotypeCaller, FreeBayes, Platypus and samtools 说到变异检测，可能大家第一个想到的工具就是GATK Haplot...
test mutation-01-变异测试 PITest PIT 是一种先进的变异测试系统，为 Java 和 JVM 提供黄金标准的测试覆盖率。
01-06 2370
如果测试套件能够发现这些引入的变化，说明测试覆盖率相对较高，测试质量较好。PIT生成详细的变异测试报告，其中包含有关每个引入的突变的信息，以及测试套件对这些突变的反应（杀死、存活等）。突变测试是一种软件测试方法，通过对源代码进行有目的的修改（即引入突变），然后运行现有的测试套件，来检测测试用例是否能够发现这些变化。PIT通过模拟引入各种不同类型的突变来评估测试套件的质量，帮助开发人员发现可能存在的测试不足之处。打开生成的变异测试报告，查看测试覆盖率、变异的数量、被杀死的变异等详细信息。
【亲测免费】 探索Mutmut：Python变异测试的利器
gitblog_00099的博客
08-13 514
Mutmut是一款专为Python设计的变异测试系统，旨在通过简单易用的方式提升代码质量。变异测试是一种通过引入错误（变异）到源代码中，然后运行测试套件以检查这些变异是否被测试捕获的技术。如果测试未能捕获这些变异，则表明测试套件可能存在漏洞，需要进一步完善。 ## 项目技术分析 Mutmut的核心优势在于其灵活性和高效性。它支持所有测试运行器，仅需测试命令的退出代码，这使得它可以无缝集成到各种...
Pitest 变异测试工具【1】
attribute47的博客
11-19 6756
PIT 是代表最高水平的变异测试系统，为 Java 和 JVM 提供 gold standard 测试覆盖。快速！可扩展性好！并且与测试和构建工具进行了集成。Github、Google小组 变异测试是什么？ 代码种自动生成错误（变异），然后运行测试。如果测试失败了，那么变异被杀死，如果测试通过，变异幸存。测试用例的质量可以通过变异被杀死的百分比数量进行衡量。 换句话说，PIT 在程序代码的自动修改版本上运行单元测试。当程序代码被更改后，就会产生不同的结果，并导致先前的单元测试失败。如果单元测试没有失败，则测
【软件测试·研究向】Major 变异测试工具使用教程
溡漪幽博客
08-21 1773
Major （主要变异框架, The Major Mutation Framework）是一个高效、灵活的突变分析框架。主要突变框架提供了三个主要组件：（1）Major 变异器：Java 编译器 (javac) 的编译器插件；（2）Mml 配置文件：一种用于定制突变生成的 DSL（领域特定语言）；（3）分析器：一种可有效确定活突变体、突变体检测率或完整突变体测试矩阵的测试运行器；
Python变异测试工具cosmic-ray详解
为了详细说明这个知识点，我们首先需要理解什么是变异测试（mutation testing），以及它与传统的软件测试方法有何不同。接下来，我们将详细介绍 cosmic-ray 的功能、使用场景、优势以及如何在 Python 开发中集成和...
评论 3
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值