(57)【特許請求の範囲】
【請求項１】
検証対象の機能を定義する要件定義情報、及び前記要件定義情報で定義された機能を発揮する遷移条件を定義する遷移条件情報、を記憶する記憶手段と、
前記検証対象に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、前記遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、前記要件定義情報で定義された機能を発揮させる設計検証プログラムを、前記記憶手段によって記憶された前記要件定義情報と前記遷移条件情報とに基づいて生成する、設計検証プログラム生成手段と、
前記設計検証プログラム生成手段にて生成された前記設計検証プログラムに基づいて、検証ロボットにより前記操作内容を行わせるためのロボット検証データを生成するロボット検証データ生成手段と、を備え、
前記ロボット検証データ生成手段は、前記検証ロボットで検証を行う上で必要になる条件であるロボット検証条件が所定手段を介して受け付けられた場合に、当該ロボット検証条件を前記ロボット検証データに含める、
設計検証装置。
【請求項２】
前記検証対象が備える表示部に個別的に表示される複数の画面を表示出力する出力手段を備え、
前記要件定義情報は、前記複数の画面及び各画面に含まれる項目を特定する画面内容特定情報と、これら複数の画面を前記検証対象に対する操作内容に応じて相互間で遷移させる場合のリンク関係を特定するリンク関係特定情報とを含み、
前記遷移条件情報は、前記複数の画面又は前記項目に対する操作内容と、当該操作内容に応じた前記複数の画面又は前記項目の操作結果とを、相互に対応付けて構成された遷移条件である操作遷移条件を特定する操作遷移条件情報を含み、
前記設計検証プログラム生成手段は、前記複数の画面又は前記項目に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、当該操作内容に応じた前記複数の画面又は前記項目の操作結果を前記操作遷移条件情報に基づいて特定し、前記出力手段にて表示出力されている画面を当該特定した操作結果に応じて変化させ、当該操作内容が前記複数の画面を相互間で遷移させる操作内容であった場合には、前記リンク関係特定情報にて特定されるリンク関係に基づいて前記出力手段にて表示出力されている画面を他の画面に遷移させる、ための前記設計検証プログラムを生成する、
請求項１に記載の設計検証装置。
【請求項３】
前記操作遷移条件情報は、種類が異なる複数の検証対象の相互間において共通の遷移条件である共通遷移条件を特定する共通遷移条件情報である、
請求項２に記載の設計検証装置。
【請求項４】
前記遷移条件情報は、前記操作内容が受け付けられてから当該操作内容に応じた前記操作結果を得るための遷移条件である中間遷移条件を特定する中間遷移条件情報を含み、
前記設計検証プログラム生成手段は、前記出力手段にて表示出力されている画面を、前記中間遷移条件情報にて特定される遷移条件に基づいて、前記特定した操作結果に応じて変化させる、ための前記設計検証プログラムを生成する、
請求項２又は３に記載の設計検証装置。
【請求項５】
前記中間遷移条件情報は、種類が異なる複数の検証対象の相互間において共通ではない遷移条件である個別遷移条件を特定する個別遷移条件情報である、
請求項４に記載の設計検証装置。
【請求項６】
前記設計検証プログラム生成手段は、前記画面内容特定情報に基づいて、前記要件定義情報及び前記共通遷移条件情報で定義された各画面の相互間の遷移を示す画面遷移図であって、各画面を表示する画面表示領域と、各画面の相互間の遷移を示す遷移線とを含んで構成されている画面遷移図を、前記出力手段にて表示出力させる、
請求項３に記載の設計検証装置。
【請求項７】
前記設計検証プログラム生成手段は、
前記画面表示領域又は前記遷移線が所定手段を介して選択された場合に、当該選択された前記画面表示領域又は前記遷移線に対応する個別遷移条件情報を設定する設定画面であって、当該個別遷移条件情報を表示するための設定画面を、前記出力手段にて表示出力させ、
前記設定画面への前記個別遷移条件情報の入力が所定手段を介して受け付けられた場合に、当該入力が受け付けられた前記個別遷移条件情報を、前記選択された前記画面表示領域又は前記遷移線に対応する前記要件定義情報及び前記共通遷移条件情報に対して書き込むと共に、当該入力が受け付けられた前記個別遷移条件情報を、当該入力が受け付けられる直前に前記設定画面に表示されていた前記個別遷移条件情報に代えて前記設定画面に表示させる、
請求項６に記載の設計検証装置。
【請求項８】
前記設計検証プログラム生成手段にて生成された前記設計検証プログラムによって、所定手段を介して受け付けられた前記操作内容に対応する遷移条件に基づいて前記要件定義情報で定義された機能を発揮させた場合に、当該操作内容の履歴を特定するための操作履歴情報を所定の記憶手段に記憶する操作履歴記録手段を備える、
請求項１から７のいずれか一項に記載の設計検証装置。
【請求項９】
前記ロボット検証データ生成手段は、前記操作履歴記録手段にて記憶された操作履歴情報を所定形式に変換することにより、前記ロボット検証データを生成する、
請求項８に記載の設計検証装置。
【請求項１０】
検証対象の機能を定義する要件定義情報、及び前記要件定義情報で定義された機能を発揮する遷移条件を定義する遷移条件情報、を記憶する記憶手段を用いて設計検証を行う設計検証方法であって、
前記検証対象に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、前記遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、前記要件定義情報で定義された機能を発揮させる設計検証プログラムを、前記記憶手段によって記憶された前記要件定義情報と前記遷移条件情報とに基づいて生成する、設計検証プログラム生成ステップと、
前記設計検証プログラム生成ステップにおいて生成された前記設計検証プログラムに基づいて、検証ロボットにより前記操作内容を行わせるためのロボット検証データを生成するロボット検証データ生成ステップと、を含み、
前記ロボット検証データ生成ステップで、前記検証ロボットで検証を行う上で必要になる条件であるロボット検証条件が所定手段を介して受け付けられた場合に、当該ロボット検証条件を前記ロボット検証データに含める、
設計検証方法。
【請求項１１】
請求項１０に記載の設計検証方法をコンピュータに実行させる設計検証プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、設計検証装置、設計検証方法、及び設計検証プログラムに関する。
【背景技術】
【０００２】
携帯電話やカーナビゲーション端末の如き組込機器の開発過程においては、一般的に、要件定義、基本設計、詳細設計といった開発初期段階を経た後、ソフトウェアや機器の実際の開発が行われ、その後に機器評価が行われる。しかしながら、機器評価の時点で初めて不具合が発見された場合には、その時点までに開発過程が相当程度進んでしまっているため、開発作業における手間や費用の損失が膨大になってしまう。そこで、このような問題を解決するため、開発初期段階において機器の操作内容と操作結果との対応関係を視覚的にシミュレーションすることで、これら対応関係に関する不具合を早期に発見して必要に応じて修正等する、設計検証を行うことが好ましい（例えば、特許文献１には、ソフトウェアの検証を行うためのプログラムが開示されている）。
【先行技術文献】
【特許文献】
【０００３】
【特許文献１】特開２００７−３０４９８０号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
このような設計検証としては、例えば、要件定義が決定した後、この要件定義に基づいて、組込機器の操作内容と操作結果との対応関係を決定し、この対応関係をプログラムにより再現することが考えられる。この再現においては、例えば、組込機器の操作内容を検証者が入力する毎に、組込機器の操作結果としての表示画面等をプログラムにより自動的に切り替え、この切り替えられた表示画面等が意図したものであるか否かを目視で確認することにより、不具合の有無を確認することが考えられる。
【０００５】
しかしながら、上述の如き設計検証では、組込機器の操作内容と操作結果との対応関係をプログラム化する際、設計内容を正確かつ詳細に反映しようとすると、プログラム化作業自体が組込機器自体のプログラム開発と同様の作業となり、開発初期段階において不具合を発見するという設計検証の目的に合致しなくなってしまうという問題があった。
【０００６】
本発明は、上記に鑑みてなされたものであって、組込機器等の操作内容と操作結果との対応関係を容易かつ正確に生成して設計検証を行うことが可能になる、設計検証装置、設計検証方法、及び設計検証プログラムを提供することを目的とする。
【課題を解決するための手段】
【０００７】
上述した課題を解決し、目的を達成するために、請求項１に記載の本発明は、検証対象の機能を定義する要件定義情報、及び前記要件定義情報で定義された機能を発揮する遷移条件を定義する遷移条件情報、を記憶する記憶手段と、前記検証対象に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、前記遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、前記要件定義情報で定義された機能を発揮させる設計検証プログラムを、前記記憶手段によって記憶された前記要件定義情報と前記遷移条件情報とに基づいて生成する、設計検証プログラム生成手段と、前記設計検証プログラム生成手段にて生成された前記設計検証プログラムに基づいて、検証ロボットにより前記操作内容を行わせるためのロボット検証データを生成するロボット検証データ生成手段と、を備え、前記ロボット検証データ生成手段は、前記検証ロボットで検証を行う上で必要になる条件であるロボット検証条件が所定手段を介して受け付けられた場合に、当該ロボット検証条件を前記ロボット検証データに含める。
【０００８】
請求項２に記載の本発明は、請求項１に記載の本発明において、前記検証対象が備える表示部に個別的に表示される複数の画面を表示出力する出力手段を備え、前記要件定義情報は、前記複数の画面及び各画面に含まれる項目を特定する画面内容特定情報と、これら複数の画面を前記検証対象に対する操作内容に応じて相互間で遷移させる場合のリンク関係を特定するリンク関係特定情報とを含み、前記遷移条件情報は、前記複数の画面又は前記項目に対する操作内容と、当該操作内容に応じた前記複数の画面又は前記項目の操作結果とを、相互に対応付けて構成された遷移条件である操作遷移条件を特定する操作遷移条件情報を含み、前記設計検証プログラム生成手段は、前記複数の画面又は前記項目に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、当該操作内容に応じた前記複数の画面又は前記項目の操作結果を前記操作遷移条件情報に基づいて特定し、前記出力手段にて表示出力されている画面を当該特定した操作結果に応じて変化させ、当該操作内容が前記複数の画面を相互間で遷移させる操作内容であった場合には、前記リンク関係特定情報にて特定されるリンク関係に基づいて前記出力手段にて表示出力されている画面を他の画面に遷移させる、ための前記設計検証プログラムを生成する。
【０００９】
請求項３に記載の本発明は、請求項２に記載の本発明において、前記操作遷移条件情報は、種類が異なる複数の検証対象の相互間において共通の遷移条件である共通遷移条件を特定する共通遷移条件情報である。
【００１０】
請求項４に記載の本発明は、請求項２又は３に記載の本発明において、前記遷移条件情報は、前記操作内容が受け付けられてから当該操作内容に応じた前記操作結果を得るための遷移条件である中間遷移条件を特定する中間遷移条件情報を含み、前記設計検証プログラム生成手段は、前記出力手段にて表示出力されている画面を、前記中間遷移条件情報にて特定される遷移条件に基づいて、前記特定した操作結果に応じて変化させる、ための前記設計検証プログラムを生成する。
【００１１】
請求項５に記載の本発明は、請求項４に記載の本発明において、前記中間遷移条件情報は、種類が異なる複数の検証対象の相互間において共通ではない遷移条件である個別遷移条件を特定する個別遷移条件情報である。
請求項６に記載の本発明は、請求項３に記載の本発明において、前記設計検証プログラム生成手段は、前記画面内容特定情報に基づいて、前記要件定義情報及び前記共通遷移条件情報で定義された各画面の相互間の遷移を示す画面遷移図であって、各画面を表示する画面表示領域と、各画面の相互間の遷移を示す遷移線とを含んで構成されている画面遷移図を、前記出力手段にて表示出力させる。
請求項７に記載の本発明は、請求項６に記載の本発明において、前記設計検証プログラム生成手段は、前記画面表示領域又は前記遷移線が所定手段を介して選択された場合に、当該選択された前記画面表示領域又は前記遷移線に対応する個別遷移条件情報を設定する設定画面であって、当該個別遷移条件情報を表示するための設定画面を、前記出力手段にて表示出力させ、前記設定画面への前記個別遷移条件情報の入力が所定手段を介して受け付けられた場合に、当該入力が受け付けられた前記個別遷移条件情報を、前記選択された前記画面表示領域又は前記遷移線に対応する前記要件定義情報及び前記共通遷移条件情報に対して書き込むと共に、当該入力が受け付けられた前記個別遷移条件情報を、当該入力が受け付けられる直前に前記設定画面に表示されていた前記個別遷移条件情報に代えて前記設定画面に表示させる。
【００１２】
請求項８に記載の本発明は、請求項１から７のいずれか一項に記載の本発明において、前記設計検証プログラム生成手段にて生成された前記設計検証プログラムによって、所定手段を介して受け付けられた前記操作内容に対応する遷移条件に基づいて前記要件定義情報で定義された機能を発揮させた場合に、当該操作内容の履歴を特定するための操作履歴情報を所定の記憶手段に記憶する操作履歴記録手段を備える。
【００１３】
請求項９に記載の本発明は、請求項８に記載の本発明において、前記ロボット検証データ生成手段は、前記操作履歴記録手段にて記憶された操作履歴情報を所定形式に変換することにより、前記ロボット検証データを生成する。
【００１５】
請求項１０に記載の本発明は、検証対象の機能を定義する要件定義情報、及び前記要件定義情報で定義された機能を発揮する遷移条件を定義する遷移条件情報、を記憶する記憶手段を用いて設計検証を行う設計検証方法であって、前記検証対象に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、前記遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、前記要件定義情報で定義された機能を発揮させる設計検証プログラムを、前記記憶手段によって記憶された前記要件定義情報と前記遷移条件情報とに基づいて生成する、設計検証プログラム生成ステップと、前記設計検証プログラム生成ステップにおいて生成された前記設計検証プログラムに基づいて、検証ロボットにより前記操作内容を行わせるためのロボット検証データを生成するロボット検証データ生成ステップと、を含み、前記ロボット検証データ生成ステップで、前記検証ロボットで検証を行う上で必要になる条件であるロボット検証条件が所定手段を介して受け付けられた場合に、当該ロボット検証条件を前記ロボット検証データに含める設計検証方法である。
【００１６】
請求項１１に記載の本発明は、請求項１０に記載の設計検証方法をコンピュータに実行させる設計検証プログラムである。
【発明の効果】
【００１７】
請求項１、１０、又は１１に記載の本発明によれば、検証対象に対する仮想的な操作内容が所定手段を介して受け付けられた場合に、遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、要件定義情報で定義された機能を発揮させる設計検証プログラムが自動的に生成されるので、この設計検証プログラムを用いて設計検証を行うことができ、組込機器等の操作内容と操作結果との対応関係を容易かつ正確に生成して設計検証を行うことが可能になる。
また、検証ロボットで検証を行う上で必要になる条件であるロボット検証条件が所定手段を介して受け付けられた場合に、当該ロボット検証条件をロボット検証データに含めるので、ロボット検証の特有の条件をロボット検証データに設定することができ、ロボット検証を一層容易に行うことが可能になる。
【００１８】
また、請求項２に記載の本発明によれば、複数の画面又は項目に対する仮想的な操作内容が受け付けられた場合に、出力手段にて表示出力されている画面を操作結果に応じて変化させ、該操作内容が複数の画面を相互間で遷移させる操作内容であった場合には、リンク関係特定情報にて特定されるリンク関係に基づいて出力手段にて表示出力されている画面を他の画面に遷移させる、ための設計検証プログラムが生成されるので、この設計検証プログラムを用いることで、仮想的な操作内容に対する操作結果を出力手段にて表示出力されている画面により視覚的に把握することができるので、設計検証を一層容易に行うことが可能になる。
【００１９】
また、請求項３に記載の本発明によれば、操作遷移条件情報は、種類が異なる複数の検証対象の相互間において共通の遷移条件である共通遷移条件を特定する共通遷移条件情報であるので、これら複数の検証対象に共通の遷移条件については共通遷移条件情報として一括して設計検証プログラムに反映させることができ、設計検証を一層容易に行うことが可能になる。
【００２０】
また、請求項４に記載の本発明によれば、出力手段にて表示出力されている画面を、中間遷移条件情報にて特定される遷移条件に基づいて、特定した操作結果に応じて変化させる、ための設計検証プログラムが生成されるので、この設計検証プログラムを用いることで、中間遷移条件に基づいて変化された操作結果を出力手段にて表示出力されている画面により視覚的に把握することができるので、設計検証を一層容易に行うことが可能になる。
【００２１】
また、請求項５に記載の本発明によれば、中間遷移条件情報は、種類が異なる複数の検証対象の相互間において共通ではない遷移条件である個別遷移条件を特定する個別遷移条件情報であるので、これら複数の検証対象に共通でない遷移条件については個別遷移条件情報として個別的に設計検証プログラムに反映させることができ、機能が異なる様々な種類の検証対象に対しても設計検証を容易に行うことが可能になる。
【００２２】
また、請求項８に記載の本発明によれば、操作内容に対応する遷移条件に基づいて要件定義情報で定義された機能を発揮させた場合に、当該操作内容の履歴を特定するための操作履歴情報を所定の記憶手段に記憶するので、この操作履歴情報を設計検証の結果の一部として利用する等、設計検証の記録を容易かつ正確に残すことができる。
【００２３】
また、請求項９に記載の本発明によれば、操作履歴情報を所定形式に変換することにより、検証ロボットにより操作内容を行わせるためのロボット検証データを生成するので、設計検証の結果をロボット検証に利用することができ、ロボット検証を容易に行うことが可能になる。
【図面の簡単な説明】
【００２５】
【図１】設計検証とロボット検証の概要を示す図である。
【図２】設計検証装置の電気的構成を機能概念的に示したブロックである。
【図３】設計検証処理のフローチャートである。
【図４】設計検証プログラム生成処理のフローチャートである。
【図５】要件定義情報を例示する図である。
【図６】共通遷移条件情報を例示する図である。
【図７】画面遷移図を例示する図である。
【図８】設定画面を例示する図である。
【図９】設計検証処理のフローチャートである。
【図１０】シミュレーション画面を例示する図である。
【図１１】操作履歴記録処理のフローチャートである。
【図１２】ロボット検証データ生成処理のフローチャートである。
【発明を実施するための形態】
【００２６】
以下に添付図面を参照して、この発明に係る設計検証装置、設計検証方法、及び設計検証プログラムの実施の形態を詳細に説明する。ただし、この実施の形態によって本発明が限定されるものではない。
【００２７】
〔概要〕
最初に、検証の概要について説明する。「検証」とは、検証対象の設計内容や機能内容の正常性を確認するための複数種類の検証の総称であり、「設計検証」と「ロボット検証」とを含む。この検証は、検証対象を開発している開発メーカ自身が行うこともできるが、開発メーカからの依頼により検証を実施する検証事業者が実施してもよい。以下では、これら各者を、相互に区別する必要がない場合には単に「ユーザ」と総称する。検証対象は、例えば、携帯電話やカーナビゲーション端末の如き組込機器や、アプリケーションソフトウェアが該当する。以下では、携帯電話の検証を行う例について説明する。
【００２８】
図１は、設計検証とロボット検証の概要を示す図である。なお、本実施形態の設計検証装置、設計検証方法、及び設計検証プログラムは、主として設計検証に関するものであるため、ロボット検証については詳細な説明は省略する。
【００２９】
「設計検証（ＳＡ）」とは、検証対象の開発初期段階において、携帯電話の操作内容と操作結果との対応関係を視覚的にシミュレーションすることで、これら対応関係に関する不具合を早期に発見するものである。
この設計検証（ＳＡ）は、概略的には、「設計検証プログラム生成工程（ＳＡ１）」、「設計検証工程（ＳＡ２）」、「操作履歴記録工程（ＳＡ３）」、及び「ロボット検証データ生成工程（ＳＡ４）」を順次経ることで行われる。「設計検証プログラム生成工程（ＳＡ１）」は、要件定義情報及び遷移条件情報に基づいて、設計検証に使用するための設計検証プログラムを生成する処理（設計検証プログラム生成処理）を行う工程である。要件定義情報及び遷移条件情報については後述する。設計検証プログラムとは、例えば、携帯電話が備える表示部（以下、ディスプレイ）に表示される各種の画面を表示する表示領域を、設計検証装置のディスプレイに表示させるプログラム、コンピュータを介して携帯電話に対する仮想的な操作を行う毎に、表示領域に表示される画面を必要に応じて切り替えることで、操作内容（この例では、携帯電話に対する仮想的な操作）と操作結果（この例では、表示領域に表示される画面）との対応関係を確認するためのプログラムである。「設計検証工程（ＳＡ２）」は、設計検証プログラムを使用して設計検証を実施する処理（設計検証処理）を行う工程である。「操作履歴記録工程（ＳＡ３）」は、設計検証工程で実施された設計検証の操作履歴を記録する処理（操作履歴記録処理）を行う工程である。「ロボット検証データ生成工程（ＳＡ４）」は、操作履歴記録工程（ＳＡ３）で記録された操作履歴に基づいて、ロボット検証で使用するためのロボット検証データを生成する処理（ロボット検証データ生成処理）を行う工程である。
【００３０】
「ロボット検証（ＳＢ）」とは、検証対象のテスト機や実機が出来上がった後に、これらテスト機や実機を、専用の検証ロボット（機械ロボットやソフトウェアロボット（ソフトウェアシミュレータ）によって操作しつつ、検証対象の操作内容と操作結果との対応関係を確認することで、これら対応関係に関する不具合を発見するものである。
【００３１】
次に、本実施の形態において使用する用語の意味について説明する。
設計検証を行うために必要な情報としては、少なくとも、「要件定義情報」と「遷移条件情報」とを挙げることができ、これら要件定義情報と遷移条件情報によって、携帯電話の操作内容と操作結果との対応関係が特定される。
【００３２】
「要件定義情報」とは、携帯電話の機能を定義する情報である。例えば、要件定義情報は、複数の画面及び各画面に含まれる項目を特定する「画面内容特定情報」と、これら複数の画面を携帯電話に対する操作内容に応じて相互間で遷移させる場合のリンク関係を特定する「リンク関係特定情報」とを含む。この要件定義情報は、一般的には、開発メーカが作成して検証事業者に提供する。
【００３３】
「遷移条件情報」とは、要件定義情報で定義された機能を発揮するための条件（以下、遷移条件）を定義する情報である。例えば、遷移条件情報としては、要件定義情報で定義された機能を得るために携帯電話を操作する際の操作内容や、操作内容の相互間における特別な条件が該当する。この遷移条件情報は、さらに、「共通遷移条件情報」と「個別遷移条件情報」に大別される。
【００３４】
「共通遷移条件情報」とは、種類が異なる複数の携帯電話の相互間において共通の遷移条件である共通遷移条件を特定する遷移条件情報である。この共通遷移条件情報は、例えば、複数の画面又は項目に対する操作内容と、当該操作内容に応じた複数の画面又は項目の操作結果とを、相互に対応付けて構成された遷移条件である操作遷移条件を特定する「操作遷移条件情報」として構成される。具体的には、種類が異なる携帯電話であっても、多くの携帯電話においては、「ＭＥＮＵ」という操作ボタンが押下された場合には、ディスプレイに「トップ画面」が表示されるため、このような操作ボタンによる操作内容と、表示画面の振舞い（複数の表示画面の相互間の遷移や、一つの表示画面に含まれる複数の項目の相互間の遷移等）との対応関係を特定する情報が、操作遷移条件情報に含まれる。
【００３５】
「個別遷移条件情報」とは、種類が異なる複数の携帯電話の相互間において共通ではない遷移条件である個別遷移条件を特定する遷移条件情報である。この個別遷移条件情報は、例えば、操作内容が受け付けられてから当該操作内容に応じた操作結果を得るための遷移条件である中間遷移条件を特定する「中間遷移条件情報」として構成される。具体的には、ある特定の種類の携帯電話において、「ＭＥＮＵ」という操作ボタンが押下された場合に、所定の遅延時間を経てからディスプレイに「トップ画面」が表示される場合には、このような操作ボタン、表示画面、及び遅延時間との対応関係を特定する情報が、中間遷移条件情報に含まれる。
【００３６】
さらに、ロボット検証を行うために必要な情報としては、少なくとも、「ロボット検証条件情報」とを挙げることができる。
「ロボット検証条件情報」とは、操作履歴記録工程で記録された操作履歴情報に基づいて、検証ロボットで検証を行う上で必要になる条件であるロボット検証条件を特定する情報である。例えば、携帯電話の操作手段を検証ロボットの操作アームで押下し、この操作結果としてディスプレイに表示された画面をカメラで撮影する場合、操作アームとカメラとの位置関係によっては相互に干渉が生じ、操作アームを操作後に退避位置に移動させてからカメラで撮影を行う必要があるため、このような退避時間をロボット検証条件情報として設定する。あるいは、ロボット検証において、電波発信機等を用いて検証を行う必要がある場合には、電波発信機の準備時間を確保する必要があるため、このような準備時間をロボット検証条件情報として設定する。
【００３７】
〔構成〕
次に、設計検証装置１の構成について説明する。図２は、設計検証装置１の電気的構成を機能概念的に示したブロック図である。この図２に示すように、設計検証装置１は、入力部２、出力部３、制御部４、及び記憶部５を備えている。
【００３８】
（構成−入力部）
入力部２は、設計検証装置１に対して情報を入力するための入力手段であり、例えば、キーボード、マウス、カードリーダ、及びネットワークインターフェースにより構成されている。特に、入力部２は、要件定義情報、遷移条件情報、及びロボット検証条件情報を、設計検証装置１に対して入力するための入力手段として機能する。また、入力部２は、後述する設計検証プログラム生成処理において生成された設計検証プログラムを用いて、後述する設計検証処理で設計検証を行う際に、携帯電話に対する仮想的な操作を行うための所定手段として機能する。
【００３９】
（構成−出力部）
出力部３は、設計検証装置１から情報を出力するための出力手段であり、例えば、ディスプレイ、スピーカ、及び入力部２と共通のネットワークインターフェースにより構成されている。特に、出力部３のディスプレイは、携帯電話のディスプレイに個別的に表示される複数の画面を表示出力する出力手段として機能する。
【００４０】
（構成−制御部）
制御部４は、設計検証装置１の各部を制御する制御手段である。この制御部４は、機能概念的に、設計検証プログラム生成部６、設計検証部７、操作履歴記録部８、及びロボット検証データ生成部９を備えて構成されている。設計検証プログラム生成部６は、携帯電話に対する仮想的な操作内容が入力部２を介して受け付けられた場合に、遷移条件情報で定義された遷移条件の中で当該操作内容に対応する遷移条件に基づいて、要件定義情報で定義された機能を発揮させる設計検証プログラムを、記憶部５によって記憶された要件定義情報と遷移条件情報とに基づいて生成する設計検証プログラム生成手段である。設計検証部７は、設計検証プログラム生成部６にて生成された設計検証プログラムを用いて設計検証を行う設計検証手段である。操作履歴記録部８は、設計検証プログラム生成部６にて生成された設計検証プログラムによって、入力部２を介して受け付けられた操作内容に対応する遷移条件に基づいて要件定義情報で定義された機能を発揮させた場合に、当該操作内容の履歴を特定するための操作履歴情報を記憶部５に記憶する操作履歴記録手段である。ロボット検証データ生成部９は、操作履歴記録部８にて記憶された操作履歴情報を所定形式に変換することにより、検証ロボットにより操作内容を行わせるためのロボット検証データを生成するロボット検証データ生成手段である。これら各部の具体的な機能については後述する。
【００４１】
この制御部４は、具体的には、ＣＰＵ、当該ＣＰＵ上で解釈実行される各種のプログラム（ＯＳなどの基本制御プログラムや、ＯＳ上で起動され特定機能を実現するアプリケーションプログラムを含む）、及びプログラムや各種のデータを格納するためのＲＡＭの如き内部メモリを備えて構成されるコンピュータである。特に、本実施の形態に係る設計検証プログラムは、任意の記憶媒体又はネットワークを介して設計検証装置１にインストールされることで、制御部４の各部を実質的に構成する。
【００４２】
（構成−記憶部）
記憶部５は、設計検証装置１の動作に必要なプログラム及び各種のデータを記録する記録手段であり、例えば、外部記憶装置としてのハードディスク（図示省略）を用いて構成されている。ただし、ハードディスクに代えてあるいはハードディスクと共に、磁気ディスクの如き磁気的記録媒体、又はＤＶＤやブルーレイディスクの如き光学的記録媒体を含む、その他の任意の記録媒体を用いることができる。特に、記憶部５は、携帯電話の機能を定義する要件定義情報、及び前記要件定義情報で定義された機能を発揮する遷移条件を定義する遷移条件情報、を記憶する記憶手段として機能する。
【００４３】
（設計検証処理）
次に、このように構成された設計検証装置１にて行われる設計検証処理について説明する。図３は、設計検証処理のフローチャートである。この設計検証処理は、例えば、設計検証装置１の入力部２を介してユーザが所定方法で起動を指示することによって起動される。
【００４４】
この設計検証処理では、図３に示すように、設計検証プログラム生成処理（ＳＣ１）、設計検証処理（ＳＣ２）、操作履歴記録処理（ＳＣ３）、ロボット検証データ生成処理（ＳＣ４）が順次行われる。以下、各処理について説明する。
【００４５】
（設計検証処理-設計検証プログラム生成処理）
最初に、図３の設計検証プログラム生成処理（ＳＣ１）について説明する。図４は、設計検証プログラム生成処理のフローチャートである。この処理において、ユーザは、要件定義情報を入力部２を介して設計検証装置１に入力する。この要件定義情報は、例えば、図５に示す如き所定のフォーマットで構成されている。具体的には、要件定義情報は、一つの「大項目」と、一つ又は複数の「小項目」とを含んで構成されている。
【００４６】
これら大項目と小項目の各々は、携帯電話のディスプレイに表示される複数の画面であって、階層構造化された複数の画面のいずれかに割り当てられており、当該割り当てられた画面及び当該画面に含まれる項目（操作項目）とを特定する「画面内容特定情報」と、これら複数の画面を携帯電話に対する操作内容に応じて相互間で遷移させる場合のリンク関係を特定する「リンク関係特定情報」とを含むものである。具体的には、大項目には、最も上位層に位置付けられる画面（以下、トップ画面）が割り当てられており、各小項目には、トップ画面から遷移可能な他の画面（以下、サブ画面）が割り当てられている。より具体的には、大項目と小項目は、「属性情報」と「内容情報」を含んで構成されている。「属性情報」とは、大項目や小項目の属性を示す情報であり、これら大項目や小項目に割り当てられたトップ画面やサブ画面の名称を示す「画面名」と、これらトップ画面やサブ画面が遷移先となる場合の名称である「リンク名」とを含んでいる。「内容情報」とは、これら大項目や小項目の内容を示す情報であり、トップ画面やサブ画面に含まれる各項目に関する、「番号」、「項目」、及び「リンク先」を相互に対応付けて構成されている。画面内容特定情報は、この「項目」によって主として構成され、リンク関係特定情報は、「リンク先」によって主として構成される。
【００４７】
例えば、「画面名」＝「検索」の小項目において、「リンク名」＝「トップ−検索」とあるのは、「画面名」＝「トップ」の画面（すなわち、大項目で割り当てられたトップ画面）における「項目」＝「検索」が選択操作された場合に、当該小項目で定義される画面（すなわち、サブ画面の一つである検索画面）に遷移する（携帯電話のディスプレイの画面が切り替わる）ことを示す。なお、図５には、複数の小項目の中の一部のみを示し、他の小項目については図示を省略する。
【００４８】
このように構成された要件定義情報は、例えば、公知の表計算ソフトウェアにより作成され、設計検証装置１に入力される。なお、要件定義情報は、図５に示す以外のフォーマットで作成することができ、例えば、大項目の内部に小項目を入れ子構造で組み込むことにより、一つの表形式で作成することができる。
【００４９】
このような要件定義情報の入力を受け付けると（ＳＤ１、Ｙｅｓ）、この要件定義情報が記憶部５に記憶され、設計検証プログラム生成部６は、当該記憶された要件定義情報に基づいて設計検証プログラムを生成する（ＳＤ２）。この際、設計検証プログラム生成部６は、共通遷移条件情報を要件定義情報に付加して設計検証プログラムを生成する。
【００５０】
具体的には、設計検証プログラム生成部６は、Ｊａｖａ（登録商標）にて記述されたプログラム（バイナリファイル）として形成されており、共通遷移条件情報は、このプログラムのプロパティ及びインターフェイスの定義ファイル（共通遷移条件情報をテンプレートとして使用するためのオブジェクト。以下、テンプレートオブジェクト）として、ｘｍｌ形式で予め記述されて記憶部５に記憶されている。この共通遷移条件情報を図６に図示する。そして、設計検証プログラム生成部６としてのプログラムを実行することにより、ｘｍｌ形式の共通遷移条件情報に対して、入力された要件定義情報を書き込む。
【００５１】
より具体的には、設計検証プログラム生成部６は、Ｊａｖａ（登録商標）にて記述されたプログラム（バイナリファイル）として形成されており、設計検証プログラム生成の全体制御を行う部分と、様々な制御情報を受持つコンポーネントから構成される。共通遷移条件情報は、このコンポーネントプログラムの一つのプロパティ及びインターフェイスの定義ファイル（共通遷移条件情報をテンプレートとして使用するためのオブジェクト。以下、テンプレートオブジェクト）として、ｘｍｌ形式で予め記述されて記憶部５に記憶されている。この共通遷移条件情報を図６に図示する。そして、設計検証プログラム生成部６としてのプログラムを実行することにより、ｘｍｌ形式の共通遷移条件情報に対して、入力された要件定義情報を書き込み、所定の動作をするオブジェクトを生成する。
また、設計検証プログラム生成部６は、大項目の各項目が、共通遷移条件情報のＯＫボタンが押下されることで選択された場合の遷移先として、当該各項目のリンク先を設定する。例えば、大項目の項目「検索」が、共通遷移条件情報のＯＫボタンが押下されることで選択された場合の遷移先として、当該項目「検索」のリンク先である「検索」を設定する。このことにより、大項目の項目「検索」がＯＫボタンで選択された場合に、大項目に対応するトップ画面が、小項目に対応するサブ画面の一つである検索画面に遷移することが設定される。また、各小項目の各項目が、共通遷移条件情報の「クリア」ボタンが押下されることで選択された場合のリンク先として、大項目を設定する。例えば、小項目に対応するサブ画面の一つである検索画面の項目「検索」が、共通遷移条件情報の「クリア」ボタンが押下されることで選択された場合のリンク先として、大項目に対応するトップ画面を設定する。このことにより、検索画面の項目「検索」がクリアボタンで押下された場合に、検索画面がトップ画面に遷移することが設定される。
【００５２】
このように共通遷移条件情報への要件定義情報の書き込みが完了すると、設計検証プログラム生成部６は、図７に例示する画面遷移図を設計検証装置１の出力部３のディスプレイに表示する（ＳＤ３）。この画面遷移図は、要件定義情報及び共通遷移条件情報で定義された各画面の相互間の遷移を示す図であり、各画面を表示する画面表示領域１０と、各画面の相互間の遷移を示す遷移線１１とを含んで構成されている。各画面表示領域１０には、各画面の項目名が表示されている。これら各画面の各項目は、先に書き込まれた要件定義情報に含まれる画面内容特定情報に基づいて表示される。これら各画面及び各項目の中で、相互にリンクされている各画面及び各項目が、遷移線１１で接続されている。この遷移線１１は、先に書き込まれた要件定義情報に含まれるリンク関係特定情報に基づいて表示される。この画面遷移図を見ることにより、ユーザは、各画面及び各項目のリンク関係を視覚的に把握することが可能になる。なお、図７には、トップ画面と検索画面に対応する画面表示領域１０のみを示しているが、実際には、全ての画面に対応する画面表示領域１０が表示される。
【００５３】
次いで、個別遷移条件情報の書き込みが行われる。具体的には、ユーザが、設計検証装置１の入力部２を介して、画面遷移図の画面表示領域１０又は遷移線１１を選択すると（ＳＤ４、Ｙｅｓ）、設計検証プログラム生成部６は、個別遷移条件情報を設定するための設定画面を出力部３のディスプレイに表示させる（ＳＤ５）。この設定画面は、図８に例示するように、設定すべき個別遷移条件情報の種類を選択する選択欄１２と、設定すべき個別遷移条件情報の内容（パラメータ）を入力すべき入力欄１３とを含んで構成されている。そして、ユーザが、入力部２を介して、個別遷移条件情報の種類を選択欄１２で設定し、個別遷移条件情報の内容を入力欄１３に入力し、「ＯＫボタン」１４を押下することでこれらの設定情報の入力を指示する。
【００５４】
この設定情報の入力指示を受けると（ＳＤ６、Ｙｅｓ）、設計検証プログラム生成部６は、これら種類と内容とを組み合わせて構成された個別遷移条件情報を、ｘｍｌ形式の要件定義情報及び共通遷移条件情報に対してさらに書き込む（ＳＤ７）。例えば、画面表示領域１０を選択し、選択欄１２では個別遷移条件情報の種類＝「遅延時間」を選択し、入力欄１３には個別遷移条件情報の内容＝「５００ｍｓｅｃ」を入力した場合、当該選択された画面表示領域１０に関する全ての操作（例えば、当該画面表示領域１０に表示されているトップ画面又はサブ画面に含まれる各項目から、他の画面への遷移操作）が行われた場合に、５００ｍｓｅｃだけ遅延して操作内容が実行されることを書き込む。あるいは、遷移線１１を選択し、選択欄１２では個別遷移条件情報の種類＝「遅延」を選択し、入力欄１３には個別遷移条件情報の内容＝「５００ｍｓｅｃ」を入力した場合、当該選択された遷移線１１によって示される各画面の相互間の遷移の操作（例えば、一方の画面に含まれる各項目が選択され、他方の画面に遷移する操作）が行われた場合に、５００ｍｓｅｃだけ遅延して操作内容が実行されることを書き込む。このような個別遷移条件情報の書き込みが完了した時点で、設計検証プログラム生成処理が終了する。
【００５５】
（設計検証処理-設計検証処理）
次いで、図３の設計検証処理（ＳＣ２）が実行される。図９は、設計検証処理のフローチャートである。この処理では、設計検証を行う。具体的には、ユーザが、設計検証装置１の入力部２を介して、設計検証処理の実行を所定方法で指示すると（ＳＥ１、Ｙｅｓ）、設計検証部７は、図１０に例示するシミュレーション画面を生成して設計検証装置１の出力部３に表示させる（ＳＥ２）。このシミュレーション画面は、携帯電話を表示する表示領域１５と、操作を行う操作領域１６とを含んで構成されている。
【００５６】
表示領域１５には、検証対象である携帯電話の使用時の外観画像（図１０の例では、２つ折り式携帯電話を開いた状態の正面画像）が表示されている。この外観画像は、予め記憶部５に記憶されており、設計検証プログラムによって呼び出されて表示される。この外観画像のディスプレイ１７には、大項目に対応するトップ画面又は各小項目に対応するサブ画面のいずれかの画面における各項目が表示されている。そして、これら各項目を入力部２のマウス等にてクリック操作等することにより、この操作内容の入力が設計検証装置１に受け付けられる。これら各項目としては、設計検証プログラム生成処理にて設計検証プログラムに書き込まれた各項目が表示される。また、外観画像には携帯電話の操作手段（ＭＥＮＵキー、十字キー、ＯＫキー、クリアキー、終話キー等）１８が含まれており、これら各操作手段を入力部２のマウス等にてクリックして仮想的に操作することにより、この操作内容の入力が設計検証装置１に受け付けられる。このような外観画像の各操作手段の位置や各操作に対する操作内容の割り当ては、外観画像と共に予め記憶部５に記憶されており、設計検証プログラムによって呼び出されて使用される。
【００５７】
操作領域１６には、操作履歴記録の開始、停止、再生を指示するための開始ボタン１９、停止ボタン２０、再生ボタン２１と、ロボット検証条件情報を入力するためのコマンドボタン２２が設けられている。これら各ボタンの機能については後述する。
【００５８】
このように表示されたシミュレーション画面において、ユーザは、携帯電話の操作手段を入力部２のマウス等にてクリック等にて仮想的に操作することにより、携帯電話の操作内容を入力する。設計検証部７は、このように操作内容の入力が行われると（ＳＥ３、Ｙｅｓ）、設計検証プログラム生成処理で書き込まれた要件定義情報、共通遷移条件情報、及び個別遷移条件情報を参照して、当該操作内容に応じて表示領域１５のディスプレイ１７に表示されている画面の内容を切り替える（ＳＥ４）。
【００５９】
例えば、表示領域１５にトップ画面が表示されている場合において、「十字キー（下）」がクリック操作された場合には、共通遷移条件情報に基づいて、当該トップ画面の各項目において、現在フォーカスされている項目の一つ下の項目にフォーカスを移動する（画面上では、フォーカスされている項目のみを強調表示したり、フォーカスされている項目のみを白抜き表示とする）。あるいは、表示領域１５にトップ画面が表示されている場合において、当該トップ画面に含まれる項目である「検索」がクリック操作された場合には、要件定義情報のリンク関係特定情報に基づいて、当該トップ画面を検索画面に切り替える。各画面における項目の表示は、要件定義情報の画面内容特定情報に基づいて行う。また、このような切り替えの際には、個別遷移条件情報に基づいて、切り替えの遅延等の個別的な遷移条件の判定等を行う。なお、表示領域１５に表示する画面としては、携帯電話の実際の画面イメージを予め記憶部５に記憶させておき、この実際の画面イメージを使用してもよい。
【００６０】
ユーザは、このように携帯電話に対する仮想的な操作を任意の回数だけ繰り返すことで、操作内容と操作結果（表示領域に表示される画面の内容）との対応関係を視覚的にシミュレーションし、これら対応関係に不具合がないか否かを確認する。これにて設計検証処理が終了する。
【００６１】
（設計検証処理-操作履歴記録処理）
次いで、図３の操作履歴記録処理（ＳＣ３）が実行される。図１１は、操作履歴記録処理のフローチャートである。この処理では、設計検証処理で行った操作の履歴を記録する。具体的には、ユーザが、図１０のシミュレーション画面における操作領域１６の開始ボタン１９を入力部２を介して押下した後、上述の設計検証処理と同様に携帯電話に対する仮想的な操作を繰り返して設計検証を行い、この設計検証の終了後に、操作領域の停止ボタン２０を入力部２を介して押下する。操作履歴記録部８は、このように開始ボタン１９が押下されてから（ＳＦ１、Ｙｅｓ）、停止ボタン２０が押下される迄の間（ＳＦ６、Ｙｅｓ）、設計検証のための仮想的な操作が行われる毎に（ＳＦ２、Ｙｅｓ）、当該行われた操作内容を、操作履歴情報として記憶部５に記憶する（ＳＦ３）。例えば、操作履歴情報は、設計検証においてユーザにより入力された操作内容及びその操作順序を含む。あるいは、さらに、操作結果に関する情報として、表示領域１５に表示された携帯電話の画像を記録してもよい。このように操作履歴を記録した後、操作領域の再生ボタン２１を入力部２を介して押下すると、操作履歴記録部８は、記憶部５に記憶させた操作履歴情報を読み出し、この操作履歴情報に含まれる操作内容を、当該操作履歴情報に含まれる操作順序に基づいて再現する。この結果、表示領域の携帯電話のディスプレイ画面の内容が自動的に切り替えられる。
【００６２】
また、開始ボタン１９が押下されてから停止ボタン２０が押下される迄の間、ユーザが、コマンドボタン２２を押下すると（ＳＦ４、Ｙｅｓ）、操作履歴記録部８は、ロボット検証条件情報を操作履歴情報に書き込む（ＳＦ５）。すなわち、各コマンドボタン２２には、相互に異なるロボット検証条件情報が予め割り当てられており、ユーザによって押下されたコマンドボタン２２に応じたロボット検証条件情報が操作履歴情報に書き込まれる。例えば、特定のコマンドボタン２２には、特定の操作アーム（以下、第１の操作アーム）を移動させてから他の操作アーム（以下、第２の操作アーム）を移動させるまでの間に、第１の操作アームを所定の初期位置に退避させるための所定の退避時間を設けることが、ロボット検証条件情報として予め割り当てられている。そして、ユーザは、操作履歴記録処理において、第１の操作アームにて操作が行われるべき操作内容を入力した後、当該特定のコマンドボタン２２を押下してから、第２の操作アームにて操作が行われるべき操作内容を入力する。すると、操作履歴情報には、第１の操作アームにて操作が行われるべき操作内容と、第１の操作アームを所定の退避時間だけ退避させる内容と、第２の操作アームにて操作が行われるべき操作内容とが、順次記憶される。なお、各コマンドボタン２２に割り当てるロボット検証条件情報の種類やパラメータは、ユーザが所定方法で任意に設定することができる。これにて操作履歴記録処理が終了する。なお、本実施の形態においては、操作履歴記録処理を設計検証処理とは別のものとして説明しているが、設計検証処理において操作履歴記録処理を同時に行ってもよい。
【００６３】
（設計検証処理-ロボット検証データ生成処理）
最後に、図３のロボット検証データ生成処理（ＳＣ４）が実行される。図１２は、ロボット検証データ生成処理のフローチャートである。この処理では、ロボット検証を行うために検証ロボットに入力する検証データを生成する。具体的には、ユーザが、設計検証装置１の入力部２を介して、設計検証処理の実行を所定方法で指示すると、ロボット検証データ生成部９は、操作履歴記録処理で記憶部５に記憶された操作履歴情報を読み出し（ＳＧ１）、この操作履歴情報を、検証ロボットに入力するための検証データ（スクリプトデータ）に変換する（ＳＧ２）。例えば、操作履歴情報に「十字キー（下）」をクリック操作するという操作内容が含まれている場合、この操作内容を、携帯電話のテスト機や実機に実装された「十字キー（下）」を検証ロボットの操作アームで押下するための当該操作アームの座標に変換する。このような操作内容と操作アームの座標との対応関係や変換ルールは、記憶部５に予め記憶されており、当該変換に際して参照される。また、この検証データには、設計検証プログラム生成処理で書き込まれた要件定義情報、共通遷移条件情報、及び個別遷移条件情報と、操作履歴記録処理で書き込まれたロボット検証条件情報とが含まれるため、これら各情報に基づいてロボット検証を行うためのロボット検証データを生成することができる。これにてロボット検証データ生成処理が終了する。
【００６４】
〔実施の形態に対する変形例〕
以上、本発明に係る実施の形態について説明したが、本発明の具体的な構成及び手段は、特許請求の範囲に記載した各発明の技術的思想の範囲内において、任意に改変及び改良することができる。以下、このような変形例について説明する。
【００６５】
（解決しようとする課題や発明の効果について）
まず、発明が解決しようとする課題や発明の効果は、前記した内容に限定されるものではなく、本発明によって、前記に記載されていない課題を解決したり、前記に記載されていない効果を奏することもでき、また、記載されている課題の一部のみを解決したり、記載されている効果の一部のみを奏することがある。
【００６６】
（分散や統合について）
また、上述した各電気的構成要素は機能概念的なものであり、必ずしも物理的に図示の如く構成されていることを要しない。すなわち、各部の分散・統合の具体的形態は図示のものに限られず、その全部または一部を、各種の負荷や使用状況などに応じて、任意の単位で機能的または物理的に分散・統合して構成できる。例えば、設計検証装置１を複数のコンピュータにより分散して構成することができる。
【００６７】
（各種情報の設定について）
要件定義情報や遷移条件情報の具体的内容は、検証対象に応じて変更することができる。例えば、検証対象が画面表示機能は持たないが通信機能を持っている組込機器である場合、要件定義情報は、通信機能を定義するための情報（例えば、通信コマンドの種別や内容等）を含んで構成され、遷移条件情報は、通信コマンドを切り替えるための条件等を含んで構成される。
遷移条件情報は、共通遷移条件情報と個別遷移条件情報を含むが、いずれか一方を省略してもよく、あるいは、他の情報を付加してもよい。
また、上記実施の形態では、共通遷移条件情報が操作遷移条件情報として構成されており、個別遷移条件情報が中間遷移条件情報として構成されているが、共通遷移条件情報が中間遷移条件情報として構成される場合もあり、あるいは、個別遷移条件情報が操作遷移条件情報として構成される場合もある。
【００６８】
また、設計検証装置１には、設定した全ての遷移条件情報を記憶しているので、操作履歴記録処理においては、操作を開始する時の画面（開始画面）および操作を終了する画面（終了画面）を指定することで、開始画面から終了画面に至る操作の履歴を自動的に生成させる事も可能であり、設計検証作業のより一層の効率化を図ることができる。
また、仕様の不整合や誤りが多い遷移条件（例えば、クリアキーにより戻る動作を行った際の戻り先の不具合等）、ユーザが実施し忘れることが多い遷移条件、あるいは特に重要な遷移条件については、予め記憶部５に記憶させておき、操作履歴記録処理で記録された操作履歴記録情報に当該遷移条件を自動的に付加等してもよい。あるいは、操作履歴記録情報に対して、このように記憶部５に記憶させた遷移条件が含まれているか否かを自動的に判定し、含まれていない場合には、ユーザに警告を出力等することで、設計検証作業を支援するようにしてもよい。
あるいは、同様に、ロボット検証において、使用頻度が高いロボット検証条件情報、ユーザが入れ忘れることが多いロボット検証条件情報、あるいは特に重要なロボット検証条件情報については、予め記憶部５に記憶させておき、ロボット検証データ生成処理において、当該ロボット検証条件情報を、検証ロボットに入力するための検証データに自動的に含めるようにしてもよい。あるいは、ロボット検証データ生成処理で生成された検証データに対して、当該ロボット検証条件情報が含まれているか否かを自動的に判定し、含まれていない場合には、ユーザに警告を出力等することで、ロボット検証データの生成作業を支援するようにしてもよい。
また、このように記憶部５に特に重要な遷移条件やロボット検証条件情報を記憶させる場合には、これらの情報を検証対象の種別やメーカに対応付けて記憶部５に記憶させておき、種別やメーカが入力部２に入力された場合には、当該種別やメーカに応じた情報のみを自動的に呼び出して、操作履歴記録情報に検証データに自動的に含めるようにしてもよい。
【符号の説明】
【００６９】
１  設計検証装置
２  入力部
３  出力部
４  制御部
５  記憶部
６  設計検証プログラム生成部
７  設計検証部
８  操作履歴記録部
９  ロボット検証データ生成部
１０  画面表示領域
１１  遷移線
１２  選択欄
１３  入力欄
１４  ＯＫボタン
１５  表示領域
１６  操作領域
１７  ディスプレイ
１８  操作手段
１９  開始ボタン
２０  停止ボタン
２１  再生ボタン
２２  コマンドボタン
【図１】
0005436506.tif 000002
【図２】
0005436506.tif 000003
【図３】
0005436506.tif 000004
【図４】
0005436506.tif 000005
【図５】
0005436506.tif 000006
【図６】
0005436506.tif 000007
【図７】
0005436506.tif 000008
【図８】
0005436506.tif 000009
【図９】
0005436506.tif 000010
【図１０】
0005436506.tif 000011
【図１１】
0005436506.tif 000012
【図１２】
0005436506.tif 000013