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