プログラムの品質を検証するために，プログラム内部のプログラム構造を分析し，テストケースを設定するテスト手法はどれか。