動的テスト

プログラムを実際に動作させて、その結果を確かめるテスト。ソースコードを実行せずに調べる静的解析と対になり、実行したときにしか現れない誤りや性能の問題を見つけられる。

すべての命令を少なくとも1回は実行するようにテストケースを作る基準。ステートメントカバレッジともいう。最も緩い基準で、条件の真偽の組合せまでは確認できない。

判定文の中の個々の条件について、真と偽の両方を少なくとも1回ずつ試す基準。個別の条件は網羅できるが、判定全体としての真偽が両方試されるとは限らない。

判定文の結果が真になる場合と偽になる場合の両方を試す基準。分岐網羅ともいう。すべての分岐が実行されるため命令網羅より強いが、条件が複数ある場合は組合せまでは確認しない。

ソースコードやバイナリを実行せずに解析し、セキュリティ上の脆弱性を検出するテスト手法。開発の早い段階で脆弱性を発見でき、CI/CDパイプラインに組み込んで自動実行される。SQLインジェクションやバッファオーバーフローなどのコーディング上の問題を検出する。

個別にテスト済みのソフトウェアユニットを統合し、ユニット間のインタフェースや連携が正しく動作するかを検証するテスト。トップダウンテスト、ボトムアップテストなどの統合戦略がある。

プログラムを実行せずにソースコードを解析し、潜在的なバグ、セキュリティ脆弱性、コーディング規約違反などを検出する手法。バッファオーバーフロー、未初期化変数、メモリリークなどの問題を早期に発見できる。