(57)【要約】【課題】ユーザに対して検証結果の詳細を容易に把握させることで、検証作業における作業効率を向上させること。【解決手段】パーソナル・コンピュータ１１０は、制御情報１４１をＤＶＤレコーダ１２０に送信することによって、ＤＶＤレコーダ１２０による検証対象処理の実行を制御する。また、パーソナル・コンピュータ１１０は、検証対象処理の検証結果や修正回数などをユーザが容易に把握することができるように、ＤＶＤレコーダ１２０から出力された実行結果情報１４２などに基づいて、検証対象処理の検証結果や修正回数などが示された状態遷移表、状態遷移図、シーケンス図などの図表データ１４４を生成する。さらに、パーソナル・コンピュータ１１０は、生成された図表データ１４４を画面表示する。【選択図】図１
2008077317.tif 000002
【特許請求の範囲】
【請求項１】
検証対象処理が実行された検証対象装置から、前記検証対象処理の実行結果に関する情報を取得する取得手段と、
前記取得手段によって取得された前記検証対象処理の実行結果に関する情報に基づいて、前記検証対象処理の実行結果を示す図表データを生成する生成手段と、
前記生成手段によって生成された図表データを表示する表示手段と、
を備えたことを特徴とする検証装置。
【請求項２】
前記生成手段は、
前記検証対象処理の実行前後の状態、前記検証対象処理の実行順序、前記検証対象処理の実行時間、前記検証対象処理の実行回数の少なくともいずれか一つが前記検証対象処理の実行結果として示された図表データを生成することを特徴とする請求項１に記載の検証装置。
【請求項３】
前記生成手段は、
前記図表データを構成する所定の要素が前記検証対象処理の実行結果に応じた色に着色される、前記図表データを生成することを特徴とする請求項１または２に記載の検証装置。
【請求項４】
前記生成手段は、
前記図表データを構成する所定の要素が前記検証対象処理の実行結果に応じた形状に変形される、前記図表データを生成することを特徴とする請求項１〜３のいずれか一つに記載の検証装置。
【請求項５】
所定の選択条件に従って、前記生成手段によって生成された図表データの表示範囲を選択する選択手段をさらに備え、
前記表示手段は、
前記生成手段によって生成された図表データのうち、前記選択手段によって選択された表示範囲を表示することを特徴とする請求項１〜４のいずれか一つに記載の検証装置。
【請求項６】
検証対象装置によって実行される検証対象処理の修正履歴に関する情報を取得する取得手段と、
前記取得手段によって取得された前記検証対象処理の修正履歴に関する情報に基づいて、前記検証対象処理の修正回数を示す図表データを生成する生成手段と、
前記生成手段によって生成された図表データを表示する表示手段と、
を備えたことを特徴とする検証装置。
【請求項７】
検証対象処理が実行された検証対象装置から、前記検証対象処理の実行結果に関する情報を取得させる取得工程と、
前記取得工程によって取得された前記検証対象処理の実行結果に関する情報に基づいて、前記検証対象処理の実行結果を示す図表データを生成させる生成工程と、
前記生成工程によって生成された図表データを表示させる表示工程と、
を検証装置に実行させることを特徴とする検証プログラム。
【請求項８】
検証対象装置によって実行される検証対象処理の修正履歴に関する情報を取得させる取得工程と、
前記取得工程によって取得された前記検証対象処理の修正履歴に関する情報に基づいて、前記検証対象処理の修正回数を示す図表データを生成させる生成工程と、
前記生成工程によって生成された図表データを表示させる表示工程と、
を検証装置に実行させることを特徴とする検証プログラム。
【請求項９】
検証装置を用いて検証対象処理の検証をおこなう検証方法において、
前記検証対象処理が実行された検証対象装置から、前記検証対象処理の実行結果に関する情報を取得する取得工程と、
前記取得工程によって取得された前記検証対象処理の実行結果に関する情報に基づいて、前記検証対象処理の実行結果を示す図表データを生成する生成工程と、
前記生成工程によって生成された図表データを表示する表示工程と、
を検証装置に実行させることを特徴とする検証方法。
【請求項１０】
検証装置を用いて検証対象処理の検証をおこなう検証方法において、
前記検証対象処理の修正履歴に関する情報を取得させる取得工程と、
前記取得工程によって取得された前記検証対象処理の修正履歴に関する情報に基づいて、前記検証対象処理の修正回数を示す図表データを生成させる生成工程と、
前記生成工程によって生成された図表データを表示させる表示工程と、
を検証装置に実行させることを特徴とする検証方法。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、検証対象処理を検証する検証装置、検証プログラム、および検証方法に関する。
【背景技術】
【０００２】
従来より、プログラムの開発時においては、作成したプログラムの不具合を事前に確認し、プログラムの品質を向上させるための機能検証（機能テスト）がおこなわれている。このような、機能検証においては、検証項目や、検証結果を管理するためのドキュメントとして、テスト仕様書などが用いられている。そして、ユーザ（たとえば検証担当者）は、検証作業を実施しながら、その実施結果（検証結果）をテスト仕様書などのドキュメントに記述する必要があり、検証作業における作業効率の低下が問題となっていた。
【０００３】
そこで、たとえば人手を介さずに検証結果をテスト仕様書に記述することができるプログラムテスト装置が開示されている（たとえば、下記特許文献１参照。）。このようなプログラムテスト装置によれば、検証作業における作業効率を向上させることができ、結果的に、作業時間の短時間化、および作業コストの低コスト化を図ることができるものとされている。
【０００４】
【特許文献１】特開平６−８３６７０号公報
【発明の開示】
【発明が解決しようとする課題】
【０００５】
しかしながら、上記特許文献１に記載の従来技術にあっては、検証結果として、その合否をテスト仕様書に記述するだけである。このため、ユーザが検証結果の詳細（たとえば、検証実施時間、検証実施回数、検証実施前後の状態遷移、など）を把握したい場合であっても、容易に把握させることができないといった問題が生じていた。このため、検証作業における作業効率を向上させることができず、結果的に、作業時間が長時間化するだけでなく、作業コストが増加するといった問題が生じていた。
【０００６】
この発明は、上述した従来技術による問題点を解消するため、ユーザに対して検証結果の詳細を容易に把握させることで、検証作業における作業効率を向上させることができ、結果的に、作業時間の短時間化、および作業コストの低コスト化を図ることができる検証装置、検証プログラム、および検証方法を提供することを目的とする。
【課題を解決するための手段】
【０００７】
上述した課題を解決し、目的を達成するため、請求項１の発明にかかる検証装置は、検証対象処理が実行された検証対象装置から、前記検証対象処理の実行結果に関する情報を取得する取得手段と、前記取得手段によって取得された前記検証対象処理の実行結果に関する情報に基づいて、前記検証対象処理の実行結果を示す図表データを生成する生成手段と、前記生成手段によって生成された図表データを表示する表示手段と、を備えたことを特徴とする。
【０００８】
この発明によれば、検証対象装置から取得した情報に基づいた、検証対象装置によって実行された検証対象処理の実行結果をユーザに容易に把握させるための、図表データを生成および表示することができる。
【０００９】
また、請求項２の発明にかかる検証装置は、請求項１に記載の発明において、前記生成手段は、前記検証対象処理の実行前後の状態、前記検証対象処理の実行順序、前記検証対象処理の実行時間、前記検証対象処理の実行回数の少なくともいずれか一つが前記検証対象処理の実行結果として示された図表データを生成することを特徴とする。
【００１０】
この発明によれば、検証対象装置から取得した情報に基づいた、検証対象装置によって実行された検証対象処理に関する、実行前後の状態、実行順序、実行時間、実行回数の少なくともいずれか一つに関する情報をユーザに容易に把握させるための、図表データを生成および表示することができる。
【００１１】
また、請求項３の発明にかかる検証装置は、請求項１または２に記載の発明において、前記生成手段は、前記図表データを構成する所定の要素が前記検証対象処理の実行結果に応じた色に着色される、前記図表データを生成することを特徴とする。
【００１２】
この発明によれば、検証対象装置から取得した情報に基づいた、検証対象装置によって実行された検証対象処理の実行結果をユーザに容易に把握させるための、図表データを構成する所定の要素が検証対象処理の実行結果に応じた色に着色された、図表データを生成および表示することができる。
【００１３】
また、請求項４の発明にかかる検証装置は、請求項１〜３のいずれか一つに記載の発明において、前記生成手段は、前記図表データを構成する所定の要素が前記検証対象処理の実行結果に応じた形状に変形される、前記図表データを生成することを特徴とする。
【００１４】
この発明によれば、検証対象装置から取得した情報に基づいた、検証対象装置によって実行された検証対象処理の実行結果をユーザに容易に把握させるための、図表データを構成する所定の要素が検証対象処理の実行結果に応じた形状に変形された、図表データを生成および表示することができる。
【００１５】
また、請求項５の発明にかかる検証装置は、請求項１〜４のいずれか一つに記載の発明において、所定の選択条件に従って、前記生成手段によって生成された図表データの表示範囲を選択する選択手段をさらに備え、前記表示手段は、前記生成手段によって生成された図表データのうち、前記選択手段によって選択された表示範囲を表示することを特徴とする。
【００１６】
この発明によれば、検証対象装置から取得した情報に基づいた、検証対象装置によって実行された検証対象処理の実行結果をユーザに容易に把握させるための、図表データを生成したうえで、生成された図表データのうち、所定の選択条件を満たす範囲のみを表示することができる。
【００１７】
また、請求項６の発明にかかる検証装置は、検証対象装置によって実行される検証対象処理の修正履歴に関する情報を取得する取得手段と、前記取得手段によって取得された前記検証対象処理の修正履歴に関する情報に基づいて、前記検証対象処理の修正回数を示す図表データを生成する生成手段と、前記生成手段によって生成された図表データを表示する表示手段と、を備えたことを特徴とする。
【００１８】
この発明によれば、検証対象処理の修正履歴に関する情報に基づいた、検証対象処理の修正回数をユーザに容易に把握させるための、図表データを生成および表示することができる。
【００１９】
また、請求項７の発明にかかる検証プログラムは、検証対象処理が実行された検証対象装置から、前記検証対象処理の実行結果に関する情報を取得させる取得工程と、前記取得工程によって取得された前記検証対象処理の実行結果に関する情報に基づいて、前記検証対象処理の実行結果を示す図表データを生成させる生成工程と、前記生成工程によって生成された図表データを表示させる表示工程と、を検証装置に実行させることを特徴とする。
【００２０】
この発明によれば、検証対象装置から取得した情報に基づいた、検証対象装置によって実行された検証対象処理の実行結果をユーザに容易に把握させるための、図表データを検証装置に生成および表示させることができる。
【００２１】
また、請求項８の発明にかかる検証プログラムは、検証対象装置によって実行される検証対象処理の修正履歴に関する情報を取得させる取得工程と、前記取得工程によって取得された前記検証対象処理の修正履歴に関する情報に基づいて、前記検証対象処理の修正回数を示す図表データを生成させる生成工程と、前記生成工程によって生成された図表データを表示させる表示工程と、を検証装置に実行させることを特徴とする。
【００２２】
この発明によれば、検証対象処理の修正履歴に関する情報に基づいた、検証対象処理の修正回数をユーザに容易に把握させるための、図表データを検証装置に生成および表示させることができる。
【００２３】
また、請求項９の発明にかかる検証方法は、検証装置を用いて検証対象処理の検証をおこなう検証方法において、前記検証対象処理が実行された検証対象装置から、前記検証対象処理の実行結果に関する情報を取得する取得工程と、前記取得工程によって取得された前記検証対象処理の実行結果に関する情報に基づいて、前記検証対象処理の実行結果を示す図表データを生成する生成工程と、前記生成工程によって生成された図表データを表示する表示工程と、を検証装置に実行させることを特徴とする。
【００２４】
この発明によれば、検証対象装置から取得した情報に基づいた、検証対象装置によって実行された検証対象処理の実行結果をユーザに容易に把握させるための、図表データを検証装置に生成および表示させることができる。
【００２５】
また、請求項１０の発明にかかる検証方法は、検証装置を用いて検証対象処理の検証をおこなう検証方法において、前記検証対象処理の修正履歴に関する情報を取得させる取得工程と、前記取得工程によって取得された前記検証対象処理の修正履歴に関する情報に基づいて、前記検証対象処理の修正回数を示す図表データを生成させる生成工程と、前記生成工程によって生成された図表データを表示させる表示工程と、を検証装置に実行させることを特徴とする。
【００２６】
この発明によれば、検証対象処理の修正履歴に関する情報に基づいた、検証対象処理の修正回数をユーザに容易に把握させるための、図表データを検証装置に生成および表示させることができる。
【発明の効果】
【００２７】
本発明にかかる検証装置、検証プログラム、および検証方法によれば、ユーザに対して検証結果の詳細を容易に把握させることができるため、検証作業における作業効率を向上させることができ、結果的に、作業時間の短時間化、および作業コストの低コスト化を図ることができるという効果を奏する。
【発明を実施するための最良の形態】
【００２８】
以下に添付図面を参照して、この発明にかかる検証装置、検証プログラム、および検証方法の好適な実施の形態を、ＤＶＤレコーダに実装された機能の検証を一例に、詳細に説明する。
【００２９】
（実施の形態）
（検証システムのシステム構成）
まず、この発明の実施の形態にかかる検証システムのシステム構成について説明する。図１は、この発明の実施の形態にかかる検証システムのシステム構成を示すシステム構成図である。
【００３０】
図１において、検証システム１００は、検証装置として機能するパーソナル・コンピュータ１１０と、検証対象装置として機能するＤＶＤレコーダ１２０と、を備えて構成されており、互いに通信ケーブル１３０によって接続されている。
【００３１】
検証システム１００において、パーソナル・コンピュータ１１０は、ＤＶＤレコーダ１２０に実装されている検証対象処理を実行するためのイベントに対応する制御情報１４１の入力を受け付ける。そして、パーソナル・コンピュータ１１０は、通信ケーブル１３０を介して、入力された制御情報１４１をＤＶＤレコーダ１２０に送信することによって、ＤＶＤレコーダ１２０による検証対象処理の実行を制御する。
【００３２】
また、パーソナル・コンピュータ１１０は、ＤＶＤレコーダ１２０による検証対象処理の実行結果に関する情報として、ＤＶＤレコーダ１２０から送信された実行結果情報（実行結果に関する情報）１４２を受信する。そして、パーソナル・コンピュータ１１０は、検証対象処理の検証結果や修正回数などをユーザが容易に把握することができるように、実行結果情報１４２や修正履歴情報１４３などに基づいて、検証対象処理の検証結果や修正回数などが示された状態遷移表、状態遷移図、シーケンス図などの図表データ１４４を生成する。さらに、パーソナル・コンピュータ１１０は、生成された図表データ１４４を画面表示する。
【００３３】
また、検証システム１００において、ＤＶＤレコーダ１２０は、パーソナル・コンピュータ１１０から送信された制御情報１４１の受信に伴って、検証対象処理を実行する。このとき、ＤＶＤレコーダ１２０は、実行された検証対象処理に関する実行結果情報１４２を生成する。そして、ＤＶＤレコーダ１２０は、通信ケーブル１３０を介して、実行結果情報１４２をパーソナル・コンピュータ１１０に送信する。
【００３４】
ここで、ＤＶＤレコーダ１２０による検証対象処理の実行は、パーソナル・コンピュータ１１０から送信された制御情報１４１の受信に伴ったものに限らず、たとえば、ＤＶＤレコーダ１２０に備えられたリモコン装置（図示省略）または操作ボタン（図示省略）のユーザ操作に伴ったものであってもよい。
【００３５】
また、ＤＶＤレコーダ１２０からパーソナル・コンピュータ１１０への実行結果情報１４２の受け渡しは、通信ケーブル１３０を介したデータ通信によるものに限らず、その他の有線または無線データ通信によるものであってもよい。また、メモリカードなど着脱可能な記録媒体を介したものであってもよい。
【００３６】
なお、検証対象装置は、ＤＶＤレコーダ１２０に限らず、たとえば検証対象処理を実行することが可能なシミュレータを備えたパーソナル・コンピュータなど、検証対象処理が実行可能な装置であれば、どのような装置であってもよい。なお、パーソナル・コンピュータ１１０が上記シミュレータを備える場合、検証システム１００は、パーソナル・コンピュータ１１０のスタンド・アロン構成とすることができる。
【００３７】
（パーソナル・コンピュータ１１０のハードウェア構成）
つぎに、この発明の実施の形態にかかるパーソナル・コンピュータ１１０のハードウェア構成について説明する。図２は、この発明の実施の形態にかかるパーソナル・コンピュータ１１０のハードウェア構成を示すブロック図である。
【００３８】
図２において、パーソナル・コンピュータ１１０は、ＣＰＵ２０１と、ＲＯＭ２０２と、ＲＡＭ２０３と、ＨＤＤ（ハードディスクドライブ）２０４と、ＨＤ（ハードディスク）２０５と、Ｒ／Ｗ（リーダ／ライタ）２０６と、着脱可能な記録媒体の一例としてのＤＶＤ（Ｄｉｇｉｔａｌ  Ｖｅｒｓａｔｉｌｅ  Ｄｉｓｋ）２０７と、ディスプレイ２０８と、Ｉ／Ｆ（インターフェース）２０９と、キーボード２１０と、マウス２１１と、スキャナ２１２と、プリンタ２１３と、を備えており、各構成部はバス２２０によってそれぞれ接続されている。
【００３９】
ここで、ＣＰＵ２０１は、パーソナル・コンピュータ１１０の全体の制御を司る。ＲＯＭ２０２は、ブートプログラムなどのプログラムを記憶している。ＲＡＭ２０３は、ＣＰＵ２０１のワークエリアとして使用される。ＨＤＤ２０４は、ＣＰＵ２０１の制御にしたがってＨＤ２０５に対するデータのリード／ライトを制御する。ＨＤ２０５は、ＨＤＤ２０４の制御で書き込まれたデータを記憶する。
【００４０】
Ｒ／Ｗ２０６は、ＣＰＵ２０１の制御にしたがってＤＶＤ２０７に対するデータのリード／ライトを制御する。ＤＶＤ２０７は、Ｒ／Ｗ２０６の制御で書き込まれたデータを記憶したり、ＤＶＤ２０７に記憶されたデータを読み取らせたりする。
【００４１】
また、着脱可能な記録媒体として、ＤＶＤ２０７のほか、ＣＤ−ＲＯＭ（ＣＤ−Ｒ、ＣＤ−ＲＷ）、ＭＯ、メモリカード、ＦＤ（Ｆｌｅｘｉｂｌｅ  Ｄｉｓｃ）などであってもよい。ディスプレイ２０８は、カーソル、アイコンあるいはツールボックスをはじめ、文章、画像、機能情報などのデータを表示する。このディスプレイ２０８は、たとえば、ＣＲＴ、ＴＦＴ液晶ディスプレイ、プラズマディスプレイなどを採用することができる。
【００４２】
Ｉ／Ｆ２０９は、通信回線を通じてインターネットなどのネットワークに接続され、このネットワークを介してユーザ端末装置などの外部装置に接続される。また、Ｉ／Ｆ２０９は、通信ケーブル１３０（図１参照）を介して、ＤＶＤレコーダ１２０（図１参照）に接続される。そして、Ｉ／Ｆ２０９は、ネットワークおよび通信ケーブル１３０とパーソナル・コンピュータ１１０内部とのインターフェースを司り、外部装置およびＤＶＤレコーダ１２０からのデータの送受信を制御する。Ｉ／Ｆ２０９には、たとえばモデム、ＬＡＮカードなどを採用することができる。
【００４３】
キーボード２１０は、文字、数字、各種指示などの入力のためのキーを備え、データの入力をおこなう。また、タッチパネル式の入力パッドやテンキーなどであってもよい。マウス２１１は、カーソルの移動や範囲選択、あるいはウィンドウの移動やサイズの変更などをおこなう。ポインティングデバイスとして同様に機能を備えるものであれば、トラックボールやジョイスティックなどであってもよい。
【００４４】
スキャナ２１２は、画像を光学的に読み取り、パーソナル・コンピュータ１１０内に画像データを取り込む。なお、スキャナ２１２は、ＯＣＲ機能を持たせてもよい。また、プリンタ２１３は、画像データや文章データを印刷する。プリンタ２１３には、たとえば、レーザプリンタやインクジェットプリンタを採用することができる。
【００４５】
（ＤＶＤレコーダ１２０のハードウェア構成）
つぎに、この発明の実施の形態にかかるＤＶＤレコーダ１２０のハードウェア構成について説明する。図３は、この発明の実施の形態にかかるＤＶＤレコーダ１２０のハードウェア構成を示すブロック図である。
【００４６】
図３において、ＤＶＤレコーダ１２０は、ＣＰＵ３０１と、ＲＯＭ３０２と、ＲＡＭ３０３と、ＨＤＤ（ハードディスクドライブ）３０４と、ＨＤ（ハードディスク）３０５と、Ｒ／Ｗ（リーダ／ライタ）３０６と、ＤＶＤ（Ｄｉｇｉｔａｌ  Ｖｅｒｓａｔｉｌｅ  Ｄｉｓｋ）３０７と、Ｉ／Ｆ（インターフェース）３０８と、操作ボタン３０９と、を備えており、各構成部はバス３２０によってそれぞれ接続されている。
【００４７】
ここで、ＣＰＵ３０１は、ＤＶＤレコーダ１２０の全体の制御を司る。ＲＯＭ３０２は、ブートプログラムなどのプログラムを記憶している。ＲＡＭ３０３は、ＣＰＵ３０１のワークエリアとして使用される。ＨＤＤ３０４は、ＣＰＵ３０１の制御にしたがってＨＤ３０５に対するデータのリード／ライトを制御する。ＨＤ３０５は、ＨＤＤ３０４の制御で書き込まれたデータを記憶する。
【００４８】
Ｒ／Ｗ３０６は、ＣＰＵ３０１の制御にしたがってＤＶＤ３０７に対するデータのリード／ライトを制御する。ＤＶＤ３０７は、Ｒ／Ｗ３０６の制御で書き込まれたデータを記憶したり、ＤＶＤ３０７に記憶されたデータを読み取らせたりする。
【００４９】
Ｉ／Ｆ３０８は、通信ケーブル１３０（図１参照）を介して、パーソナル・コンピュータ１１０（図１参照）に接続される。また、Ｉ／Ｆ３０８は、テレビモニタなどの各種表示装置に接続される。そして、Ｉ／Ｆ３０８は、通信ケーブル１３０とＤＶＤレコーダ１２０内部とのインターフェースを司り、パーソナル・コンピュータ１１０および各種表示装置からのデータの送受信を制御する。Ｉ／Ｆ３０８には、たとえばＬＡＮカード、ＵＳＢカード、ビデオカードなどを採用することができる。操作ボタン３０９は、文字、数字、各種指示などの入力のためのキーを備え、データの入力をおこなう。また、タッチパネル式の入力パッドやテンキーなどであってもよい。
【００５０】
（パーソナル・コンピュータ１１０の機能的構成）
つぎに、この発明の実施の形態にかかるパーソナル・コンピュータ１１０の機能的構成について説明する。図４は、この発明の実施の形態にかかるパーソナル・コンピュータ１１０の機能的構成を示すブロック図である。
【００５１】
図４において、パーソナル・コンピュータ１１０は、取得部４０１と、生成部４０２と、選択部４０３と、表示部４０４と、切替部４０５と、入力部４０６と、出力部４０７と、から構成されている。
【００５２】
取得部４０１は、実行結果情報１４２を取得する。たとえば、取得部４０１は、ＤＶＤレコーダ１２０から送信された実行結果情報１４２を受信することによって、実行結果情報１４２を取得する。ここで、実行結果情報１４２には、たとえば、実行された検証対象処理に関する、処理名、実行前後の状態、実行時間、などの情報が示されている。
【００５３】
なお、取得部４０１は、ファイルやデータベースなど、実行結果情報１４２が記録された所定の記録媒体などから、実行結果情報１４２を読み取ることによって、実行結果情報１４２を取得するようにしてもよい。この場合、実行結果情報１４２が記録された所定の記録媒体は、たとえば図２に示したＨＤ２０５、ＤＶＤ２０７など、取得部４０１によるデータの読み取り可能な記録媒体であればどのような形態のものであってもよい。
【００５４】
また、取得部４０１は、修正履歴情報１４３を取得する。たとえば、取得部４０１は、ファイルやデータベースなど、修正履歴情報１４３が記録された所定の記録媒体などから、修正履歴情報１４３を読み取る。この場合、修正履歴情報１４３が記録された所定の記録媒体は、たとえば図２に示したＨＤ２０５、ＤＶＤ２０７など、取得部４０１によるデータの読み取り可能な記録媒体であればどのような形態のものであってもよい。
【００５５】
ここで、修正履歴情報１４３には、たとえば、修正された検証対象処理に関する、処理名、修正日時などが示されている。なお、取得部４０１は、具体的には、たとえば図２に示したＩ／Ｆ２０９などによってその機能を実現する。
【００５６】
生成部４０２は、取得部４０１によって取得された実行結果情報１４２、および修正履歴情報１４３に基づいて、図表データ１４４を生成する。ここで、生成部４０２によって生成される図表データ１４４としては、たとえば、状態遷移表、状態遷移図、シーケンス図などが挙げられる。
【００５７】
ここで、生成部４０２は、図表データ１４４を新たに生成してもよく、既存の図表データ１４４を編集するようにしてもよい。また、既存の図表データ１４４を複製した後に編集するようにしてもよい。
【００５８】
また、生成部４０２は、情報の種類ごとに図表データ１４４を生成するようにしてもよい。ここで、情報の種類としては、検証対象処理の実行時間、累計実行回数、累計修正回数、などが挙げられる。
【００５９】
ここで、生成部４０２による図表データ１４４の生成処理の具体例を以下に示す。なお、生成部４０２は、以下に示す生成処理のうち、いずれか一つの生成処理のみをおこなうようにしてもよいし、複数の生成処理をおこなうようにしてもよい。
【００６０】
（具体例１）取得部４０１によって取得された実行結果情報１４２に基づいて、実行された検証対象処理に関する、処理名、実行時間などが所定のセル内に記入された状態遷移表を図表データ１４４として生成する。
【００６１】
（具体例２）取得部４０１によって取得された実行結果情報１４２に基づいて、実行された検証対象処理の実行時間に応じて所定のセルが着色または変形された状態遷移表を図表データ１４４として生成する。
【００６２】
この場合、生成部４０２は、たとえば、実行された検証対象処理の実行時間の長短が色の変化によって表されるように、当該処理に対応するセルを着色する。一例として、実行された検証対象処理の実行時間が所定の基準時間であれば、青色に着色し、実行された処理の実行時間が所定の基準時間よりも短ければ、黄色に着色し、実行された検証対象処理の実行時間が所定の基準時間よりも長ければ、赤色に着色する。
【００６３】
また、生成部４０２は、たとえば、実行された検証対象処理の実行時間の長短が色の濃淡によって表されるように、当該処理に対応するセルを着色する。一例として、実行された検証対象処理の実行時間が所定の基準時間であれば、標準的な濃度に着色し、実行された検証対象処理の実行時間が所定の基準時間よりも短ければ、標準的な濃度よりも淡く着色し、実行された検証対象処理の実行時間が所定の基準時間よりも長ければ、標準的な濃度よりも濃く着色する。
【００６４】
また、生成部４０２は、たとえば、実行された検証対象処理の実行時間の長短がセルの大小によって表されるように、当該処理に対応するセルを変形させる。一例として、実行された検証対象処理の実行時間が所定の基準時間であれば、標準的な大きさのままとし、実行された検証対象処理の実行時間が所定の基準時間よりも短ければ、標準的な大きさよりも小さくなるように変形させ、実行された検証対象処理の実行時間が所定の基準時間よりも長ければ、標準的な大きさよりも大きくなるように変形させる。
【００６５】
（具体例３）取得部４０１によって取得された実行結果情報１４２に基づいて、実行された検証対象処理の累計実行回数（すなわち、累計検証回数）に応じてセルが着色または変形された状態遷移表を図表データ１４４として生成する。
【００６６】
この場合、生成部４０２は、たとえば、実行された検証対象処理の累計実行回数が色の変化によって表されるように、上記具体例２と同様に、当該処理に対応するセルを着色する。また、たとえば、実行された検証対象処理の累計実行回数が色の濃淡によって表されるように、上記具体例２と同様に、当該処理に対応するセルを着色する。また、たとえば、実行された検証対象処理の累計実行回数がセルの大小によって表されるように、上記具体例２と同様に、当該処理に対応するセルを変形する。
【００６７】
（具体例４）取得部４０１によって取得された修正履歴情報１４３に基づいて、検証対象処理の修正回数に応じてセルが着色または変形された状態遷移表を図表データ１４４として生成する。
【００６８】
この場合、生成部４０２は、たとえば、検証対象処理の修正回数が色の変化によって表されるように、上記具体例２と同様に、当該検証対象処理に対応するセルを着色する。また、たとえば、検証対象処理の修正回数が色の濃淡によって表されるように、上記具体例２と同様に、当該検証対象処理に対応するセルを着色する。また、たとえば、検証対象処理の修正回数がセルの大小によって表されるように、上記具体例２と同様に、当該検証対象処理に対応するセルを変形する。
【００６９】
（具体例５）取得部４０１によって取得された実行結果情報１４２に基づいて、検証対象処理の実行前後の状態を示す画像が所定のセル内に貼付された状態遷移表を図表データ１４４として生成する。
【００７０】
（具体例６）取得部４０１によって取得された実行結果情報１４２に基づいて、実行された検証対象処理の実行順序を示す矢印などの図形が貼付された状態遷移表を図表データ１４４として生成する。
【００７１】
（具体例７）取得部４０１によって取得された実行結果情報１４２に基づいて、実行された検証対象処理の実行順序などを示す状態遷移図やシーケンス図などを図表データ１４４として生成する。
【００７２】
なお、生成部４０２は、具体的には、たとえば図２に示したＲＯＭ２０２、ＲＡＭ２０３、ＨＤ２０５、ＤＶＤ２０７に記憶されたプログラムをＣＰＵ２０１が実行することによってその機能を実現する。
【００７３】
選択部４０３は、ファイルやデータベースなどの記録媒体に記録されている所定の選択条件に従って、生成部４０２によって生成された図表データ１４４の表示範囲を選択する。ここで、選択条件としては、たとえば、「実行された検証対象処理に関する列／行／範囲のみを表示範囲とする」、「ユーザによって指定された列／行／範囲のみを表示範囲とする」、などが挙げられる。そして、選択部４０３は、図表データ１４４のうち、上記選択条件を満たす列／行／範囲を表示範囲として選択する。
【００７４】
なお、選択部４０３は、具体的には、たとえば図２に示したＲＯＭ２０２、ＲＡＭ２０３、ＨＤ２０５、ＤＶＤ２０７に記憶されたプログラムをＣＰＵ２０１が実行することによってその機能を実現する。
【００７５】
表示部４０４は、生成部４０２によって生成された図表データ１４４を表示する。なお、表示部４０４は、生成部４０２によって生成された図表データ１４４が複数ある場合は、いずれか一つを表示するようにしてもよいし、複数を同時に表示するようにしてもよい。
【００７６】
また、表示部４０４は、切替部４０５によって表示対象の図表データ１４４が切り替えられた場合、新たに表示対象とされた図表データ１４４を表示する。また、表示部４０４は、切替部４０５によって図表データ１４４の非表示範囲の表示／非表示が切り替えられた場合、図表データ１４４の非表示範囲を表示／非表示する。なお、表示部４０４は、具体的には、たとえば図２に示したディスプレイ２０８によってその機能を実現する。
【００７７】
切替部４０５は、表示対象の図表データ１４４を切り替える。また、切替部４０５は、選択部４０３によって表示範囲が選択された図表データ１４４が、表示部４０４によって表示されている場合、図表データ１４４の非表示範囲の表示／非表示を切り替える。切替部４０５は、たとえば、ユーザによる切り替え操作に基づいて、上記切り替え処理をおこなう。なお、切替部４０５は、具体的には、たとえば図２に示したＲＯＭ２０２、ＲＡＭ２０３、ＨＤ２０５、ＤＶＤ２０７に記憶されたプログラムをＣＰＵ２０１が実行することによってその機能を実現する。
【００７８】
入力部４０６は、制御情報１４１の入力を受け付ける。たとえば、入力部４０６は、制御情報１４１の入力画面を表示して、ユーザによる制御情報１４１の入力を促す。ここで、制御情報１４１には、たとえば、検証対象処理を実行するためのイベントや、イベントの発生順序などが示されている。
【００７９】
なお、入力部４０６は、ファイルやデータベースなど、制御情報１４１が記録された所定の記録媒体などから、制御情報１４１を読み取るようにしてもよい。この場合、制御情報１４１が記録された所定の記録媒体は、たとえば図２に示したＨＤ２０５、ＤＶＤ２０７など、入力部４０６によるデータの読み取り可能な記録媒体であればどのような形態のものであってもよい。なお、入力部４０６は、具体的には、たとえば図２に示したキーボード２１０などによってその機能を実現する。
【００８０】
出力部４０７は、入力部４０６によって入力された制御情報１４１を出力する。たとえば、出力部４０７は、入力部４０６によって入力された制御情報１４１をＤＶＤレコーダ１２０に送信する。また、たとえば、出力部４０７は、入力部４０６によって入力された制御情報１４１をＤＶＤレコーダ１２０による読み取り可能な所定の記録媒体に出力（記録）する。ここで、出力部４０７は、入力部４０６によって入力された制御情報１４１が、ＤＶＤレコーダ１２０の制御コード体系に従って記録されているものであった場合は、この制御情報１４１を編集せずに出力する。
【００８１】
一方、出力部４０７は、入力部４０６によって入力された制御情報１４１が、ＤＶＤレコーダ１２０の制御コード体系に従って記録されていないものであった場合は、この制御情報１４１を、ＤＶＤレコーダ１２０の制御コード体系に従った制御情報１４１に変換して、変換された制御情報１４１を出力する。なお、出力部４０７は、具体的には、たとえば図２に示したＩ／Ｆ２０９などによってその機能を実現する。
【００８２】
（ＤＶＤレコーダ１２０の機能的構成）
つぎに、この発明の実施の形態にかかるＤＶＤレコーダ１２０の機能的構成について説明する。図５は、この発明の実施の形態にかかるＤＶＤレコーダ１２０の機能的構成を示すブロック図である。
【００８３】
図５において、ＤＶＤレコーダ１２０は、取得部５０１と、実行部５０２と、生成部５０３と、出力部５０４と、から構成されている。
【００８４】
図５において、取得部５０１は、パーソナル・コンピュータ１１０から出力された制御情報１４１を取得する。たとえば、取得部５０１は、パーソナル・コンピュータ１１０から送信された制御情報１４１を受信する。また、たとえば、取得部５０１は、パーソナル・コンピュータ１１０から出力された制御情報１４１を所定の記録媒体から読み取る。
【００８５】
ここで、取得部５０１によって取得される制御情報１４１は、パーソナル・コンピュータ１１０から出力されたものに限らず、たとえば、ＤＶＤレコーダ１２０に備えられたリモコン装置（図示省略）または操作ボタン（図示省略）のユーザ操作に伴ってＤＶＤレコーダ１２０上で生成されたものであってもよい。なお、取得部５０１は、具体的には、たとえば図３に示したＩ／Ｆ３０８などによってその機能を実現する。
【００８６】
実行部５０２は、取得部５０１によって取得された制御情報１４１に基づいて、検証対象処理を実行する。なお、実行部５０２は、具体的には、たとえば図３に示したＲＯＭ３０２、ＲＡＭ３０３、ＨＤ３０５、ＤＶＤ３０７に記憶されたプログラムをＣＰＵ３０１が実行することによってその機能を実現する。
【００８７】
生成部５０３は、実行部５０２によって実行された検証対象処理に関する実行結果情報１４２を生成する。なお、生成部５０３は、具体的には、たとえば図３に示したＲＯＭ３０２、ＲＡＭ３０３、ＨＤ３０５、ＤＶＤ３０７に記憶されたプログラムをＣＰＵ３０１が実行することによってその機能を実現する。
【００８８】
出力部５０４は、生成部５０３によって生成された実行結果情報１４２を出力する。たとえば、出力部５０４は、生成部５０３によって生成された実行結果情報１４２をパーソナル・コンピュータ１１０に送信する。また、たとえば、出力部５０４は、生成部５０３によって生成された実行結果情報１４２をパーソナル・コンピュータ１１０による読み取り可能な所定の記録媒体に出力（記録）する。なお、出力部５０４は、具体的には、たとえば図３に示したＩ／Ｆ３０８などによってその機能を実現する。
【００８９】
（検証対象処理の一例）
つぎに、検証システム１００による検証処理に用いられる検証対象処理の一例について説明する。図６は、検証システム１００による検証処理に用いられる検証対象処理の一例を示す説明図である。
【００９０】
図６に示す検証対象処理６００は、ＤＶＤレコーダ１２０に実装されたＴＶ番組などの録画予約機能を示したものであり、検証対象処理６００が仕様どおりに動作した場合を示したものである。この検証対象処理６００は、状態６０１（状態Ａ）、状態６０２（状態Ｃ）、状態６０３（状態Ｅ）、および状態６０４（状態Ｂ）によって構成されている。そして、図６に示すように、状態６０１（状態Ａ）から、イベント「イベント１」（メニュー画面の表示操作に対応するイベント）が発生することによって、処理「Ａ１」が実行され、状態６０２（状態Ｃ）へ遷移する。
【００９１】
また、状態６０２（状態Ｃ）から、イベント「イベント３」（録画予約画面の表示操作に対応するイベント）が発生することによって、処理「Ａ２」が実行され、状態６０３（状態Ｅ）へ遷移する。そして、状態６０３（状態Ｅ）から、イベント「イベント５」（録画予約の確定操作に対応するイベント）が発生することによって、処理「Ａ３」が実行され、状態６０４（状態Ｂ）へ遷移する。
【００９２】
（制御情報１４１の一例）
つぎに、検証システム１００による検証処理に用いられる制御情報１４１の一例について説明する。図７は、検証システム１００による検証処理に用いられる制御情報１４１の一例を示す説明図である。
【００９３】
図７において、制御情報１４１は、たとえばユーザ操作によってパーソナル・コンピュータ１１０に入力された後に、ＤＶＤレコーダ１２０に送信され、ＤＶＤレコーダ１２０による検証対象処理６００（図６参照）の実行を制御するものである。この制御情報１４１には、検証対象処理６００の実行を制御するためのイベントに関する、イベント名および発生順序がテキストデータ形式およびＣＳＶフォーマットで記録されている。
【００９４】
たとえば、図７に示す制御情報１４１は、文字列「イベント１，イベント３，イベント５」が記録されており、この文字列は、ＤＶＤレコーダ１２０において、順にイベント「イベント１」、イベント「イベント３」、イベント「イベント５」を発生させるためのものであることを意味する。
【００９５】
ここで、制御情報１４１は、上述したようなＣＳＶフォーマットに限らず、検証対象処理６００の実行を制御するために発生させるイベントに関するイベント名および発生順序を判別することができる形式であれば、どのようなフォーマットによって記録されたものであってもよい。また、制御情報１４１は、ファイルに記録されているものに限らず、データベースなどに記録されているものであってもよい。
【００９６】
また、制御情報１４１は、テキストデータ形式で記録されているものに限らず、たとえばバイナリデータ形式で記録されているものであってもよい。また、制御情報１４１の入力方法は、テキストエディタや表計算ソフトなどによって制御情報１４１を入力する方法、制御情報１４１の入力画面によって制御情報１４１を入力する方法など、あらゆる方法を用いてもよい。
【００９７】
（実行結果情報１４２の一例）
つぎに、検証システム１００による検証処理に用いられる実行結果情報１４２の一例について説明する。図８は、検証システム１００による検証処理に用いられる実行結果情報１４２の一例を示す説明図である。
【００９８】
図８において、実行結果情報１４２は、ＤＶＤレコーダ１２０において、図５に示した生成部５０３によって生成され、ＤＶＤレコーダ１２０からパーソナル・コンピュータ１１０に送信されたものである。この実行結果情報１４２には、イベント名、イベントの発生に基づいて実行された検証対象処理に関する、処理名、実行前後の状態、実行時間が、イベントごとに、テキストデータ形式およびＣＳＶフォーマットで記録されている。
【００９９】
たとえば、最初（１回目）に発生されたイベント「イベント１」によって、処理「Ａ１」が実行され、実行前の状態「状態Ａ」から実行後の状態「状態Ｃ」へ遷移したことが示されている。また、このときの実行時間「０．３０（ｓｅｃ）」を要したことが示されている。
【０１００】
また、２回目に発生されたイベント「イベント３」によって、処理「Ａ２」が実行され、実行前の状態「状態Ｃ」から実行後の状態「状態Ｅ」へ遷移したことが示されている。また、このときの実行時間「０．５０（ｓｅｃ）」を要したことが示されている。
【０１０１】
そして、最後（３回目）に発生されたイベント「イベント５」によって、処理「Ａ３」が実行され、実行前の状態「状態Ｅ」から実行後の状態「状態Ｂ」へ遷移したことが示されている。また、このときの実行時間「０．４０（ｓｅｃ）」を要したことが示されている。
【０１０２】
ここで、実行結果情報１４２は、上述したようなＣＳＶフォーマットに限らず、イベント名、処理名、実行前の状態、実行後の状態、および実行時間を、イベントごとに判別することができる形式であれば、どのようなフォーマットによって記録されたものであってもよい。また、実行結果情報１４２は、テキストデータ形式で記録されているものに限らず、たとえばバイナリデータ形式で記録されているものであってもよい。
【０１０３】
（修正履歴情報１４３の一例）
つぎに、検証システム１００による検証処理に用いられる修正履歴情報１４３の一例について説明する。図９は、検証システム１００による検証処理に用いられる修正履歴情報１４３の一例を示す説明図である。
【０１０４】
図９において、修正履歴情報１４３は、たとえば、パーソナル・コンピュータ１１０において、ユーザによって入力された後に、ファイルやデータベースなどの所定の記録媒体に記録されたものである。この修正履歴情報１４３には、修正された検証対象処理に関する処理名、修正日時、修正回数、および修正者が、処理ごとに、テキストデータ形式で記録されている。
【０１０５】
たとえば、図９に示す修正履歴情報１４３には、処理「Ａ１」は、修正回数が「１回」であり、処理「Ａ２」は、修正回数が「４回」であり、処理「Ａ３」は、修正回数が「１回」であることが示されている。
【０１０６】
ここで、修正履歴情報１４３は、上述したようなフォーマットに限らず、修正された検証対象処理に関する処理名、修正日時、修正回数、および修正者が、処理ごとに判別することができる形式であれば、どのようなフォーマットによって記録されたものであってもよい。また、修正履歴情報１４３は、テキストデータ形式で記録されているものに限らず、たとえばバイナリデータ形式で記録されているものであってもよい。
【０１０７】
（パーソナル・コンピュータ１１０による制御情報送信処理の手順）
つぎに、この発明の実施の形態にかかるパーソナル・コンピュータ１１０による検証処理のうち、制御情報送信処理の手順について説明する。図１０は、この発明の実施の形態にかかるパーソナル・コンピュータ１１０による制御情報送信処理の手順の一例を示すフローチャートである。
【０１０８】
まず、入力部４０６によって、制御情報１４１の入力を受け付けたか否かを判断する（ステップＳ１００１）。ステップＳ１００１において、制御情報１４１の入力を受け付けたと判断した場合（ステップＳ１００１：Ｙｅｓ）は、出力部４０７によって、ステップＳ１００１で入力された制御情報１４１をＤＶＤレコーダ１２０に送信して（ステップＳ１００２）、一連の処理を終了する。
【０１０９】
一方、ステップＳ１００１において、制御情報１４１の入力を受け付けていないと判断した場合（ステップＳ１００１：Ｎｏ）は、制御情報１４１の入力を受け付けたと判断されるまで、上記判断処理（ステップＳ１００１）を繰り返しおこなう。
【０１１０】
（パーソナル・コンピュータ１１０による表示処理の手順）
つぎに、この発明の実施の形態にかかるパーソナル・コンピュータ１１０による検証処理のうち、表示処理の手順について説明する。図１１は、この発明の実施の形態にかかるパーソナル・コンピュータ１１０による表示処理の手順の一例を示すフローチャートである。
【０１１１】
まず、取得部４０１によって、実行結果情報１４２を取得する（ステップＳ１１０１）。つぎに、取得部４０１によって、修正履歴情報１４３を取得する（ステップＳ１１０２）。
【０１１２】
つぎに、生成部４０２によって、ステップＳ１１０１で取得された実行結果情報１４２、およびステップＳ１１０２で取得された修正履歴情報１４３に基づいて、図表データ１４４を生成する（ステップＳ１１０３）。
【０１１３】
つぎに、選択部４０３によって、ファイルやデータベースなど、所定の記録媒体に記録されている選択条件に従って、ステップＳ１１０３で生成された図表データ１４４の表示範囲を選択する（ステップＳ１１０４）。
【０１１４】
つぎに、表示部４０４によって、ステップＳ１１０３で生成された図表データ１４４を表示する（ステップＳ１１０５）。つぎに、切替部４０５によって、表示対象の図表データ１４４を切り替えるか否かを判断する（ステップＳ１１０６）。
【０１１５】
ステップＳ１１０６において、図表データ１４４を切り替えると判断した場合（ステップＳ１１０６：Ｙｅｓ）は、切替部４０５によって、表示部４０４によって表示される図表データ１４４を切り替えて（ステップＳ１１０７）、ステップＳ１１０５に戻る。一方、ステップＳ１１０６において、図表データ１４４を切り替えないと判断した場合（ステップＳ１１０６：Ｎｏ）は、一連の処理を終了する。
【０１１６】
（ＤＶＤレコーダ１２０による検証処理の手順）
つぎに、この発明の実施の形態にかかるＤＶＤレコーダ１２０による検証処理の手順について説明する。図１２は、この発明の実施の形態にかかるＤＶＤレコーダ１２０による検証処理の手順の一例を示すフローチャートである。
【０１１７】
まず、取得部５０１によって、パーソナル・コンピュータ１１０から送信された制御情報１４１を受信したか否かを判断する（ステップＳ１２０１）。ステップＳ１２０１において、制御情報１４１を受信していないと判断した場合（ステップＳ１２０１：Ｎｏ）は、制御情報１４１を受信したと判断するまで繰り返し上記判断処理（ステップＳ１２０１）をおこなう。
【０１１８】
一方、ステップＳ１２０１において、制御情報１４１を受信したと判断した場合（ステップＳ１２０１：Ｙｅｓ）は、実行部５０２によって、ステップＳ１２０１で受信された制御情報１４１に基づいて、検証対象処理を実行する（ステップＳ１２０２）。
【０１１９】
つぎに、生成部５０３によって、ステップＳ１２０２で実行された検証対象処理に関する実行結果情報１４２を生成する（ステップＳ１２０３）。そして、出力部５０４によって、ステップＳ１２０３で生成された実行結果情報１４２をパーソナル・コンピュータ１１０へ送信して（ステップＳ１２０４）、一連の処理を終了する。
【０１２０】
（生成部４０２によって生成された図表データ１４４の一例）
つぎに、生成部４０２によって生成された図表データ１４４の一例について説明する。図１３〜２０は、生成部４０２によって生成された図表データ１４４の一例を示す説明図である。
【０１２１】
図１３に示す図表データ１４４は、図８に示した実行結果情報１４２に基づいて、ＤＶＤレコーダ１２０によって実行された検証対象処理に関する、処理名および実行前後の状態が、処理ごとに示された状態遷移表である。
【０１２２】
たとえば、セル１３０１には、イベント「イベント１」によって、処理「Ａ１」が実行され、実行前の状態「状態Ａ」から実行後の状態「状態Ｃ」へ遷移したことが示されている。また、セル１３０２には、イベント「イベント３」によって、処理「Ａ２」が実行され、実行前の状態「状態Ｃ」から実行後の状態「状態Ｅ」へ遷移したことが示されている。そして、セル１３０３には、イベント「イベント５」によって、処理「Ａ３」が実行され、実行前の状態「状態Ｅ」から実行後の状態「状態Ｂ」へ遷移したことが示されている。
【０１２３】
また、図１４に示す図表データ１４４は、図８に示した実行結果情報１４２に基づいて、ＤＶＤレコーダ１２０によって実行された検証対象処理に関する、実行時間が、処理ごとに示された状態遷移表である。
【０１２４】
たとえば、セル１３０１には、実行前の状態「状態Ａ」から、イベント「イベント１」によって実行された処理（処理「Ａ１」）の実行時間「０．３０（ｓｅｃ）」が記入されているうえ、当該実行時間に応じた所定の色に着色されている。また、セル１３０２には、実行前の状態「状態Ｃ」から、イベント「イベント３」によって実行された処理（処理「Ａ２」）の実行時間「０．５０（ｓｅｃ）」が記入されているうえ、当該実行時間に応じた所定の色に着色されている。
【０１２５】
そして、セル１３０３には、実行前の状態「状態Ｅ」から、イベント「イベント５」によって実行された処理（処理「Ａ３」）の実行時間「０．４０（ｓｅｃ）」が記入されているうえ、当該実行時間に応じた所定の色に着色されている。
【０１２６】
また、図１５に示す図表データ１４４は、図８に示した実行結果情報１４２に基づいて、ＤＶＤレコーダ１２０によって実行された検証対象処理の累計実行回数が、処理ごとに示された状態遷移表である。
【０１２７】
たとえば、セル１３０１には、実行前の状態「状態Ａ」から、イベント「イベント１」によって実行される処理（処理「Ａ１」）の累計実行回数「１回」が記入されているうえ、当該累計実行回数に応じた所定の色に着色されている。また、セル１３０２には、実行前の状態「状態Ｃ」から、イベント「イベント３」によって実行される処理（処理「Ａ２」）の累計実行回数「２回」が記入されているうえ、当該累計実行回数に応じた所定の色に着色されている。
【０１２８】
そして、セル１３０３には、実行前の状態「状態Ｅ」から、イベント「イベント５」によって実行される処理（処理「Ａ３」）の累計実行回数「１回」が記入されているうえ、当該累計実行回数に応じた所定の色に着色されている。
【０１２９】
また、図１６に示す図表データ１４４は、修正履歴情報１４３に基づいて、ＤＶＤレコーダ１２０に実装された検証対象処理に関する、累計修正回数が処理ごとに示された状態遷移表である。
【０１３０】
たとえば、セル１３０１には、実行前の状態「状態Ａ」から、イベント「イベント１」によって実行される処理（処理「Ａ１」）の累計修正回数「１回」が記入されているうえ、当該累計修正回数に応じた所定の色に着色されている。また、セル１３０２には、実行前の状態「状態Ｃ」から、イベント「イベント３」によって実行される処理（処理「Ａ２」）の累計修正回数「４回」が記入されているうえ、当該累計修正回数に応じた所定の色に着色されている。
【０１３１】
そして、セル１３０３には、実行前の状態「状態Ｅ」から、イベント「イベント５」によって実行される処理（処理「Ａ３」）の累計修正回数「１回」が記入されているうえ、当該累計修正回数に応じた所定の色に着色されている。
【０１３２】
また、図１７に示す図表データ１４４は、図８に示した実行結果情報１４２に基づいて、ＤＶＤレコーダ１２０によって実行された検証対象処理に関する、実行前後の状態が、画像によって示され、処理の実行順序が、図形（矢印１７１０）によって示された状態遷移表である。
【０１３３】
たとえば、セル１７００には、実行前の状態「状態Ａ」を示す画像１７０１が示されている。また、セル１３０１には、実行前の状態「状態Ａ」から、イベント「イベント１」によって実行される処理（処理「Ａ１」）によって遷移する、実行後の状態「状態Ｃ」を示す画像１７０２が示されている。
【０１３４】
また、セル１３０２には、実行前の状態「状態Ｃ」から、イベント「イベント３」によって実行される処理（処理「Ａ２」）によって遷移する、実行後の状態「状態Ｅ」を示す画像１７０３が示されている。そして、セル１３０３には、実行前の状態「状態Ｅ」から、イベント「イベント５」によって実行される処理（処理「Ａ３」）によって遷移する、実行後の状態「状態Ｂ」を示す画像１７０４が示されている。
【０１３５】
なお、上記各画像は、たとえば、あらかじめ所定の記録媒体に記録されている静的なものであってもよいし、上記各処理が実行されたことによってＤＶＤレコーダ１２０によって取得された動的なものであってもよい。
【０１３６】
また、図１８に示す図表データ１４４は、図８に示した実行結果情報１４２に基づいて、ＤＶＤレコーダ１２０によって実行された検証対象処理に関する、実行前後の状態が処理ごとに示された状態遷移図である。
【０１３７】
また、図１９に示す図表データ１４４は、図８に示した実行結果情報１４２に基づいて、ＤＶＤレコーダ１２０によって実行された検証対象処理に関する、実行前後の状態が処理ごとに画像によって示された状態遷移図である。
【０１３８】
そして、図２０に示す図表データ１４４は、図８に示した実行結果情報１４２に基づいて、ＤＶＤレコーダ１２０によって実行された検証対象処理に関する、実行前後の状態が処理ごとに示されたシーケンス図である。
【０１３９】
（選択部４０３によって表示範囲が選択された図表データ１４４の一例）
つぎに、選択部４０３によって表示範囲が選択された図表データ１４４の一例について説明する。図２１は、選択部４０３によって表示範囲が選択された図表データ１４４の一例を示す説明図である。
【０１４０】
図２１に示す図表データ１４４は、ファイルやデータベースなどの記録媒体に記録されている所定の選択条件に従って、図１３に示した図表データ１４４の表示範囲が、選択部４０３によって選択されたものである。ここで、上記選択条件には、「実行された処理に関する列／行／範囲のみを表示範囲とする」旨が示されている。そして、図２１に示す図表データ１４４は、上記選択条件に従って、「実行された処理に関する列／行／範囲」のみが表示範囲とされたものである。
【０１４１】
以上説明したように、この発明の実施の形態にかかる検証装置、検証対象装置、検証処理、および検証方法によれば、パーソナル・コンピュータ１１０において、制御情報１４１を入力するだけといった簡単な作業をユーザにおこなわせるによって、ＤＶＤレコーダ１２０に実装された検証対象処理６００を実行することができる。これにより、検証対象処理６００の検証作業の作業効率を向上させることができ、結果的に、検証対象処理６００の検証作業における作業時間の短時間化、および作業コストの低コスト化を図ることができる。
【０１４２】
また、パーソナル・コンピュータ１１０において、ＤＶＤレコーダ１２０から受信した実行結果情報１４２などに基づいて、状態遷移表、状態遷移図、シーケンス図などの視覚効果の高い図表データ１４４を自動的に生成して、これら図表データ１４４を画面表示することができる。これにより、ユーザに対して検証対象処理６００の検証結果の詳細を容易に把握させることができるため、検証対象処理６００の検証作業における作業効率を向上させることができ、結果的に、検証対象処理６００の検証作業における作業時間の短時間化、および作業コストの低コスト化を図ることができる。
【０１４３】
なお、本実施の形態で説明した検証方法は、あらかじめ用意されたプログラムをパーソナル・コンピュータやワークステーション、ＣＡＤ等のコンピュータで実行することにより実現することができる。このプログラムは、ハードディスク、フレキシブルディスク、ＣＤ−ＲＯＭ、ＭＯ、ＤＶＤなどのコンピュータで読み取り可能な記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。またこのプログラムは、インターネットなどのネットワークを介して配布することが可能な伝送媒体であってもよい。
【産業上の利用可能性】
【０１４４】
以上のように、本発明にかかる検証装置、検証プログラム、および検証方法は、組込み処理の検証作業を含む開発業務などに有用であり、特に、多くの機能を備えた組込み処理の開発業務などへの利用に適している。
【図面の簡単な説明】
【０１４５】
【図１】この発明の実施の形態にかかる検証システムのシステム構成を示すシステム構成図である。
【図２】この発明の実施の形態にかかるパーソナル・コンピュータのハードウェア構成を示すブロック図である。
【図３】この発明の実施の形態にかかるＤＶＤレコーダのハードウェア構成を示すブロック図である。
【図４】この発明の実施の形態にかかるパーソナル・コンピュータの機能的構成を示すブロック図である。
【図５】この発明の実施の形態にかかるＤＶＤレコーダの機能的構成を示すブロック図である。
【図６】検証システムによる検証処理に用いられる検証対象処理の一例を示す説明図である。
【図７】検証システムによる検証処理に用いられる制御情報の一例を示す説明図である。
【図８】検証システムによる検証処理に用いられる実行結果情報の一例を示す説明図である。
【図９】検証システムによる検証処理に用いられる修正履歴情報の一例を示す説明図である。
【図１０】この発明の実施の形態にかかるパーソナル・コンピュータによる制御情報送信処理の手順の一例を示すフローチャートである。
【図１１】この発明の実施の形態にかかるパーソナル・コンピュータによる表示処理の手順の一例を示すフローチャートである。
【図１２】この発明の実施の形態にかかるＤＶＤレコーダによる検証処理の手順の一例を示すフローチャートである。
【図１３】生成部によって生成された図表データの一例を示す説明図である。
【図１４】生成部によって生成された図表データの一例を示す説明図である。
【図１５】生成部によって生成された図表データの一例を示す説明図である。
【図１６】生成部によって生成された図表データの一例を示す説明図である。
【図１７】生成部によって生成された図表データの一例を示す説明図である。
【図１８】生成部によって生成された図表データの一例を示す説明図である。
【図１９】生成部によって生成された図表データの一例を示す説明図である。
【図２０】生成部によって生成された図表データの一例を示す説明図である。
【図２１】選択部によって表示範囲が選択された図表データの一例を示す説明図である。
【符号の説明】
【０１４６】
１００  検証システム
１１０  パーソナル・コンピュータ
１２０  ＤＶＤレコーダ
１３０  通信ケーブル
１４１  制御情報
１４２  実行結果情報
１４３  修正履歴情報
１４４  図表データ
４０１  取得部
４０２  生成部
４０３  選択部
４０４  表示部
４０５  切替部
４０６  入力部
４０７  出力部
５０１  取得部
５０２  実行部
５０３  生成部
５０４  出力部
【図１】
2008077317.tif 000003
【図２】
2008077317.tif 000004
【図３】
2008077317.tif 000005
【図４】
2008077317.tif 000006
【図５】
2008077317.tif 000007
【図６】
2008077317.tif 000008
【図７】
2008077317.tif 000009
【図８】
2008077317.tif 000010
【図９】
2008077317.tif 000011
【図１０】
2008077317.tif 000012
【図１１】
2008077317.tif 000013
【図１２】
2008077317.tif 000014
【図１３】
2008077317.tif 000015
【図１４】
2008077317.tif 000016
【図１５】
2008077317.tif 000017
【図１６】
2008077317.tif 000018
【図１７】
2008077317.tif 000019
【図１８】
2008077317.tif 000020
【図１９】
2008077317.tif 000021
【図２０】
2008077317.tif 000022
【図２１】
2008077317.tif 000023