20.6.2 Directed Testing

p.559
非公式訳

20.6.2 ディレクテッドテスト

ファンクショナルカバレッジを100%にするための方法は主に2つあります。1つは、検証プランに並んでいる個々の項目を確認するためのテストを大量に記述することです。この種のテストでは、必要なテスト入力信号をDUVに与えてDUVを所望の状態にしたあとでDUVの応答を観測します。各テストは、目標とする結果が得られるよう記述します。テスト入力信号には、あらかじめ決めておいた一連の値を使います。この方法を「ディレクテッドテスト」といいます。