尽管经过测试，Jacoco 0.8.0 在所有开关情况下都标记抛出和中断

Question

我在“Jacoco 0.8.0”上。 我有一个 switch 语句，其中包含所有情况的测试。 Jacoco 在 switch 语句中标记了每种情况下的 throw 和 break。 默认大小写和中断未标记。 为什么要标记这些？

我环顾四周，发现这样的帖子说以前的版本没有过滤 switch 语句： 为什么 JaCoCo 没有覆盖我的 String switch 语句？

但我正在运行此修复后的 0.8.0，问题略有不同。

MRE：

public class MyClass{

    public void myMethod(String let) {
           switch (let) {
               case "A":
                   throw new Exception();
                   break;

               default:
                   break;
           }
      }

}

每个测试：

@Test(expected = Exception.class)
    public void testMyMethodA() {
        MyClass class = new MyClass();
       class.myMethod("A");
    }

@Test(expected = Exception.class)
    public void testMyMethodDefault() {
        MyClass class = new MyClass();
       class.myMethod("Z");
    }

标志示例：

public class MyClass{

    public void myMethod(String let) {
[YELLOW]  switch (let) {
               case "A":
[RED]          throw new Exception();
[RED]          break;

               default:
                   break;
           }
      }

}

Jacoco 将 throw 语句和中断标记为未经测试。 它将开关标记为部分测试。 我希望这些都被覆盖。

Answer 1

首先你的 MRE

public class MyClass{

    public void myMethod(String let) {
           switch (let) {
               case "A":
                   throw new Exception();
                   break;

               default:
                   break;
           }
      }

}

无法编译

javac --version
javac 11.0.3

由于以下错误

javac MyClass.java
MyClass.java:7: error: unreachable statement
                   break;
                   ^
MyClass.java:6: error: unreported exception Exception; must be caught or declared to be thrown
                   throw new Exception();
                   ^
2 errors

---

如果你看一下JaCoCo 主页，你会注意到 0.8.0 已经快两年了，最新版本是0.8.4

JaCoCo 更改日志在https://www.jacoco.org/jacoco/trunk/doc/changes.html页面上的通常位置包含

发布 0.8.2 (2018/08/21)

• javac 为java.lang.String值的switch语句生成的部分字节码现在在生成报告期间正确过滤掉了 (GitHub #730 )。

所以对于更正的例子

class Example {
    public void myMethod(String let) {
        switch (let) {
        case "A":
            throw new RuntimeException();
        default:
            break;
        }
    }

    public static void main(String[] args) {
        for (String s : new String[]{"A", "B"}) {
            try {
                new Example().myMethod(s);
            } catch (Exception ignore) {
            }
        }
    }
}

JaCoCo 0.8.4产生以下预期报告

javac Example.java -d classes

java -javaagent:jacoco-0.8.4/lib/jacocoagent.jar -cp classes Example

java -jar jacoco-0.8.4/lib/jacococli.jar report \
    jacoco.exec \
    --classfiles classes \
    --sourcefiles . \
    --html report

---

根据经验并引用JaCoCo 发布公告

一如既往，我们建议您使用最新发布的版本