jacocoのカバレッジに関して

実現したいこと

jacocoでカバレッジを100%に近づけたいです。

発生している問題・分からないこと

下記のような場合に表示された文言が
2 of 6 branches missed
となっており6branchがどの条件を指しているのか分からず悩んでいます
なぜ8ではなく6なのかが分からないです
また、Javaで短絡評価の場合
A B C
○○○
○○×
○×
×
の4通りでもいいのでは無いかと思うのですが4ではなく6となっている理由をお聞きしたいです

該当のソースコード

Java
1if (a && b && c){ }

試したこと・調べたこと

teratailやGoogle等で検索した
ソースコードを自分なりに変更した
知人に聞いた
その他

上記の詳細・結果

調べたのですがイマイチピンとくる物がありませんでした

補足

特になし

jimbe

2025/01/23 05:09

>なぜ8ではなく6なのか 8 というのはどこから出た数字でしょうか。

yuzuki44890

2025/01/23 05:48 編集

a.b.cそれぞれがtrue,falseの2^3通りでで8だと思っていました

jimbe

2025/01/23 06:43

それでは、 2 of 6 のミスということですがミスではない 4 の分はどのようなテストでしょうか。

yuzuki44890

2025/01/23 07:36

ケースをそもそも2つしか用意していないのに4になっていたのも意味不明でしたが、条件を分割したif文で理解ができました。ありがとうございました！

pecmm

2025/01/23 11:16

解決済みになってますが一応補足として。 jacoco は c0/c1 カバレッジを謳っていますが解析対象がソースコードではなくバイトコード（コンパイル結果）で、分岐の数え方が普通の c1 とは異なって見えるようです。 x of 6 branches とかいうのはおそらく c1（分岐網羅 branch coverage）の branch なんでしょうがソースコード `if (a && b && c){ }` では本来は判定式１つで１分岐 2 branchesになるはずの所がコンパイルするとjunerさんの回答で示されているような３回の判定処理が含まれるバイトコードとなり３分岐 6 branches 扱いになる……と思われます。（この辺りはぐぐって出てきた情報を元にした推測でjacocoのソースまでは読んでないです違ってたらすみません）ちなみに c1 でいう branch は、フローチャートにおける矢印の本数の合計と捉えるのが分かりやすいです。 ---- また、質問本文内で `a && b && c` の中身を分解して全ケースを数えようとされていますがこれは c2（条件網羅 condition coverage）のアプローチで、jacoco は非対応のやつです。

行動規範の内容に同意します

回答1件

ベストアンサー

Java
1if (a && b && c){ }

ということはつまり

Java
1if (a) {
2    // 1
3    if (b) {
4      // 3
5      if (c) {
6        // 5
7      } else {
8        // 6
9      }
10   } else {
11      // 4
12   }
13} else {
14   // 2
15}