システム仕様が変更された際のMBTの対応として正しいものはどれか。

仕様変更時はモデルを更新することで最新のテストケースを一貫性を保って再生成できる。