「モデルベースドテスト(MBT)」において、モデルからテストケースを自動生成する利点はどれか。

モデルを唯一の正解(ソース・オブ・トゥルース)とすることで、仕様とテストの同期が容易になる。