テストオラクル問題の解決策である『モデルベースドテストによるオラクルの形式化』と『疑似オラクル』の違いに関する記述として正しいものはどれか。

• ✓モデルベースドテストはテストモデルの一部としてテストオラクルを形式化し期待出力の生成とテスト導出を可能にするのに対し、疑似オラクルはテスト対象と同じ仕様を満たす、独自に開発された別システム（レガシーシステムや簡易版など）である。
• Bモデルベースドテストは人間の経験や知識をオラクルとして利用する手法であり、疑似オラクルは入力変換後の出力関係を検証する手法である。
• Cモデルベースドテストと疑似オラクルはいずれもテスト対象が定義したプロパティを用いて期待結果との関係を検証する点で同じである。
• D疑似オラクルはテスト自動化に不向きであり、モデルベースドテストは常に人間オラクルを必要とする。