Eclemma mówi, że 1 z 4 oddziałów nie jest objęty, ale która to gałąź?

Question

Czy istnieje prosty sposób na określenie, której gałęzi brakuje? To znaczy. Mam niektóre kodu tak:

if (x || y) { 
    // do stuff 
} 

W zasięgu podkreślając jest żółta kropka w Eclipse, który mówi:

1 z 4 oddziałów brakowało

ale chciałbym wiedzieć, której gałęzi brakuje.

Answer 1

open issue na repo github dla rodzica Eclemma'S, jacoco sugeruje, że taka funkcja byłaby faktycznie być nieco trudne do uwzględnienia.

Jednak nawet bez funkcji Eclemma, jeśli celem jest po prostu odgadnięcie gałęzi, które zostały pominięte w konkretnym przypadku, można zaprogramować kod w celu śledzenia. Najprostszym przykładem jest staroświecki oświadczenia nadruku:

if (x || y) { 
    System.out.println("BRANCH: " + x + ", " + y); 
    // Do stuff 
} 

Następnie spojrzeć na wyjściu i zobaczyć, jakie gałęzie rzeczywiście hit (np java ... | grep "BRANCH:" | sort | uniq). (Niezbyt satysfakcjonujące, wiem.)

Answer 2

Co może być x i y?

• true || true jest prawda (nie pokryte z powodu optymalizacji JVM: jeśli pierwszy warunek jest true, drugi nie będą oceniane ze względu na krótką oceną obwodu)
• false || true jest prawda
• true || false jest true
• jest false

Answer 3

Istnieje prawdopodobnie ukryte gałęzie albo z zagnieżdżonych instrukcji w bloku if lub oświadczenia rozszerza swoje x lub y predykatów.

Przeczytaj to: http://emma.sourceforge.net/faq.html#q.fractional.examples

Answer 4

Odpowiedź jest true|| true nie został pokryty.

Dzieje się tak, ponieważ po tym, jak JVM wykryje pierwszy warunek, który ma być prawdziwy, nie uruchomi on drugiego warunku (jest zoptymalizowany), co oznacza, że ​​część kodu nigdy nie jest uruchamiana.

Jak powiedział Maroun, 3 z 4 gałęzi pozwolą warunkowi przejść. Jeśli nadal martwisz się o zasięg kodu, możesz zastąpić warunkowe jako && zamiast ||.

(x || y) jest taki sam jak (!(!x && !y)), a to pozwoli ci przetestować wszystkie warunki, ponieważ teraz są tylko trzy gałęzie.

Oryginalna forma warunkowego jest często postrzegana w sprawozdaniach osłaniających:

if (obj == null || obj.hasError()) 
{ 
    throw new RuntimeException(); 
} 

To nigdy nie będzie można sprawdzić, czy obj jest null i ma błąd, ponieważ będzie ona rzucać wyjątek pustego wskaźnika.

Jeśli zasięg kod jest ważny, a potem po prostu korzystać z tego formularza:

if (!(obj != null && !obj.hasError())) 
{ 
    throw new RuntimeException(); 
} 

Answer 5

Jest dość łatwy woarkaround - tylko umieścić każdy orzecznik logiczny w osobnej linii, tak:

if (x 
    || y) { 
    System.out.println("BRANCH: " + x + ", " + y); 
    // Do stuff 
} 

Teraz, kiedy będziesz uruchomić analizę, The znacznik powinien wskazywać bezpośrednio na pominiętą gałąź. Gdy to zrobisz, możesz ponownie sformatować swój kod we właściwy sposób.

HTH