カバレッジ分析
Code Coverage Analysis
かばれっじぶんせき
テストによってプログラムのどの部分が実行されたかを測定する分析手法。ステートメントカバレッジ(C0)、ブランチカバレッジ(C1)、条件カバレッジ(C2)、MC/DC(修正条件判定カバレッジ)などの基準がある。安全規格ではMC/DCが求められることがある。
Related
関連キーワードの用語
プログラムの内部構造(ソースコード)に基づいてテストケースを設計するテスト手法。命令網羅、分岐網羅、条件網羅、パス網羅などのカバレッジ基準を用いる。組込みソフトウェアの単体テストで広く使用される。
プログラムの仕様に基づき、内部構造を考慮せずにテストケースを設計するテスト手法。同値分割、境界値分析、デシジョンテーブルなどの技法がある。システムテストや受入テストで使用される。
プログラムを実行せずにソースコードを解析し、潜在的なバグ、セキュリティ脆弱性、コーディング規約違反などを検出する手法。バッファオーバーフロー、未初期化変数、メモリリークなどの問題を早期に発見できる。
ソフトウェアの変更(バグ修正、機能追加等)により、既存の機能に悪影響が出ていないかを確認するためのテスト。変更箇所だけでなく、関連する既存機能のテストを再実行する。自動化が重要であり、CI/CDパイプラインに組み込まれる。
テストの経過に伴うバグの発見数と解決数の推移をグラフに表したもの。曲線が寝てきたことがテスト終了判断の目安になる。想定と大きくずれる場合は品質やテストの問題を疑う。
テストの進行に伴うバグの累積検出数の推移をグラフ化したもの。バグ曲線とも呼ぶ。S字カーブを描くのが理想的で、バグ検出が収束に向かう(曲線が寝る)段階でテスト完了の判断材料とする。ゴンペルツ曲線やロジスティック曲線で近似する。
