「モデルベースアプローチ」の説明はどれか。

システムの振る舞いを数理的または図的なモデル（状態遷移図など）で表現し、そこからテストケースを導出するアプローチ。