検証対象の機能を定義する要件定義情報、及び前記要件定義情報で定義された機能を発揮する遷移条件を定義する遷移条件情報、を記憶する記憶手段と、前記検証対象に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、前記遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、前記要件定義情報で定義された機能を発揮させる設計検証プログラムを、前記記憶手段によって記憶された前記要件定義情報と前記遷移条件情報とに基づいて生成する、設計検証プログラム生成手段と、を備える設計検証装置。前記検証対象が備える表示部に個別的に表示される複数の画面を表示出力する出力手段を備え、前記要件定義情報は、前記複数の画面及び各画面に含まれる項目を特定する画面内容特定情報と、これら複数の画面を前記検証対象に対する操作内容に応じて相互間で遷移させる場合のリンク関係を特定するリンク関係特定情報とを含み、前記遷移条件情報は、前記複数の画面又は前記項目に対する操作内容と、当該操作内容に応じた前記複数の画面又は前記項目の操作結果とを、相互に対応付けて構成された遷移条件である操作遷移条件を特定する操作遷移条件情報を含み、前記設計検証プログラム生成手段は、前記複数の画面又は前記項目に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、当該操作内容に応じた前記複数の画面又は前記項目の操作結果を前記操作遷移条件情報に基づいて特定し、前記出力手段にて表示出力されている画面を当該特定した操作結果に応じて変化させ、当該操作内容が前記複数の画面を相互間で遷移させる操作内容であった場合には、前記リンク関係特定情報にて特定されるリンク関係に基づいて前記出力手段にて表示出力されている画面を他の画面に遷移させる、ための前記設計検証プログラムを生成する、請求項1に記載の設計検証装置。前記操作遷移条件情報は、種類が異なる複数の検証対象の相互間において共通の遷移条件である共通遷移条件を特定する共通遷移条件情報である、請求項2に記載の設計検証装置。前記遷移条件情報は、前記操作内容が受け付けられてから当該操作内容に応じた前記操作結果を得るための遷移条件である中間遷移条件を特定する中間遷移条件情報を含み、前記設計検証プログラム生成手段は、前記出力手段にて表示出力されている画面を、前記中間遷移条件情報にて特定される遷移条件に基づいて、前記特定した操作結果に応じて変化させる、ための前記設計検証プログラムを生成する、請求項2又は3に記載の設計検証装置。前記中間遷移条件情報は、種類が異なる複数の検証対象の相互間において共通ではない遷移条件である個別遷移条件を特定する個別遷移条件情報である、請求項4に記載の設計検証装置。前記設計検証プログラム生成手段にて生成された前記設計検証プログラムによって、所定手段を介して受け付けられた前記操作内容に対応する遷移条件に基づいて前記要件定義情報で定義された機能を発揮させた場合に、当該操作内容の履歴を特定するための操作履歴情報を所定の記憶手段に記憶する操作履歴記録手段を備える、請求項1から5のいずれか一項に記載の設計検証装置。前記操作履歴記録手段にて記憶された操作履歴情報を所定形式に変換することにより、検証ロボットにより前記操作内容を行わせるためのロボット検証データを生成するロボット検証データ生成手段を備える、請求項6に記載の設計検証装置。前記ロボット検証データ生成手段は、前記操作履歴情報に基づいて前記検証ロボットで検証を行う上で必要になる条件であるロボット検証条件が所定手段を介して受け付けられた場合に、当該ロボット検証条件を前記ロボット検証データに含める、請求項7に記載の設計検証装置。検証対象の機能を定義する要件定義情報、及び前記要件定義情報で定義された機能を発揮する遷移条件を定義する遷移条件情報、を記憶する記憶ステップと、前記検証対象に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、前記遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、前記要件定義情報で定義された機能を発揮させる設計検証プログラムを、前記記憶ステップにおいて記憶された前記要件定義情報と前記遷移条件情報とに基づいて生成する、設計検証プログラム生成ステップと、を含む設計検証方法。請求項9に記載の設計検証方法をコンピュータに実行させる設計検証プログラム。このような設計検証としては、例えば、要件定義が決定した後、この要件定義に基づいて、組込機器の操作内容と操作結果との対応関係を決定し、この対応関係をプログラムにより再現することが考えられる。この再現においては、例えば、組込機器の操作内容を検証者が入力する毎に、組込機器の操作結果としての表示画面等をプログラムにより自動的に切り替え、この切り替えられた表示画面等が意図したものであるか否かを目視で確認することにより、不具合の有無を確認することが考えられる。しかしながら、上述の如き設計検証では、組込機器の操作内容と操作結果との対応関係をプログラム化する際、設計内容を正確かつ詳細に反映しようとすると、プログラム化作業自体が組込機器自体のプログラム開発と同様の作業となり、開発初期段階において不具合を発見するという設計検証の目的に合致しなくなってしまうという問題があった。本発明は、上記に鑑みてなされたものであって、組込機器等の操作内容と操作結果との対応関係を容易かつ正確に生成して設計検証を行うことが可能になる、設計検証装置、設計検証方法、及び設計検証プログラムを提供することを目的とする。上述した課題を解決し、目的を達成するために、請求項1に記載の本発明は、検証対象の機能を定義する要件定義情報、及び前記要件定義情報で定義された機能を発揮する遷移条件を定義する遷移条件情報、を記憶する記憶手段と、前記検証対象に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、前記遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、前記要件定義情報で定義された機能を発揮させる設計検証プログラムを、前記記憶手段によって記憶された前記要件定義情報と前記遷移条件情報とに基づいて生成する、設計検証プログラム生成手段とを備える設計検証装置である。請求項2に記載の本発明は、請求項1に記載の本発明において、前記検証対象が備える表示部に個別的に表示される複数の画面を表示出力する出力手段を備え、前記要件定義情報は、前記複数の画面及び各画面に含まれる項目を特定する画面内容特定情報と、これら複数の画面を前記検証対象に対する操作内容に応じて相互間で遷移させる場合のリンク関係を特定するリンク関係特定情報とを含み、前記遷移条件情報は、前記複数の画面又は前記項目に対する操作内容と、当該操作内容に応じた前記複数の画面又は前記項目の操作結果とを、相互に対応付けて構成された遷移条件である操作遷移条件を特定する操作遷移条件情報を含み、前記設計検証プログラム生成手段は、前記複数の画面又は前記項目に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、当該操作内容に応じた前記複数の画面又は前記項目の操作結果を前記操作遷移条件情報に基づいて特定し、前記出力手段にて表示出力されている画面を当該特定した操作結果に応じて変化させ、当該操作内容が前記複数の画面を相互間で遷移させる操作内容であった場合には、前記リンク関係特定情報にて特定されるリンク関係に基づいて前記出力手段にて表示出力されている画面を他の画面に遷移させる、ための前記設計検証プログラムを生成する。請求項3に記載の本発明は、請求項2に記載の本発明において、前記操作遷移条件情報は、種類が異なる複数の検証対象の相互間において共通の遷移条件である共通遷移条件を特定する共通遷移条件情報である。請求項4に記載の本発明は、請求項2又は3に記載の本発明において、前記遷移条件情報は、前記操作内容が受け付けられてから当該操作内容に応じた前記操作結果を得るための遷移条件である中間遷移条件を特定する中間遷移条件情報を含み、前記設計検証プログラム生成手段は、前記出力手段にて表示出力されている画面を、前記中間遷移条件情報にて特定される遷移条件に基づいて、前記特定した操作結果に応じて変化させる、ための前記設計検証プログラムを生成する。請求項5に記載の本発明は、請求項4に記載の本発明において、前記中間遷移条件情報は、種類が異なる複数の検証対象の相互間において共通ではない遷移条件である個別遷移条件を特定する個別遷移条件情報である。請求項6に記載の本発明は、請求項1から5のいずれか一項に記載の本発明において、前記設計検証プログラム生成手段にて生成された前記設計検証プログラムによって、所定手段を介して受け付けられた前記操作内容に対応する遷移条件に基づいて前記要件定義情報で定義された機能を発揮させた場合に、当該操作内容の履歴を特定するための操作履歴情報を所定の記憶手段に記憶する操作履歴記録手段を備える。請求項7に記載の本発明は、請求項6に記載の本発明において、前記操作履歴記録手段にて記憶された操作履歴情報を所定形式に変換することにより、検証ロボットにより前記操作内容を行わせるためのロボット検証データを生成するロボット検証データ生成手段を備える。請求項8に記載の本発明は、請求項7に記載の本発明において、前記ロボット検証データ生成手段は、前記操作履歴情報に基づいて前記検証ロボットで検証を行う上で必要になる条件であるロボット検証条件が所定手段を介して受け付けられた場合に、当該ロボット検証条件を前記ロボット検証データに含める。請求項9に記載の本発明は、検証対象の機能を定義する要件定義情報、及び前記要件定義情報で定義された機能を発揮する遷移条件を定義する遷移条件情報、を記憶する記憶ステップと、前記検証対象に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、前記遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、前記要件定義情報で定義された機能を発揮させる設計検証プログラムを、前記記憶ステップにおいて記憶された前記要件定義情報と前記遷移条件情報とに基づいて生成する、設計検証プログラム生成ステップとを含む設計検証方法である。請求項10に記載の本発明は、請求項9に記載の設計検証方法をコンピュータに実行させる設計検証プログラムである。請求項1、9、又は10に記載の本発明によれば、検証対象に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、要件定義情報で定義された機能を発揮させる設計検証プログラムが自動的に生成されるので、この設計検証プログラムを用いて設計検証を行うことができ、組込機器等の操作内容と操作結果との対応関係を容易かつ正確に生成して設計検証を行うことが可能になる。また、請求項2に記載の本発明によれば、複数の画面又は項目に対する仮想的な操作内容が受け付けられた場合に、出力手段にて表示出力されている画面を操作結果に応じて変化させ、該操作内容が複数の画面を相互間で遷移させる操作内容であった場合には、リンク関係特定情報にて特定されるリンク関係に基づいて出力手段にて表示出力されている画面を他の画面に遷移させる、ための設計検証プログラムが生成されるので、この設計検証プログラムを用いることで、仮想的な操作内容に対する操作結果を出力手段にて表示出力されている画面により視覚的に把握することができるので、設計検証を一層容易に行うことが可能になる。また、請求項3に記載の本発明によれば、操作遷移条件情報は、種類が異なる複数の検証対象の相互間において共通の遷移条件である共通遷移条件を特定する共通遷移条件情報であるので、これら複数の検証対象に共通の遷移条件については共通遷移条件情報として一括して設計検証プログラムに反映させることができ、設計検証を一層容易に行うことが可能になる。また、請求項4に記載の本発明によれば、出力手段にて表示出力されている画面を、中間遷移条件情報にて特定される遷移条件に基づいて、特定した操作結果に応じて変化させる、ための設計検証プログラムが生成されるので、この設計検証プログラムを用いることで、中間遷移条件に基づいて変化された操作結果を出力手段にて表示出力されている画面により視覚的に把握することができるので、設計検証を一層容易に行うことが可能になる。また、請求項5に記載の本発明によれば、中間遷移条件情報は、種類が異なる複数の検証対象の相互間において共通ではない遷移条件である個別遷移条件を特定する個別遷移条件情報であるので、これら複数の検証対象に共通でない遷移条件については個別遷移条件情報として個別的に設計検証プログラムに反映させることができ、機能が異なる様々な種類の検証対象に対しても設計検証を容易に行うことが可能になる。また、請求項6に記載の本発明によれば、操作内容に対応する遷移条件に基づいて要件定義情報で定義された機能を発揮させた場合に、当該操作内容の履歴を特定するための操作履歴情報を所定の記憶手段に記憶するので、この操作履歴情報を設計検証の結果の一部として利用する等、設計検証の記録を容易かつ正確に残すことができる。また、請求項7に記載の本発明によれば、操作履歴情報を所定形式に変換することにより、検証ロボットにより操作内容を行わせるためのロボット検証データを生成するので、設計検証の結果をロボット検証に利用することができ、ロボット検証を容易に行うことが可能になる。また、請求項8に記載の本発明によれば、操作履歴情報に基づいて検証ロボットで検証を行う上で必要になる条件であるロボット検証条件が所定手段を介して受け付けられた場合に、当該ロボット検証条件をロボット検証データに含めるので、ロボット検証の特有の条件をロボット検証データに設定することができ、ロボット検証を一層容易に行うことが可能になる。以下に添付図面を参照して、この発明に係る設計検証装置、設計検証方法、及び設計検証プログラムの実施の形態を詳細に説明する。ただし、この実施の形態によって本発明が限定されるものではない。概要最初に、検証の概要について説明する。検証とは、検証対象の設計内容や機能内容の正常性を確認するための複数種類の検証の総称であり、設計検証とロボット検証とを含む。この検証は、検証対象を開発している開発メーカ自身が行うこともできるが、開発メーカからの依頼により検証を実施する検証事業者が実施してもよい。以下では、これら各者を、相互に区別する必要がない場合には単にユーザと総称する。検証対象は、例えば、携帯電話やカーナビゲーション端末の如き組込機器や、アプリケーションソフトウェアが該当する。以下では、携帯電話の検証を行う例について説明する。図1は、設計検証とロボット検証の概要を示す図である。なお、本実施形態の設計検証装置、設計検証方法、及び設計検証プログラムは、主として設計検証に関するものであるため、ロボット検証については詳細な説明は省略する。設計検証SAとは、検証対象の開発初期段階において、携帯電話の操作内容と操作結果との対応関係を視覚的にシミュレーションすることで、これら対応関係に関する不具合を早期に発見するものである。この設計検証SAは、概略的には、設計検証プログラム生成工程SA1、設計検証工程SA2、操作履歴記録工程SA3、及びロボット検証データ生成工程SA4を順次経ることで行われる。設計検証プログラム生成工程SA1は、要件定義情報及び遷移条件情報に基づいて、設計検証に使用するための設計検証プログラムを生成する処理設計検証プログラム生成処理を行う工程である。要件定義情報及び遷移条件情報については後述する。設計検証プログラムとは、例えば、携帯電話が備える表示部以下、ディスプレイに表示される各種の画面を表示する表示領域を、設計検証装置のディスプレイに表示させるプログラム、コンピュータを介して携帯電話に対する仮想的な操作を行う毎に、表示領域に表示される画面を必要に応じて切り替えることで、操作内容この例では、携帯電話に対する仮想的な操作と操作結果この例では、表示領域に表示される画面との対応関係を確認するためのプログラムである。設計検証工程SA2は、設計検証プログラムを使用して設計検証を実施する処理設計検証処理を行う工程である。操作履歴記録工程SA3は、設計検証工程で実施された設計検証の操作履歴を記録する処理操作履歴記録処理を行う工程である。ロボット検証データ生成工程SA4は、操作履歴記録工程SA3で記録された操作履歴に基づいて、ロボット検証で使用するためのロボット検証データを生成する処理ロボット検証データ生成処理を行う工程である。ロボット検証SBとは、検証対象のテスト機や実機が出来上がった後に、これらテスト機や実機を、専用の検証ロボット機械ロボットやソフトウェアロボットソフトウェアシミュレータによって操作しつつ、検証対象の操作内容と操作結果との対応関係を確認することで、これら対応関係に関する不具合を発見するものである。次に、本実施の形態において使用する用語の意味について説明する。設計検証を行うために必要な情報としては、少なくとも、要件定義情報と遷移条件情報とを挙げることができ、これら要件定義情報と遷移条件情報によって、携帯電話の操作内容と操作結果との対応関係が特定される。要件定義情報とは、携帯電話の機能を定義する情報である。例えば、要件定義情報は、複数の画面及び各画面に含まれる項目を特定する画面内容特定情報と、これら複数の画面を携帯電話に対する操作内容に応じて相互間で遷移させる場合のリンク関係を特定するリンク関係特定情報とを含む。この要件定義情報は、一般的には、開発メーカが作成して検証事業者に提供する。遷移条件情報とは、要件定義情報で定義された機能を発揮するための条件以下、遷移条件を定義する情報である。例えば、遷移条件情報としては、要件定義情報で定義された機能を得るために携帯電話を操作する際の操作内容や、操作内容の相互間における特別な条件が該当する。この遷移条件情報は、さらに、共通遷移条件情報と個別遷移条件情報に大別される。共通遷移条件情報とは、種類が異なる複数の携帯電話の相互間において共通の遷移条件である共通遷移条件を特定する遷移条件情報である。この共通遷移条件情報は、例えば、複数の画面又は項目に対する操作内容と、当該操作内容に応じた複数の画面又は項目の操作結果とを、相互に対応付けて構成された遷移条件である操作遷移条件を特定する操作遷移条件情報として構成される。具体的には、種類が異なる携帯電話であっても、多くの携帯電話においては、MENUという操作ボタンが押下された場合には、ディスプレイにトップ画面が表示されるため、このような操作ボタンによる操作内容と、表示画面の振舞い複数の表示画面の相互間の遷移や、一つの表示画面に含まれる複数の項目の相互間の遷移等との対応関係を特定する情報が、操作遷移条件情報に含まれる。個別遷移条件情報とは、種類が異なる複数の携帯電話の相互間において共通ではない遷移条件である個別遷移条件を特定する遷移条件情報である。この個別遷移条件情報は、例えば、操作内容が受け付けられてから当該操作内容に応じた操作結果を得るための遷移条件である中間遷移条件を特定する中間遷移条件情報として構成される。具体的には、ある特定の種類の携帯電話において、MENUという操作ボタンが押下された場合に、所定の遅延時間を経てからディスプレイにトップ画面が表示される場合には、このような操作ボタン、表示画面、及び遅延時間との対応関係を特定する情報が、中間遷移条件情報に含まれる。さらに、ロボット検証を行うために必要な情報としては、少なくとも、ロボット検証条件情報とを挙げることができる。ロボット検証条件情報とは、操作履歴記録工程で記録された操作履歴情報に基づいて、検証ロボットで検証を行う上で必要になる条件であるロボット検証条件を特定する情報である。例えば、携帯電話の操作手段を検証ロボットの操作アームで押下し、この操作結果としてディスプレイに表示された画面をカメラで撮影する場合、操作アームとカメラとの位置関係によっては相互に干渉が生じ、操作アームを操作後に退避位置に移動させてからカメラで撮影を行う必要があるため、このような退避時間をロボット検証条件情報として設定する。あるいは、ロボット検証において、電波発信機等を用いて検証を行う必要がある場合には、電波発信機の準備時間を確保する必要があるため、このような準備時間をロボット検証条件情報として設定する。構成次に、設計検証装置1の構成について説明する。図2は、設計検証装置1の電気的構成を機能概念的に示したブロック図である。この図2に示すように、設計検証装置1は、入力部2、出力部3、制御部4、及び記憶部5を備えている。構成-入力部入力部2は、設計検証装置1に対して情報を入力するための入力手段であり、例えば、キーボード、マウス、カードリーダ、及びネットワークインターフェースにより構成されている。特に、入力部2は、要件定義情報、遷移条件情報、及びロボット検証条件情報を、設計検証装置1に対して入力するための入力手段として機能する。また、入力部2は、後述する設計検証プログラム生成処理において生成された設計検証プログラムを用いて、後述する設計検証処理で設計検証を行う際に、携帯電話に対する仮想的な操作を行うための所定手段として機能する。構成-出力部出力部3は、設計検証装置1から情報を出力するための出力手段であり、例えば、ディスプレイ、スピーカ、及び入力部2と共通のネットワークインターフェースにより構成されている。特に、出力部3のディスプレイは、携帯電話のディスプレイに個別的に表示される複数の画面を表示出力する出力手段として機能する。構成-制御部制御部4は、設計検証装置1の各部を制御する制御手段である。この制御部4は、機能概念的に、設計検証プログラム生成部6、設計検証部7、操作履歴記録部8、及びロボット検証データ生成部9を備えて構成されている。設計検証プログラム生成部6は、携帯電話に対する仮想的な操作内容が入力部2を介して受け付けられた場合に、遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、要件定義情報で定義された機能を発揮させる設計検証プログラムを、記憶部5によって記憶された要件定義情報と遷移条件情報とに基づいて生成する設計検証プログラム生成手段である。設計検証部7は、設計検証プログラム生成部6にて生成された設計検証プログラムを用いて設計検証を行う設計検証手段である。操作履歴記録部8は、設計検証プログラム生成部6にて生成された設計検証プログラムによって、入力部2を介して受け付けられた操作内容に対応する遷移条件に基づいて要件定義情報で定義された機能を発揮させた場合に、当該操作内容の履歴を特定するための操作履歴情報を記憶部5に記憶する操作履歴記録手段である。ロボット検証データ生成部9は、操作履歴記録部8にて記憶された操作履歴情報を所定形式に変換することにより、検証ロボットにより操作内容を行わせるためのロボット検証データを生成するロボット検証データ生成手段である。これら各部の具体的な機能については後述する。この制御部4は、具体的には、CPU、当該CPU上で解釈実行される各種のプログラムOSなどの基本制御プログラムや、OS上で起動され特定機能を実現するアプリケーションプログラムを含む、及びプログラムや各種のデータを格納するためのRAMの如き内部メモリを備えて構成されるコンピュータである。特に、本実施の形態に係る設計検証プログラムは、任意の記憶媒体又はネットワークを介して設計検証装置1にインストールされることで、制御部4の各部を実質的に構成する。構成-記憶部記憶部5は、設計検証装置1の動作に必要なプログラム及び各種のデータを記録する記録手段であり、例えば、外部記憶装置としてのハードディスク図示省略を用いて構成されている。ただし、ハードディスクに代えてあるいはハードディスクと共に、磁気ディスクの如き磁気的記録媒体、又はDVDやブルーレイディスクの如き光学的記録媒体を含む、その他の任意の記録媒体を用いることができる。特に、記憶部5は、携帯電話の機能を定義する要件定義情報、及び前記要件定義情報で定義された機能を発揮する遷移条件を定義する遷移条件情報、を記憶する記憶手段として機能する。設計検証処理次に、このように構成された設計検証装置1にて行われる設計検証処理について説明する。図3は、設計検証処理のフローチャートである。この設計検証処理は、例えば、設計検証装置1の入力部2を介してユーザが所定方法で起動を指示することによって起動される。この設計検証処理では、図3に示すように、設計検証プログラム生成処理SC1、設計検証処理SC2、操作履歴記録処理SC3、ロボット検証データ生成処理SC4が順次行われる。以下、各処理について説明する。設計検証処理設計検証プログラム生成処理最初に、図3の設計検証プログラム生成処理SC1について説明する。図4は、設計検証プログラム生成処理のフローチャートである。この処理において、ユーザは、要件定義情報を入力部2を介して設計検証装置1に入力する。この要件定義情報は、例えば、図5に示す如き所定のフォーマットで構成されている。具体的には、要件定義情報は、一つの大項目と、一つ又は複数の小項目とを含んで構成されている。これら大項目と小項目の各々は、携帯電話のディスプレイに表示される複数の画面であって、階層構造化された複数の画面のいずれかに割り当てられており、当該割り当てられた画面及び当該画面に含まれる項目操作項目とを特定する画面内容特定情報と、これら複数の画面を携帯電話に対する操作内容に応じて相互間で遷移させる場合のリンク関係を特定するリンク関係特定情報とを含むものである。具体的には、大項目には、最も上位層に位置付けられる画面以下、トップ画面が割り当てられており、各小項目には、トップ画面から遷移可能な他の画面以下、サブ画面が割り当てられている。より具体的には、大項目と小項目は、属性情報と内容情報を含んで構成されている。属性情報とは、大項目や小項目の属性を示す情報であり、これら大項目や小項目に割り当てられたトップ画面やサブ画面の名称を示す画面名と、これらトップ画面やサブ画面が遷移先となる場合の名称であるリンク名とを含んでいる。内容情報とは、これら大項目や小項目の内容を示す情報であり、トップ画面やサブ画面に含まれる各項目に関する、番号、項目、及びリンク先を相互に対応付けて構成されている。画面内容特定情報は、この項目によって主として構成され、リンク関係特定情報は、リンク先によって主として構成される。例えば、画面名=検索の小項目において、リンク名=トップ-検索とあるのは、画面名=トップの画面すなわち、大項目で割り当てられたトップ画面における項目=検索が選択操作された場合に、当該小項目で定義される画面すなわち、サブ画面の一つである検索画面に遷移する携帯電話のディスプレイの画面が切り替わることを示す。なお、図5には、複数の小項目の中の一部のみを示し、他の小項目については図示を省略する。このように構成された要件定義情報は、例えば、公知の表計算ソフトウェアにより作成され、設計検証装置1に入力される。なお、要件定義情報は、図5に示す以外のフォーマットで作成することができ、例えば、大項目の内部に小項目を入れ子構造で組み込むことにより、一つの表形式で作成することができる。このような要件定義情報の入力を受け付けるとSD1、Yes、この要件定義情報が記憶部5に記憶され、設計検証プログラム生成部6は、当該記憶された要件定義情報に基づいて設計検証プログラムを生成するSD2。この際、設計検証プログラム生成部6は、共通遷移条件情報を要件定義情報に付加して設計検証プログラムを生成する。具体的には、設計検証プログラム生成部6は、Java登録商標にて記述されたプログラムバイナリファイルとして形成されており、共通遷移条件情報は、このプログラムのプロパティ及びインターフェイスの定義ファイル共通遷移条件情報をテンプレートとして使用するためのオブジェクト。以下、テンプレートオブジェクトとして、xml形式で予め記述されて記憶部5に記憶されている。この共通遷移条件情報を図6に図示する。そして、設計検証プログラム生成部6としてのプログラムを実行することにより、xml形式の共通遷移条件情報に対して、入力された要件定義情報を書き込む。より具体的には、設計検証プログラム生成部6は、Java登録商標にて記述されたプログラムバイナリファイルとして形成されており、設計検証プログラム生成の全体制御を行う部分と、様々な制御情報を受持つコンポーネントから構成される。共通遷移条件情報は、このコンポーネントプログラムの一つのプロパティ及びインターフェイスの定義ファイル共通遷移条件情報をテンプレートとして使用するためのオブジェクト。以下、テンプレートオブジェクトとして、xml形式で予め記述されて記憶部5に記憶されている。この共通遷移条件情報を図6に図示する。そして、設計検証プログラム生成部6としてのプログラムを実行することにより、xml形式の共通遷移条件情報に対して、入力された要件定義情報を書き込み、所定の動作をするオブジェクトを生成する。また、設計検証プログラム生成部6は、大項目の各項目が、共通遷移条件情報のOKボタンが押下されることで選択された場合の遷移先として、当該各項目のリンク先を設定する。例えば、大項目の項目検索が、共通遷移条件情報のOKボタンが押下されることで選択された場合の遷移先として、当該項目検索のリンク先である検索を設定する。このことにより、大項目の項目検索がOKボタンで選択された場合に、大項目に対応するトップ画面が、小項目に対応するサブ画面の一つである検索画面に遷移することが設定される。また、各小項目の各項目が、共通遷移条件情報のクリアボタンが押下されることで選択された場合のリンク先として、大項目を設定する。例えば、小項目に対応するサブ画面の一つである検索画面の項目検索が、共通遷移条件情報のクリアボタンが押下されることで選択された場合のリンク先として、大項目に対応するトップ画面を設定する。このことにより、検索画面の項目検索がクリアボタンで押下された場合に、検索画面がトップ画面に遷移することが設定される。このように共通遷移条件情報への要件定義情報の書き込みが完了すると、設計検証プログラム生成部6は、図7に例示する画面遷移図を設計検証装置1の出力部3のディスプレイに表示するSD3。この画面遷移図は、要件定義情報及び共通遷移条件情報で定義された各画面の相互間の遷移を示す図であり、各画面を表示する画面表示領域10と、各画面の相互間の遷移を示す遷移線11とを含んで構成されている。各画面表示領域10には、各画面の項目名が表示されている。これら各画面の各項目は、先に書き込まれた要件定義情報に含まれる画面内容特定情報に基づいて表示される。これら各画面及び各項目の中で、相互にリンクされている各画面及び各項目が、遷移線11で接続されている。この遷移線11は、先に書き込まれた要件定義情報に含まれるリンク関係特定情報に基づいて表示される。この画面遷移図を見ることにより、ユーザは、各画面及び各項目のリンク関係を視覚的に把握することが可能になる。なお、図7には、トップ画面と検索画面に対応する画面表示領域10のみを示しているが、実際には、全ての画面に対応する画面表示領域10が表示される。次いで、個別遷移条件情報の書き込みが行われる。具体的には、ユーザが、設計検証装置1の入力部2を介して、画面遷移図の画面表示領域10又は遷移線11を選択するとSD4、Yes、設計検証プログラム生成部6は、個別遷移条件情報を設定するための設定画面を出力部3のディスプレイに表示させるSD5。この設定画面は、図8に例示するように、設定すべき個別遷移条件情報の種類を選択する選択欄12と、設定すべき個別遷移条件情報の内容パラメータを入力すべき入力欄13とを含んで構成されている。そして、ユーザが、入力部2を介して、個別遷移条件情報の種類を選択欄12で設定し、個別遷移条件情報の内容を入力欄13に入力し、OKボタン14を押下することでこれらの設定情報の入力を指示する。この設定情報の入力指示を受けるとSD6、Yes、設計検証プログラム生成部6は、これら種類と内容とを組み合わせて構成された個別遷移条件情報を、xml形式の要件定義情報及び共通遷移条件情報に対してさらに書き込むSD7。例えば、画面表示領域10を選択し、選択欄12では個別遷移条件情報の種類=遅延時間を選択し、入力欄13には個別遷移条件情報の内容=500msecを入力した場合、当該選択された画面表示領域10に関する全ての操作例えば、当該画面表示領域10に表示されているトップ画面又はサブ画面に含まれる各項目から、他の画面への遷移操作が行われた場合に、500msecだけ遅延して操作内容が実行されることを書き込む。あるいは、遷移線11を選択し、選択欄12では個別遷移条件情報の種類=遅延を選択し、入力欄13には個別遷移条件情報の内容=500msecを入力した場合、当該選択された遷移線11によって示される各画面の相互間の遷移の操作例えば、一方の画面に含まれる各項目が選択され、他方の画面に遷移する操作が行われた場合に、500msecだけ遅延して操作内容が実行されることを書き込む。このような個別遷移条件情報の書き込みが完了した時点で、設計検証プログラム生成処理が終了する。設計検証処理設計検証処理次いで、図3の設計検証処理SC2が実行される。図9は、設計検証処理のフローチャートである。この処理では、設計検証を行う。具体的には、ユーザが、設計検証装置1の入力部2を介して、設計検証処理の実行を所定方法で指示するとSE1、Yes、設計検証部7は、図10に例示するシミュレーション画面を生成して設計検証装置1の出力部3に表示させるSE2。このシミュレーション画面は、携帯電話を表示する表示領域15と、操作を行う操作領域16とを含んで構成されている。表示領域15には、検証対象である携帯電話の使用時の外観画像図10の例では、2つ折り式携帯電話を開いた状態の正面画像が表示されている。この外観画像は、予め記憶部5に記憶されており、設計検証プログラムによって呼び出されて表示される。この外観画像のディスプレイ17には、大項目に対応するトップ画面又は各小項目に対応するサブ画面のいずれかの画面における各項目が表示されている。そして、これら各項目を入力部2のマウス等にてクリック操作等することにより、この操作内容の入力が設計検証装置1に受け付けられる。これら各項目としては、設計検証プログラム生成処理にて設計検証プログラムに書き込まれた各項目が表示される。また、外観画像には携帯電話の操作手段MENUキー、十字キー、OKキー、クリアキー、終話キー等18が含まれており、これら各操作手段を入力部2のマウス等にてクリックして仮想的に操作することにより、この操作内容の入力が設計検証装置1に受け付けられる。このような外観画像の各操作手段の位置や各操作に対する操作内容の割り当ては、外観画像と共に予め記憶部5に記憶されており、設計検証プログラムによって呼び出されて使用される。操作領域16には、操作履歴記録の開始、停止、再生を指示するための開始ボタン19、停止ボタン20、再生ボタン21と、ロボット検証条件情報を入力するためのコマンドボタン22が設けられている。これら各ボタンの機能については後述する。このように表示されたシミュレーション画面において、ユーザは、携帯電話の操作手段を入力部2のマウス等にてクリック等にて仮想的に操作することにより、携帯電話の操作内容を入力する。設計検証部7は、このように操作内容の入力が行われるとSE3、Yes、設計検証プログラム生成処理で書き込まれた要件定義情報、共通遷移条件情報、及び個別遷移条件情報を参照して、当該操作内容に応じて表示領域15のディスプレイ17に表示されている画面の内容を切り替えるSE4。例えば、表示領域15にトップ画面が表示されている場合において、十字キー下がクリック操作された場合には、共通遷移条件情報に基づいて、当該トップ画面の各項目において、現在フォーカスされている項目の一つ下の項目にフォーカスを移動する画面上では、フォーカスされている項目のみを強調表示したり、フォーカスされている項目のみを白抜き表示とする。あるいは、表示領域15にトップ画面が表示されている場合において、当該トップ画面に含まれる項目である検索がクリック操作された場合には、要件定義情報のリンク関係特定情報に基づいて、当該トップ画面を検索画面に切り替える。各画面における項目の表示は、要件定義情報の画面内容特定情報に基づいて行う。また、このような切り替えの際には、個別遷移条件情報に基づいて、切り替えの遅延等の個別的な遷移条件の判定等を行う。なお、表示領域15に表示する画面としては、携帯電話の実際の画面イメージを予め記憶部5に記憶させておき、この実際の画面イメージを使用してもよい。ユーザは、このように携帯電話に対する仮想的な操作を任意の回数だけ繰り返すことで、操作内容と操作結果表示領域に表示される画面の内容との対応関係を視覚的にシミュレーションし、これら対応関係に不具合がないか否かを確認する。これにて設計検証処理が終了する。設計検証処理操作履歴記録処理次いで、図3の操作履歴記録処理SC3が実行される。図11は、操作履歴記録処理のフローチャートである。この処理では、設計検証処理で行った操作の履歴を記録する。具体的には、ユーザが、図10のシミュレーション画面における操作領域16の開始ボタン19を入力部2を介して押下した後、上述の設計検証処理と同様に携帯電話に対する仮想的な操作を繰り返して設計検証を行い、この設計検証の終了後に、操作領域の停止ボタン20を入力部2を介して押下する。操作履歴記録部8は、このように開始ボタン19が押下されてからSF1、Yes、停止ボタン20が押下される迄の間SF6、Yes、設計検証のための仮想的な操作が行われる毎にSF2、Yes、当該行われた操作内容を、操作履歴情報として記憶部5に記憶するSF3。例えば、操作履歴情報は、設計検証においてユーザにより入力された操作内容及びその操作順序を含む。あるいは、さらに、操作結果に関する情報として、表示領域15に表示された携帯電話の画像を記録してもよい。このように操作履歴を記録した後、操作領域の再生ボタン21を入力部2を介して押下すると、操作履歴記録部8は、記憶部5に記憶させた操作履歴情報を読み出し、この操作履歴情報に含まれる操作内容を、当該操作履歴情報に含まれる操作順序に基づいて再現する。この結果、表示領域の携帯電話のディスプレイ画面の内容が自動的に切り替えられる。また、開始ボタン19が押下されてから停止ボタン20が押下される迄の間、ユーザが、コマンドボタン22を押下するとSF4、Yes、操作履歴記録部8は、ロボット検証条件情報を操作履歴情報に書き込むSF5。すなわち、各コマンドボタン22には、相互に異なるロボット検証条件情報が予め割り当てられており、ユーザによって押下されたコマンドボタン22に応じたロボット検証条件情報が操作履歴情報に書き込まれる。例えば、特定のコマンドボタン22には、特定の操作アーム以下、第1の操作アームを移動させてから他の操作アーム以下、第2の操作アームを移動させるまでの間に、第1の操作アームを所定の初期位置に退避させるための所定の退避時間を設けることが、ロボット検証条件情報として予め割り当てられている。そして、ユーザは、操作履歴記録処理において、第1の操作アームにて操作が行われるべき操作内容を入力した後、当該特定のコマンドボタン22を押下してから、第2の操作アームにて操作が行われるべき操作内容を入力する。すると、操作履歴情報には、第1の操作アームにて操作が行われるべき操作内容と、第1の操作アームを所定の退避時間だけ退避させる内容と、第2の操作アームにて操作が行われるべき操作内容とが、順次記憶される。なお、各コマンドボタン22に割り当てるロボット検証条件情報の種類やパラメータは、ユーザが所定方法で任意に設定することができる。これにて操作履歴記録処理が終了する。なお、本実施の形態においては、操作履歴記録処理を設計検証処理とは別のものとして説明しているが、設計検証処理において操作履歴記録処理を同時に行ってもよい。設計検証処理ロボット検証データ生成処理最後に、図3のロボット検証データ生成処理SC4が実行される。図12は、ロボット検証データ生成処理のフローチャートである。この処理では、ロボット検証を行うために検証ロボットに入力する検証データを生成する。具体的には、ユーザが、設計検証装置1の入力部2を介して、設計検証処理の実行を所定方法で指示すると、ロボット検証データ生成部9は、操作履歴記録処理で記憶部5に記憶された操作履歴情報を読み出しSG1、この操作履歴情報を、検証ロボットに入力するための検証データスクリプトデータに変換するSG2。例えば、操作履歴情報に十字キー下をクリック操作するという操作内容が含まれている場合、この操作内容を、携帯電話のテスト機や実機に実装された十字キー下を検証ロボットの操作アームで押下するための当該操作アームの座標に変換する。このような操作内容と操作アームの座標との対応関係や変換ルールは、記憶部5に予め記憶されており、当該変換に際して参照される。また、この検証データには、設計検証プログラム生成処理で書き込まれた要件定義情報、共通遷移条件情報、及び個別遷移条件情報と、操作履歴記録処理で書き込まれたロボット検証条件情報とが含まれるため、これら各情報に基づいてロボット検証を行うためのロボット検証データを生成することができる。これにてロボット検証データ生成処理が終了する。実施の形態に対する変形例以上、本発明に係る実施の形態について説明したが、本発明の具体的な構成及び手段は、特許請求の範囲に記載した各発明の技術的思想の範囲内において、任意に改変及び改良することができる。以下、このような変形例について説明する。解決しようとする課題や発明の効果についてまず、発明が解決しようとする課題や発明の効果は、前記した内容に限定されるものではなく、本発明によって、前記に記載されていない課題を解決したり、前記に記載されていない効果を奏することもでき、また、記載されている課題の一部のみを解決したり、記載されている効果の一部のみを奏することがある。分散や統合についてまた、上述した各電気的構成要素は機能概念的なものであり、必ずしも物理的に図示の如く構成されていることを要しない。すなわち、各部の分散統合の具体的形態は図示のものに限られず、その全部または一部を、各種の負荷や使用状況などに応じて、任意の単位で機能的または物理的に分散統合して構成できる。例えば、設計検証装置1を複数のコンピュータにより分散して構成することができる。各種情報の設定について要件定義情報や遷移条件情報の具体的内容は、検証対象に応じて変更することができる。例えば、検証対象が画面表示機能は持たないが通信機能を持っている組込機器である場合、要件定義情報は、通信機能を定義するための情報例えば、通信コマンドの種別や内容等を含んで構成され、遷移条件情報は、通信コマンドを切り替えるための条件等を含んで構成される。遷移条件情報は、共通遷移条件情報と個別遷移条件情報を含むが、いずれか一方を省略してもよく、あるいは、他の情報を付加してもよい。また、上記実施の形態では、共通遷移条件情報が操作遷移条件情報として構成されており、個別遷移条件情報が中間遷移条件情報として構成されているが、共通遷移条件情報が中間遷移条件情報として構成される場合もあり、あるいは、個別遷移条件情報が操作遷移条件情報として構成される場合もある。また、設計検証装置1には、設定した全ての遷移条件情報を記憶しているので、操作履歴記録処理においては、操作を開始する時の画面開始画面および操作を終了する画面終了画面を指定することで、開始画面から終了画面に至る操作の履歴を自動的に生成させる事も可能であり、設計検証作業のより一層の効率化を図ることができる。また、仕様の不整合や誤りが多い遷移条件例えば、クリアキーにより戻る動作を行った際の戻り先の不具合等、ユーザが実施し忘れることが多い遷移条件、あるいは特に重要な遷移条件については、予め記憶部5に記憶させておき、操作履歴記録処理で記録された操作履歴記録情報に当該遷移条件を自動的に付加等してもよい。あるいは、操作履歴記録情報に対して、このように記憶部5に記憶させた遷移条件が含まれているか否かを自動的に判定し、含まれていない場合には、ユーザに警告を出力等することで、設計検証作業を支援するようにしてもよい。あるいは、同様に、ロボット検証において、使用頻度が高いロボット検証条件情報、ユーザが入れ忘れることが多いロボット検証条件情報、あるいは特に重要なロボット検証条件情報については、予め記憶部5に記憶させておき、ロボット検証データ生成処理において、当該ロボット検証条件情報を、検証ロボットに入力するための検証データに自動的に含めるようにしてもよい。あるいは、ロボット検証データ生成処理で生成された検証データに対して、当該ロボット検証条件情報が含まれているか否かを自動的に判定し、含まれていない場合には、ユーザに警告を出力等することで、ロボット検証データの生成作業を支援するようにしてもよい。また、このように記憶部5に特に重要な遷移条件やロボット検証条件情報を記憶させる場合には、これらの情報を検証対象の種別やメーカに対応付けて記憶部5に記憶させておき、種別やメーカが入力部2に入力された場合には、当該種別やメーカに応じた情報のみを自動的に呼び出して、操作履歴記録情報に検証データに自動的に含めるようにしてもよい。