モデルからテストを導出する際の基準を何と呼ぶか。

カバレッジ基準はどの程度のテストをモデルから抽出するかを決定する指標である。