Jacoco 0.8.0 помечает бросок и разрыв во всех случаях переключения, несмотря на тесты

Я на «Якоко 0.8.0». У меня есть оператор switch с тестами для всех случаев. Jacoco помечает throw и break в каждом случае в операторе switch. Регистр и разрыв по умолчанию не отмечены. Почему он помечает их?

Я осмотрелся и нашел подобные сообщения, в которых говорится, что в предыдущих версиях не было фильтра для операторов switch: Почему JaCoCo не покрывает мои операторы переключения строк?

Но я запускаю 0.8.0, которая вышла после этого исправления, и проблема немного отличается.

МРЭ:

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 и breaks как непроверенные. Он помечает коммутатор как частично протестированный. Я ожидал, что они будут покрыты.


person Tack    schedule 18.09.2019    source источник


Ответы (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 (21.08.2018)

  • Часть байт-кода, который javac генерирует для инструкции switch по java.lang.String значениям с небольшим количеством случаев, теперь корректно отфильтровывается при создании отчета (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

как всегда, мы рекомендуем вам использовать последнюю выпущенную версию

person Godin    schedule 19.09.2019