設計モデル(UML等)をテスト用モデル(状態遷移図等)へ変換する際の課題はどれか。

設計目的とテスト目的では必要な情報が異なるため、変換時に意図した動作が維持されるか確認が必要である。