PHP Infection已写单元测试仍提示变异体未覆盖问题排查

1. Infection判定该变异未覆盖的原因 #

Infection判定变异是否被覆盖，从来不是看你手动跑测试能不能过，它的判断逻辑非常直接：先看PHPUnit生成的代码覆盖率报告里，变异所在的代码行有没有被测试执行到、有没有关联的测试用例。如果覆盖率报告里这行压根没被标记为已执行，Infection连变异后跑测试的步骤都不会走，直接打「未覆盖」的标记。
你这个场景的核心诱因基本可以确定是配置错误：你在Infection配置里指定了phpUnit.configDir为test/Infection，也就是说Infection跑测试、生成覆盖率的时候，用的是这个目录下的PHPUnit配置文件，和你手动跑测试用的PHPUnit配置根本不是一套。这套隔离配置里大概率要么没把你写的PaymentMethodsCollection测试加进测试扫描范围，要么代码覆盖率白名单没包含对应的资源类文件，导致Infection拿到的覆盖率数据里，那行return语句根本没有任何测试执行记录，自然判定为未覆盖。

2. 现有配置和测试代码的问题点 #

配置层面的硬伤 #

• 首当其冲就是phpUnit.configDir配置错误：你手动跑测试用的是项目默认的PHPUnit配置（一般在项目根目录或者test目录下），Infection用的是test/Infection下的隔离配置，两套配置的测试扫描范围、覆盖率规则完全不一致，结果当然对不上。要么把这个配置项的值改成你实际跑单元测试用的phpunit.xml所在目录，要么直接删掉这个配置，让Infection自动识别项目根目录的默认PHPUnit配置即可。
• 没有显式指定覆盖率过滤规则：Infection 0.26.1对PHPUnit 9以上版本的覆盖率自动识别有小概率兼容问题，可以在testFrameworkOptions里补充--coverage-filter=app，明确告诉PHPUnit只扫描app目录下的源码生成覆盖率，避免覆盖率数据错乱。

测试代码层面 #

你写的测试断言本身完全足够杀死这个ArrayItemRemoval变异——真要是代码被改成返回空数组，assertArrayHasKey('data', $result)这行断言直接就会抛错失败，测试逻辑本身没有问题，和当前的未覆盖报错没关系。唯一可以优化的点是现在的断言只校验了键存在和类型，没校验返回值和入参的映射正确性，但这是后续测试强度的问题，不是这次报错的原因。

3. 变异测试「未覆盖」概念澄清 #

完全不是你理解的「测试没覆盖场景导致变异存活」，Infection对变异结果的分类是明确分开的：

• 未覆盖（Not Covered）：就是这次遇到的情况，指覆盖率数据显示没有任何测试跑到变异所在的代码行，Infection不会执行变异后的测试验证，本质是代码覆盖率缺失的问题，和测试断言强不强没有关系。
• 逃逸/存活（Escaped）：这才是你说的场景——变异所在代码行被测试跑到了，但是把代码改成变异版本之后，跑所有关联测试居然全过了，说明测试断言太弱，没校验到实际逻辑，杀不死变异。
  你现在手动跑测试全过，但Infection报未覆盖，本质是Infection用错了PHPUnit配置，根本没把你写的测试纳入运行和覆盖率统计范围，两边跑的根本不是同一套测试，结果对不上是必然的。

内容的提问来源于stack exchange，提问作者José Victor