首页/新闻资讯/正文详情

变异体杀手的诞生之路

发布时间:2026/9/23 11:24:33 来源:云帆数科 栏目:资讯中心
变异体杀手的诞生之路
先来回顾一下变异测试的理念和方法。评估质量和检出缺陷是测试的两个基本目的。那么什么样的测试集是充分的设被测对象为P被测对象期望为F测试输入空间为D。在评估质量的意义上如果测试集T满足∀t∈T,P(t)F(t)⇒∀t∈D,P(t)F(t)则T是充分的在检出缺陷的意义上如果T满足∃d∈D,P(d)≠F(d)⇒∃t∈T,P(t)≠F(t)则T是充分的。也就是说所谓充分的测试集应该能够检出所有可能的缺陷。要达到这样的充分性要求难度不言而喻。然而如果我们对被测对象的质量有相当的信心也可以适当降低测试充分性标准比如只要求测试集对在一组特定的缺陷敏感。这就是变异测试的出发点。在原始被测对象中模拟植入某个特定缺陷之后我们就得到了一个变异体。如果测试集中的某个用例在原始被测对象上的执行结果与其在变异体上的执行结果不同变异体就被测试集杀死了。否则我们可能就需要补充新的用例以强化测试集的缺陷检出能力。关键是补充什么样的用例才能成功杀死变异体呢首先这个用例在执行的时候必须要能够触达发生变异的位置这是我们发现变异的基本前提。但仅仅如此还不够用例还需要提供足够的刺激诱发变异体产生一些不正常的行为。最后这些不正常的行为还要在被测对象外部表现出来这样我们才能观察到。所以简单来说要想成为一个优秀的变异体杀手测试用例需要具备三项能力1、执行能力执行用例时能够覆盖发生变异的结构元素2、感染能力用例能够引发被测对象内部状态的异化3、传播能力上述异化能够传导至输出并被观察到。来看一个简单的例子。假设被测程序如下void example(int a, int b, int c){ int m 0; int result 0; if (a b){ m a b; } if (m c){ result c; } System.out.println(结果: result); }在程序第5行引入变量替换变异将变量a替换为常量3以此来模拟一个未来可能发生的编码错误。这时可以得到如下变异体void example(int a, int b, int c){ int m 0; int result 0; if (a b){ m 3 b; } if (m c){ result c; } System.out.println(结果: result); }我们来看看要杀死这个变异体需要一个什么样的用例1、首先为了能够执行到发生变异的第5行代码用例需要满足a≥b2、其次软件的内部状态通常体现为各个变量的取值。上述变异的发生有可能对内部变量m产生影响只有当a≠3时原始被测程序和变异体中m的取值才会出现差异变异体才会表现出感染症状3、最后如何让m的感染症状传播至程序输出结果呢通过对被测对象的数据流分析可知m与输出变量result之间不存在定义使用关系m对输出的影响仅体现在控制流方面。只有让决策逻辑走上不同的分支即满足ab≥c ≠ 3b≥c我们才有可能在输出中发现异样。此外还必须排除c0的情况因为不同决策分支在这一情况下会产生相同的结果。将上述所有约束条件束联立起来找到满足所有这些条件的用例一个合格的变异体杀手就诞生了比如a1, b1, c3。容易看到想要完整列出变异体杀手的合格条件特别是在传播能力方面难度是比较高的而且对约束条件的联立求解也并非易事这就是主流变异测试工具都不具备用例生成能力的原因。

相关推荐

ztoggle 性能优化:3 个核心考点拆解,面试不再卡壳
ztoggle 性能优化:3 个核心考点拆解,面试不再卡壳

ztoggle 性能优化:3 个核心考点拆解,面试不再卡壳 翻过几百页的官方文档,却连最基础的 ztoggle 行为都说不清?别慌,这不是你的错。大厂面试官根本不想听你背诵定义,他们只关心你懂不懂底层逻辑,以及如何在高并发场景下做性能优化。… · 2026/9/23 11:24:33

张博士教新手避坑:3个核心技能决定项目成败
张博士教新手避坑:3个核心技能决定项目成败

张博士教新手避坑:3个核心技能决定项目成败 看了一堆教程还是不会写项目?这是无数新手的噩梦。视频里的代码行云流水,自己一上手全是报错。问题不在智商,在于你跳过了【新手避坑】的关键环节。张博士在多年的企业级项目实战中发现,90%的新手失败是因… · 2026/9/23 11:24:26

Pinpoint Web 前端代码审查与回归防护策略实战指南
Pinpoint Web 前端代码审查与回归防护策略实战指南

Pinpoint Web 前端代码审查与回归防护策略实战指南 【免费下载链接】pinpoint APM, (Application Performance Management) tool for large-scale distributed systems. 项目地址: https://gitcode.com/gh_mirrors/pi/pinpoint Pinpoint 的 Web 前端(v3 目录… · 2026/9/23 11:24:20

3天搞定网众无盘教程图解原理,拒绝堆砌
3天搞定网众无盘教程图解原理,拒绝堆砌

3天搞定网众无盘教程图解原理,拒绝堆砌 报错一堆看不懂 StackTrace?别慌。 很多刚接触网众无盘的朋友,一看到满屏红色的 Error 信息就头大,根本不知道从哪下手。 今天咱们不整虚的,直接上 图解原理 。… · 2026/9/23 12:08:49

基于Python的学业预警系统:从数据清洗到Flask接口的完整实战
基于Python的学业预警系统:从数据清洗到Flask接口的完整实战

简介:这份Python项目源码面向高校教务管理者、辅导员以及计算机相关专业的课程设计学习者,核心目标是借助数据分析提前识别学业困难学生,降低辍学风险。系统围绕数据采集与整合、基于逻辑回归或随机森林等算法的风险评估模型、实时监控、预警… · 2026/9/23 12:08:49

杨瑞凯速查手册:3步搞定项目搭建避坑指南
杨瑞凯速查手册:3步搞定项目搭建避坑指南

杨瑞凯速查手册:3步搞定项目搭建避坑指南 官方文档翻了三遍还是懵?别慌,我直接上干货。这份【杨瑞凯】实战项目的【速查手册】,就是为了解决你“看文档像看天书”的痛点。… · 2026/9/23 12:08:49

NVIDIA Triton Inference Server 架构解析与核心特性全景指南
NVIDIA Triton Inference Server 架构解析与核心特性全景指南

NVIDIA Triton Inference Server 架构解析与核心特性全景指南 【免费下载链接】server The Triton Inference Server provides an optimized cloud and edge inferencing solution. 项目地址: https://gitcode.com/gh_mirrors/server117/server Triton Inference Serve… · 2026/9/23 12:08:43

5步搞定联想s720运维,最佳实践让项目落地不再难
5步搞定联想s720运维,最佳实践让项目落地不再难

5步搞定联想s720运维,最佳实践让项目落地不再难 看了一堆教程还是不会写项目?别急,这其实是90%初学者的通病。理论背得滚瓜烂熟,一到真实场景就卡壳。 真正的 最佳实践 ,不是让你背更多命令,而是建立一套可复用的运维思维。今天我们就以… · 2026/9/23 12:08:37

化纤面料全解析:从聚酯纤维到混纺,教你选对衣服不踩坑
化纤面料全解析:从聚酯纤维到混纺,教你选对衣服不踩坑

很多人在挑选衣服时,第一反应就是翻看吊牌上的成分表,看到“聚酯纤维”“锦纶”这些字眼,眉头就皱起来了。我做了十来年面料采购和开发,几乎每周都会被人问到“化纤面料到底是什么”“是不是就是塑料”“穿上是不是闷得慌”。今天… · 2026/9/23 12:08:37

3招搞定手机怎么下载微信面试难题实战项目解析
3招搞定手机怎么下载微信面试难题实战项目解析

3招搞定手机怎么下载微信面试难题实战项目解析 面试被问“手机怎么下载微信”背后的原理,90%的人答不上来。别笑,这看似弱智的问题,实则是考察你对移动应用分发机制、安全校验及网络协议理解的试金石。我带过不少校招新人,他们背了八股文,却连一个A… · 2026/9/23 0:00:03

你有新短消息请注意查收:3个新手避坑指南搞定消息系统选型
你有新短消息请注意查收:3个新手避坑指南搞定消息系统选型

你有新短消息请注意查收:3个新手避坑指南搞定消息系统选型 面试被问“高并发下如何保证消息不丢失”,你张口就是“用Redis”,结果面试官追问“如果Redis宕机了怎么办”,你瞬间卡壳。这种场景太常见了,很多新手在背八股文时,只记住了技术名词… · 2026/9/23 0:00:29

Win7无线热点配置工具源码解析:解决API失效的3个实战技巧
Win7无线热点配置工具源码解析:解决API失效的3个实战技巧

Win7无线热点配置工具源码解析:解决API失效的3个实战技巧 Win7无线热点配置工具在Win10/11上跑不动?不是你的问题,是版本升级后 API 全变了。很多老项目里的 netsh wlan… · 2026/9/23 0:00:36

了解更多?预约专属演示

我们的顾问将为您一对一讲解产品与方案

企业微信二维码