ホワイトボックステスト

ホワイトボックステストでは、プログラムの外部仕様には着目せず、論理を実現するために使われている命令や、分岐が正しく動作するか、といった部分についてチェックが行われる。 判定の度合いは網羅率（Coverage）によって示され、網羅率が100%となることを目指して進められる。 チェックの観点に従い、命令網羅（C0）、分岐網羅（C1）、条件網羅（C2）などの種類に分けられる。 命令網羅（CO）は、全ての命令が正しく一度は実行されたかどうかをテストする観点である。 分岐網羅は、全ての分岐が正しく一度は実行されたかどうか、条件網羅は、複数条件の真偽の組み合わせについて全ての分岐が正しく一度は実行されたかをテストする。 ホワイトボックステストは、プログラム側の観点からテストが行われるため、仕様を誤解して作っても正しい結果が得られる。 また、ホワイトボックステストに対して、内部構造は関知せず外部仕様だけに着目し、仕様通り動作することを確認するテスト手法が、ブラックボックステストと呼ばれる。