生成されたテストスイートが、モデルの論理構造をどの程度網羅しているか評価することを何と呼ぶか。

テストがモデル内のすべての状態や遷移、あるいは特定の論理パスを網羅しているかを定量的に示す。