「モデルベーステスト(MBT)」ツールを導入する主なメリットはどれか。

モデル(状態遷移等)からテストを自動生成するため、仕様変更への追従性が高く、漏れも防ぎやすい。