「モデルベースドテスト（MBT）ツール」が生成するものはどれか。

定義されたモデル（状態遷移モデルなど）から、自動的にテストパスを計算し、テストケースや実行スクリプトを生成する。