为何Android Kover未完全覆盖String类型when语句的条件覆盖率？

下面是几个可能导致你遇到Jacoco与Kover覆盖率差异的核心原因，以及对应的排查方向：

• 分支判定逻辑的工具差异
  Jacoco和Kover对代码分支的统计规则并不完全一致。比如处理when表达式或枚举switch时，Jacoco可能认为覆盖所有枚举值就等于覆盖了默认分支，但Kover 0.6.1会单独统计默认分支的覆盖情况；再比如逻辑表达式里的&&/||，Kover会拆分每个子条件的真假分支分别统计，而Jacoco可能合并计算，这就会导致你以为覆盖了全部分支，但实际上某个子条件的真假情况没走到。

• Kover 0.6.1的版本特定bug
  这个版本的Kover存在不少覆盖率统计的已知问题，比如对Kotlin的空安全操作符（?.）、智能转换、when表达式的分支统计不准确。举个例子，当你用if (obj != null)触发智能转换后，Kover可能会额外统计一个隐式分支为未覆盖，而Jacoco不会把这类编译器生成的隐式分支纳入统计。

• 编译器生成的隐式分支未覆盖
  Kotlin编译器会为一些语法糖自动生成隐式分支，比如enumValueOf抛出IllegalArgumentException的分支、when表达式的默认分支（哪怕你覆盖了所有枚举值）、空值检查的隐式分支。Jacoco通常会忽略这些自动生成的分支，但Kover会把它们算进条件覆盖率统计里，导致你明明测试了所有业务输入，还是有未覆盖的条件。

• 边界测试用例遗漏
  你可能觉得覆盖了所有输入值，但实际上漏掉了一些边界情况：比如输入null、空字符串、或者枚举未定义的非法字符串。Jacoco可能不统计这些异常分支的覆盖率，而Kover会要求你显式测试这些场景来覆盖对应的条件分支。

• Kover配置的影响
  检查你的Kover配置，是否开启了enableAssertionCoverage这类额外的分支统计选项，或者reporting里的过滤器有没有误配置，导致某些本应排除的分支被纳入了统计。对比Jacoco的配置，Kover默认的统计粒度通常更细。

排查建议 #

1. 打开Kover的详细覆盖率报告，定位到具体是哪个条件分支未被覆盖，这是最直接的排查方式
2. 尝试升级Kover到最新稳定版本，很多旧版本的统计bug在后续版本中已经被修复
3. 根据Kover指出的未覆盖分支，补充对应的测试用例——比如显式测试默认分支、非法输入触发异常的场景

内容的提问来源于stack exchange，提问作者Crisic