テスト戦略における「モデルベースドアプローチ」の説明として、適切なものはどれか。

モデルベースドテストは、仕様をモデル化し、そこから半自動的にテストケースを導出する。