20.6.1 Functional Coverage

p.559
非公式訳

20.3.1 ファンクショナルカバレッジ

検証プランが出来てしまえば、あとはそのプランどおりにDUVを動かしてその挙動を確かめるためのコードを書くだけです。

検証プラン全体のどこまで完了したのかを示す指標のことを「ファンクショナルカバレッジ」といいます。テストベンチには、検証プランに列挙した確認事項などの項目ごとにそのためのテストを記述します。各テストを実行するたびに、リストに並んだそれぞれの項目にチェックマークをつけます。そうしてそれをファンクショナルカバレッジが100%に達するまで続けます。