実装とテストを確かめる

コードレビューは、作成したソースコードを人が読み、欠陥や改善点を見つける活動です。処理の誤りだけでなく、可読性、標準への適合、複雑すぎる構造なども対象になります。

レビュー方法には、同僚が確認するピアレビューや、手順と役割を定めるコードインスペクションなどがあります。テストは実行結果から欠陥を探すのに対し、レビューはソースを読むことで問題を見つけられる点が違います。

コードレビューは実行だけでは見つけにくい欠陥や標準違反も確認する。

静的解析は、プログラムを実行せずにソースコードや中間表現を調べる方法です。未使用変数、到達不能コード、規約違反、型の不整合などを機械的に検出できる場合があります。

動的テストは、実際にプログラムを動かして入力と出力、実行経路、性能などを確認します。デバッガのブレークポイントやトレース機能も実行時の状態確認に使えます。実行するかしないかが両者を区別する基本です。

静的解析は実行せず、動的テストは実行して振る舞いを確認する。

ホワイトボックステストは、プログラム内部の制御構造を基にテストケースを設計します。命令網羅は各命令を少なくとも一度実行すること、判定条件網羅は各判定の真と偽を少なくとも一度ずつ通すことを目標にします。

条件網羅は、複合条件を構成する各基本条件について真と偽を少なくとも一度ずつ生じさせます。条件網羅を満たしても、組合せによっては判定結果の真偽を両方通るとは限らないため、何を網羅する基準かを区別します。

命令・判定結果・基本条件のどれを網羅するかで基準が異なる。

ブラックボックステストは、内部構造ではなく入力と出力の仕様を基にテストケースを設計します。同値分割は同じように扱える入力範囲をグループに分け、各グループから代表値を選ぶ方法です。

限界値分析は、入力範囲の境界付近で欠陥が出やすいことに着目し、境界値やその直前・直後を選びます。例えば有効範囲が1以上100以下なら、1や100に加えて0や101などが確認候補になります。

同値分割は代表値、限界値分析は境界とその周辺を重点的に試す。