モデルベースドテスト（MBT）のアプローチとして正しいものはどれか。

MBTは、システムの振る舞いを記述したモデル（状態遷移図など）を作成し、そこから自動的にテストケースや実行スクリプトを生成する手法である。