コードベースの単体テスト
関数の網羅率を計測し、ロジックの確からしさを確認するホワイトボックステスト
以下のことをチェックする
プログラム実行中に、システム上異常な振る舞いを行わない (null pointer や 0 除算など)
入力値とそれに対応する期待値を出力すること
すべての分岐が正しく処理されること (境界値テスト)
関連
単体テスト
参考文献
ソフトウェア品質を高める開発者テスト アジャイル時代の実践的・効率的なテストのやり方