コードカバレッジ とは？

テスト中に、計測対象のコードをどれだけ実行したかという数字だよ。結果が正しかった割合ではないんだ。命令を対象にするのか、行や分岐を対象にするのかで、分母と数字が変わる。

命令網羅は対象の命令を実行したか、分岐網羅は分岐の各結果を通ったかを見るよ。たとえばifの本体を通るテストだけで、計測対象の命令は全部実行できても、条件が偽になる分岐が未実行の場合がある。

基本的な条件網羅は、個々の条件が真と偽になることを試す。すべての組合せを試す複合条件網羅とは違うよ。複合した判定では、個々の条件の真偽を通っても、判定全体の真偽を両方通ったとは限らない。単純な強さの順番に並べないほうがよいんだ。

その指標で対象にした構造を通った、という意味だよ。正しい結果かを確かめるアサーションがなかったり、境界値や特定の入力を試していなかったりする可能性がある。数字を上げることと、必要な振る舞いを検証することを分けて考えよう。

すべてのプロジェクトに共通の合格値として決めないほうがよいよ。重要な機能のリスク、計測から除外する範囲、未実行のコードの理由を見て目標を定める。CIで増減を確認する際も、どのコードが増え、何を試したかまで見ると役立つんだ。