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

ループを含むモデルでは、パスの深さや繰り返し回数に制限を設けることで、テスト生成を停止させる。

関連記事

関連記事はありません。