特定の遷移が失敗した際の影響度をモデル上で評価する指標はどれか。

無限に続くパスを持つモデルから有限のテストを生成するための制約はどれか。