MBTで生成されたテストケースを実行する際の特徴はどれか。

モデルから導出されたテストケースは定義された論理に基づき一貫した手順で提供される。