在进行 Mutation Testing 时，我们经常会遇到一些“幸存”的 Mutant，它们虽然没有被现有的测试用例杀死，但实际上违反了代码的类型约束，例如返回了错误的类型。这些 Mutant 会干扰我们对代码质量的判断，甚至误导我们编写不必要的测试用例。Roave Infection Static Analysis Plugin 通过集成静态分析工具，可以有效识别并排除这类 Mutant，从而提升 Mutation Testing 的准确性和效率。 Composer在线学习地址：学习地址 Mutation Testing 是一种通过修改代码并运行测试用例来评估测试集有效性的方法。它通过引入各种小的代码变更（Mutant），然后运行测试用例，如果测试用例能够检测到这些变更，则认为 Mutant 被“杀死”。然而，在 PHP 这样的动态类型语言中，即使 Mutant 没有被测试用例杀死，也可能违反了代码的类型约束，例如返回了错误的类型。

roave infection static analysis plugin 的作用就是在 mutation testing 的过程中，利用静态分析工具（目前主要支持 psalm）来检查生成的 mutant 是否符合类型约束。如果 mutant 违反了类型约束，则会被标记为“杀死”，从而避免了我们编写不必要的测试用例。

如何使用 Roave Infection Static Analysis Plugin

1. 安装

   使用 Composer 安装 Roave Infection Static Analysis Plugin：

   composer require --dev roave/infection-static-analysis-plugin

2. 运行

   使用 vendor/bin/roave-infection-static-analysis-plugin 命令来运行 Mutation Testing，而不是直接运行 vendor/bin/infection。

   vendor/bin/roave-infection-static-analysis-plugin

3. 配置 Psalm

   通过 --psalm-config 参数指定 Psalm 的配置文件：

   vendor/bin/roave-infection-static-analysis-plugin --psalm-config config/psalm.xml

优势

• 提高 Mutation Score：通过排除违反类型约束的 Mutant，可以更准确地评估测试集的有效性，从而提高 Mutation Score。
• 减少不必要的测试用例：避免了为违反类型约束的 Mutant 编写测试用例，节省了开发时间和成本。
• 更早发现类型错误：在 Mutation Testing 过程中，可以更早地发现代码中的类型错误。

实际应用效果

假设我们有以下代码：

/**
 * @param array $values
 * @return list
 */
function makeAList(array $values): array
{
    return array_values($values);
}

如果 Mutation Testing 生成了以下 Mutant：

function makeAList(array $values): array
{
-    return array_values($values);
+    return $values;
}

这个 Mutant 虽然能通过一些简单的测试用例，但实际上违反了类型约束，因为 $values 是 array，而返回值应该是 list。Roave Infection Static Analysis Plugin 可以通过 Psalm 识别出这个 Mutant 违反了类型约束，并将其标记为“杀死”，从而避免了我们编写额外的测试用例来检测这个错误。

总结

Roave Infection Static Analysis Plugin 是一个强大的工具，它可以帮助我们提高 Mutation Testing 的质量，减少不必要的测试用例，并更早地发现代码中的类型错误。虽然目前还存在一些稳定性问题，但随着 Infection 本身对插件支持的完善，相信它会变得更加易用和可靠。如果你正在使用 Mutation Testing，不妨尝试一下 Roave Infection Static Analysis Plugin，相信它会给你带来意想不到的收获。

# composer  # 工具  # php  # Static  # Array  # 违反了  # 更早  # 它会  # 过程中  # 是一个  # 如果你  # 是一种  # 可以通过  # 这类  # 它可以 

相关栏目： 【 网站优化151355 】 【 网络推广146373 】 【 网络技术251813 】 【 AI营销90571 】

相关推荐： 创业网站制作流程,创业网站可靠吗？  Laravel事件和监听器如何实现_Laravel Events & Listeners解耦应用的实战教程  PHP 实现电台节目表的智能时间匹配与今日/明日轮播逻辑  如何快速搭建高效简练网站？  如何在 React 中条件性地遍历数组并渲染元素  如何自定义safari浏览器工具栏？个性化设置safari浏览器界面教程【技巧】  企业网站制作这些问题要关注  php静态变量怎么调试_php静态变量作用域调试技巧【解答】  laravel怎么使用数据库工厂（Factory）生成带有关联模型的数据_laravel Factory生成关联数据方法  IOS倒计时设置UIButton标题title的抖动问题  Laravel如何使用Laravel Vite编译前端_Laravel10以上版本前端静态资源管理【教程】  如何在沈阳梯子盘古建站优化SEO排名与功能模块？  谷歌Google入口永久地址_Google搜索引擎官网首页永久入口  Laravel如何使用Blade模板引擎？（完整语法和示例）  使用PHP下载CSS文件中的所有图片【几行代码即可实现】  悟空浏览器如何设置小说背景色_悟空浏览器背景色设置【方法】  Laravel怎么创建控制器Controller_Laravel路由绑定与控制器逻辑编写【指南】  Laravel如何从数据库删除数据_Laravel destroy和delete方法区别  Python企业级消息系统教程_KafkaRabbitMQ高并发应用  Laravel如何处理跨站请求伪造（CSRF）保护_Laravel表单安全机制与令牌校验  Bootstrap整体框架之CSS12栅格系统  猪八戒网站制作视频,开发一个猪八戒网站，大约需要多少？或者自己请程序员，需要什么程序员，多少程序员能完成？  如何快速配置高效服务器建站软件？  如何在腾讯云服务器上快速搭建个人网站？  详解Android——蓝牙技术 带你实现终端间数据传输  javascript和jQuery中的AJAX技术详解【包含AJAX各种跨域技术】  如何用花生壳三步快速搭建专属网站？  网站制作软件免费下载安装,有哪些免费下载的软件网站？  如何在Tomcat中配置并部署网站项目？  Laravel如何理解并使用服务容器（Service Container）_Laravel依赖注入与容器绑定说明  如何在万网自助建站平台快速创建网站？  Laravel如何处理文件上传_Laravel Storage门面实现文件存储与管理  香港服务器WordPress建站指南：SEO优化与高效部署策略  如何在腾讯云免费申请建站？  Python图片处理进阶教程_Pillow滤镜与图像增强  Laravel怎么进行数据库事务处理_Laravel DB Facade事务操作确保数据一致性  如何自定义建站之星模板颜色并下载新样式？  node.js报错：Cannot find module 'ejs'的解决办法  专业企业网站设计制作公司,如何理解商贸企业的统一配送和分销网络建设？  Laravel怎么实现支付功能_Laravel集成支付宝微信支付  Laravel如何使用Spatie Media Library_Laravel图片上传管理与缩略图生成【步骤】  装修招标网站设计制作流程,装修招标流程？  如何挑选最适合建站的高性能VPS主机？  Laravel API资源类怎么用_Laravel API Resource数据转换  微信小程序 五星评分(包括半颗星评分)实例代码  python中快速进行多个字符替换的方法小结  浅谈Javascript中的Label语句  Laravel如何实现用户密码重置功能？（完整流程代码）  微博html5版本怎么弄发语音微博_语音录制入口及时长限制操作【教程】  怎样使用JSON进行数据交换_它有什么限制