「モデルベースドテスティング」において、モデルからテストケースを生成する際の「カバレッジ基準」とは。

モデルをどの程度詳細に辿ってテストするかを決めるための論理的な指標。