はじめに
カバレッジの計測結果を視覚的にわかりやすく表示するツール locv を使用して関数テストをしている際、網羅していない分岐条件が判らなくなる。マニュアルやブログを探してもよくわからなかったので簡単なソースコードを作成して出力を確認をした。
環境
| 項目 | バージョン |
|---|---|
| OS | Ubuntu 22.04.4 LTS (WSL version 2) |
| google test | Release v1.13.0 |
| g++ | g++ 11.4.0 |
| lcov | LCOV version 1.14 |
| gcov | gcov 11.4.0 |
実行コマンド
以下のコマンドを実行して出力される HTML 形式のファイルを確認する。
g++ -fprofile-arcs -ftest-coverage main.cpp -pthread -lgtest_main -lgtest -lgmock
./a.out
gcov -b a-main.gcda
lcov -d . -c --rc lcov_branch_coverage=1 -o a-main.info
genhtml a-main.info --branch-coverage -o ./coverage
rm *.gcov *.gcda *.gcno *.info
実行結果
| 表示 | 意味 |
|---|---|
| + | taken（条件を満たした） |
| - | not taken（条件を満たしていない） |
| # | not executed（実行されていない） |
条件が１個の場合
: bool A;
:
: A = true;
[ + - ]: if( A )
: {
: }
:
: A = false;
[ - + ]: if( A )
: {
: }
条件が２個の場合 (A && B)
条件文を単一行で記載した場合
: bool A, B;
:
: A = true; B = true;
[ + - + - ]: if( ( A ) && ( B ) )
: {
: }
:
: A = true; B = false;
[ + - - + ]: if( ( A ) && ( B ) )
: {
: }
:
: A = false; B = true;
[ - + - - ]: if( ( A ) && ( B ) )
: {
: }
:
: A = false; B = false;
[ - + - - ]: if( ( A ) && ( B ) )
: {
: }
条件文を複数行で記載した場合
: bool A, B;
:
: A = true; B = true;
[ + - ]: if( ( A )
[ + - ]: && ( B ) )
: {
: }
:
: A = true; B = false;
[ + - ]: if( ( A )
[ - + ]: && ( B ) )
: {
: }
:
: A = false; B = true;
[ - + ]: if( ( A )
[ # # ]: && ( B ) )
: {
: }
:
: A = false; B = false;
[ - + ]: if( ( A )
[ # # ]: && ( B ) )
: {
: }
条件が２個の場合 (A || B)
条件文を単一行で記載した場合
: bool A, B;
:
: A = true; B = true;
[ - + - - ]: if( ( A ) || ( B ) )
: {
: }
:
: A = true; B = false;
[ - + - - ]: if( ( A ) || ( B ) )
: {
: }
:
: A = false; B = true;
[ + - + - ]: if( ( A ) || ( B ) )
: {
: }
:
: A = false; B = false;
[ + - - + ]: if( ( A ) || ( B ) )
: {
: }
条件文を複数行で記載した場合
: bool A, B;
:
: A = true; B = true;
[ - + ]: if( ( A )
[ # # ]: || ( B ) )
: {
: }
:
: A = true; B = false;
[ - + ]: if( ( A )
[ # # ]: || ( B ) )
: {
: }
:
: A = false; B = true;
[ + - ]: if( ( A )
[ + - ]: || ( B ) )
: {
: }
:
: A = false; B = false;
[ + - ]: if( ( A )
[ - + ]: || ( B ) )
: {
: }
条件が３個の場合 (A && (B || C))
: bool A, B, C;
:
: A = true; B = true; C = true;
[ + - ]: if( ( A )
[ - + - - ]: && ( ( B ) || (C) ) )
: {
: }
:
: A = true; B = true; C = false;
[ + - ]: if( ( A )
[ - + - - ]: && ( ( B ) || (C) ) )
: {
: }
:
: A = true; B = false; C = true;
[ + - ]: if( ( A )
[ + - + - ]: && ( ( B ) || (C) ) )
: {
: }
:
: A = true; B = false; C = false;
[ + - ]: if( ( A )
[ + - - + ]: && ( ( B ) || (C) ) )
: {
: }
:
: A = false; B = true; C = true;
[ - + ]: if( ( A )
[ # # # # ]: && ( ( B ) || (C) ) )
: {
: }
:
: A = false; B = true; C = false;
[ - + ]: if( ( A )
[ # # # # ]: && ( ( B ) || (C) ) )
: {
: }
:
: A = false; B = false; C = true;
[ - + ]: if( ( A )
[ # # # # ]: && ( ( B ) || (C) ) )
: {
: }
:
: A = false; B = false; C = false;
[ - + ]: if( ( A )
[ # # # # ]: && ( ( B ) || (C) ) )
: {
: }
条件が３個の場合 (A || (B && C))
: bool A, B, C;
:
: A = true; B = true; C = true;
[ - + ]: if( ( A )
[ # # # # ]: || ( ( B ) && (C) ) )
: {
: }
:
: A = true; B = true; C = false;
[ - + ]: if( ( A )
[ # # # # ]: || ( ( B ) && (C) ) )
: {
: }
:
: A = true; B = false; C = true;
[ - + ]: if( ( A )
[ # # # # ]: || ( ( B ) && (C) ) )
: {
: }
:
: A = true; B = false; C = false;
[ - + ]: if( ( A )
[ # # # # ]: || ( ( B ) && (C) ) )
: {
: }
:
: A = false; B = true; C = true;
[ + - ]: if( ( A )
[ + - + - ]: || ( ( B ) && (C) ) )
: {
: }
:
: A = false; B = true; C = false;
[ + - ]: if( ( A )
[ + - - + ]: || ( ( B ) && (C) ) )
: {
: }
:
: A = false; B = false; C = true;
[ + - ]: if( ( A )
[ - + - - ]: || ( ( B ) && (C) ) )
: {
: }
:
: A = false; B = false; C = false;
[ + - ]: if( ( A )
[ - + - - ]: || ( ( B ) && (C) ) )
: {
: }
参考記事