(57)【特許請求の範囲】
【請求項１】
所定のプロトコルに応じたパターンのトランザクションを発生させるプロトコル試験装置において、
試験対象装置に対し前記所定のプロトコルに適合したトランザクションを発生させる正常動作モード時の動作を規定する正常動作パターンを記憶する正常動作パターン記憶部と、前記試験対象装置に対し前記所定のプロトコルに違反するトランザクションを発生させる異常動作モード時の動作を規定する異常動作パターンを記憶する異常動作パターン記憶部と、前記正常動作モード時は前記正常動作パターン記憶部を選択し、前記異常動作モード時は前記異常動作パターン記憶部を選択する選択部と、前記選択部の選択した前記正常動作パターン記憶部または前記異常動作パターン記憶部から動作パターンを読み出し、前記動作パターンに基づきトランザクションを生成するトランザクション生成部と、を有するトランザクション発生手段と、
設定された切替え時間を計時し、前記切替え時間が経過した場合には前記正常動作モードを前記異常動作モードへ切替える計時手段と、
前記切替え時間を前記計時手段に設定するとともに、前記試験対象装置に応じて前記トランザクション発生手段を制御する制御手段と、
を具備することを特徴とするプロトコル試験装置。
【請求項２】
前記プロトコル試験装置は、さらに、前記試験対象装置を初期化する初期化手段を有し、
前記制御手段は、前記異常動作モードへ切替わった場合には、前記初期化手段により前記試験対象装置を初期化し、所定の終了条件が成立するまで前記計時手段および前記トランザクション発生手段を繰り返し動作させる、
ことを特徴とする請求項１記載のプロトコル試験装置。
【請求項３】
前記トランザクション発生手段は、
前記正常動作パターン記憶部および前記異常動作パターン記憶部から前記トランザクション生成部が読み出す前記正常動作パターンおよび前記異常動作パターンの格納領域を指示する読み出しポインタと、前記トランザクション生成部が読み出した前記動作パターンに基づき前記トランザクションを生成した後、次に読み出した前記動作パターンに基づき前記トランザクションを生成するまでの実行間隔をランダムに設定する設定部、
を有することを特徴とする請求項１記載のプロトコル試験装置。
【請求項４】
前記プロトコル試験装置は、さらに、
前記トランザクション発生手段が実行した前記トランザクションを監視し、既に実行された前記トランザクションが、前記トランザクション発生手段が発生可能な全試験パターンに占める割合を算出して試験網羅度を測定する測定手段、
を有することを特徴とする請求項１記載のプロトコル試験装置。
【請求項５】
所定のプロトコルに応じたパターンのトランザクションを発生させてプロトコル試験を行うプロトコル試験方法において、
制御手段が、試験対象装置に対し前記所定のプロトコルに適合したトランザクションを発生させる正常動作モードから前記試験対象装置に対し前記所定のプロトコルに違反するトランザクションを発生させる異常動作モードへ切替える切替え時間を計時手段に設定して前記プロトコル試験を開始し、
前記正常動作モードである場合に、トランザクション発生手段が、前記正常動作モード時の動作を規定する正常動作パターンを記憶する正常動作パターン記憶部を選択し、前記正常動作パターン記憶部から読み出した前記正常動作パターンに基づいて前記トランザクションを発生し、
前記計時手段が、設定された切替え時間を計時し、前記切替え時間が経過した場合には前記正常動作モードを前記異常動作モードへ切替え、
前記異常動作モードに切替わると、前記トランザクション発生手段が、前記異常動作モード時の動作を規定する異常動作パターンを記憶する異常動作パターン記憶部を選択し、前記異常動作パターン記憶部から読み出した前記異常動作パターンに基づいて前記トランザクションを発生する、
手順を有することを特徴とするプロトコル試験方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明はプロトコル試験装置およびプロトコル試験方法に関し、特に所定のプロトコルに応じたパターンのトランザクションを発生させて試験対象装置のプロトコル試験を行うためのプロトコル試験装置およびこのプロトコル試験装置を用いたプロトコル試験方法に関する。
【背景技術】
【０００２】
各種インタフェース機器の動作確認や性能評価時には、プロトコルチェッカを用いてプロトコル試験が行われる。図１１は、プロトコルチェッカの役割を示した図である。
プロトコルチェッカ９０１は、所定のプロトコルに従って通信を行うマスタ９０２とスレーブ９０３との間の信号路に接続される。図の例では、プロトコルに従ってマスタ９０２からアクセス要求（ＲＥＱ）が送出されると、これを受信したスレーブ９０３が応答（ＡＣＫ）を返すという通信が行われる。プロトコルチェッカ９０１は、マスタ９０２とスレーブ９０３間の信号状態を監視し、プロトコル違反を検出すると、エラー（ＥＲＲＯＲ）を出力する。
【０００３】
このように、プロトコルチェッカはプロトコル試験において重要な役割を担うが、そのために、プロトコルチェッカについても正しく動作するか確認する必要がある。プロトコルチェッカの試験では、正常時（プロトコルに適合する通信が行われている状態）にＥＲＲＯＲを発生させないこと、および異常時（プロトコル違反が発生した状態）にＥＲＲＯＲを発生させることを確認する。
【０００４】
図１２は、従来のプロトコルチェッカの試験方法を示した図である。従来プロトコルチェッカの試験では、プロトコル違反を起こすようなプロトコル違反シナリオ９０５を手作業で１つ１つ作成し、シミュレーション制御装置９０４にこれを実行させていた。シミュレーション制御装置９０４は、プロトコル違反シナリオ９０５の手順に従って、プロトコル違反の信号をプロトコルチェッカ９０１に送出し、プロトコルチェッカ９０１が所望のＥＲＲＯＲを発生させるかどうかを確認していた。
【０００５】
なお、プロトコル違反シナリオ９０５をマスタ９０２またはスレーブ９０３に適用すれば、マスタ９０２またはスレーブ９０３のプロトコル試験を行うことができる。
また、動作コマンドを設定し、フレームの無視、送出すべきフレームの破棄、あるいは送出すべきフレームを別のフレームに変更して送出させ、試験対象の装置に正常状態と異常状態を発生させて試験を行うプロトコル試験方式も提案されている（たとえば、特許文献１参照）。
【特許文献１】特開平６−２４４８３５号公報（段落番号〔０００５〕〜〔０００６〕、図１）
【発明の開示】
【発明が解決しようとする課題】
【０００６】
しかし、従来のプロトコル試験装置を用いた試験では、十分な検証を行うことが難しいという問題点があった。
従来、たとえば、プロトコルチェッカが異常を仕様通りに検出するかどうかを確認するためには、プロトコル違反を起こすようなシナリオを手作業で作成しなければならず、様々なパターンを作成することが難しかった。
【０００７】
簡単な例を挙げて説明する。図１３は、プロトコル仕様とプロトコル違反の一例を示した図である。（１）は、この例のプロトコルの仕様通りの正常時の信号状態を示した図であり、（２）、（３）および（４）は、プロトコル違反時の信号状態を示した図である。なお、図１１と同様に、ＲＥＱはマスタ９０２、ＡＣＫはスレーブ９０３およびＥＲＲＯＲはプロトコルチェッカ９０１の出力信号である。
【０００８】
図１３（１）は、この例のプロトコル仕様を示しており、マスタ９０２がアクセス要求をする場合、ＲＥＱをアサートし、スレーブ９０３によってＡＣＫがアサートされたら、クロック信号（ＣＬＫ）の次サイクルでディアサートする。ＲＥＱは、ＡＣＫがアサートされるまでアサートを継続する。一方、スレーブ９０３は、ＲＥＱがアサートされた４サイクル以内にＡＣＫをアサートし、次サイクルでディアサートする。
【０００９】
このようなプロトコルに対し、（２）では、マスタ９０２がＲＥＱをアサートするが、スレーブ９０３によってＡＣＫがアサートされる前にディアサートしている。この場合、プロトコルチェッカ９０１は、ＲＥＱがディアサートされたことを検出した次のサイクルでＥＲＲＯＲを発生させる。また、（３）では、マスタ９０２がＲＥＱをアサートし、スレーブ９０３がＡＣＫをアサートしたのに、ディアサートされない。この場合、プロトコルチェッカ９０１は、ＲＥＱがディアサートされないことを検出した次のサイクルでＥＲＲＯＲを発生させる。さらに、（４）では、マスタ９０２がＲＥＱをアサートしていないのに、スレーブ９０３がＡＣＫをアサートしている。この場合、プロトコルチェッカ９０１は、ＡＣＫのアサート検出の次のサイクルでＥＲＲＯＲを発生させる。このほか、マスタ９０２がＲＥＱをアサートしたのに４サイクル経過してもスレーブ９０３がＡＣＫをアサートしない場合、スレーブ９０３がＡＣＫをアサートした後、次サイクルでディアサートしない場合などの異常状態が想定される。従来のプロトコル試験では、これらのケース各々についてシナリオを作成しなければならなかった。
【００１０】
さらに、個々のパターン、たとえば（２）の場合について図の例では、ＲＥＱを１サイクルでディアサートしているが、ＡＣＫがアサートされる前にＲＥＱを２サイクルまたは３サイクルでアサート／ディアサートするシナリオなども想定することが可能であり、作成しなければならないシナリオ数はさらに増える。このように、例に挙げた簡単なプロトコルの場合でも、すべての項目を網羅して試験を行う場合には、多数のプロトコル違反シナリオが必要になる。これらを手作業で行うのでは、作業者の負荷が重くなるばかりでなく、項目に抜けが生じる恐れがある。これは、動作コマンドを設定して行う試験の場合も同様である。
【００１１】
また、プロトコルに基づき想定される試験項目のうち、どの程度の範囲の項目が終了したかを定量的に測定することができないという問題点もある。たとえば、コードカバレッジなどの一般的なカバレッジを用いれば、検証が終了したプログラムやデータを測定することはできるが、プロトコル試験の範囲をどの程度網羅したかを測定することはできなかった。
【００１２】
加えて、プロトコルチェッカ９０１がＥＲＲＯＲを発生させると、シミュレーションが停止し、その状態を保持するようになっている。異なるパターンで試験を開始するためには、手動で一旦リセットを行わなければならなかった。また、１つ１つのシナリオを実行させるため、所定の期間正常状態が続いてから異常状態が発生するなどの状況を作り出すことが難しかった。このように連続して試験を行うことができず、様々なパターンの試験を行うためには、煩雑な作業が必要になるという問題点もある。
【００１３】
本発明はこのような点に鑑みてなされたものであり、プロトコルに応じて想定される様々なパターンのプロトコル試験を容易に実行することが可能なプロトコル試験装置およびプロトコル試験方法を提供することを目的とする。また、本発明の他の目的は、プロトコル試験の範囲をどの程度網羅したかを定量的に測定することにある。
【課題を解決するための手段】
【００１４】
本発明では上記課題を解決するために、図１に示すようなプロトコル試験装置が提供される。プロトコル試験装置は、制御手段１ａと、計時手段１ｂと、擬似マスタ２および擬似スレーブ３として動作するトランザクション発生手段１ｃと、を有する。
【００１５】
制御手段１ａは、正常動作モードと、トランザクション発生手段１ｃを正常動作モードから異常動作モードへ切替える切替え時間として、予め指示された時間を計時手段１ｂに設定するとともに、試験対象装置に応じてトランザクション発生手段１ｃを制御する。正常動作モードは、試験対象装置に対し所定のプロトコルに適合したトランザクションを発生させる動作モードであり、異常動作モードは、試験対象装置に対し所定のプロトコルに違反するトランザクションを発生させる動作モードである。計時手段１ｂは、設定された切替え時間を計時し、切替え時間が経過した場合には、正常動作モードから異常動作モードへ切替える。トランザクション発生手段１ｃは、試験対象装置に応じて、擬似マスタ２や擬似スレーブ３として動作する。このトランザクション発生手段１ｃは、正常動作モード時の動作を規定する正常動作パターンを記憶する正常動作パターン記憶部２ａ、異常動作モード時の動作を規定する異常動作パターンを記憶する異常動作パターン記憶部２ｂ、正常動作モード時は正常動作パターン記憶部２ａ、異常動作モード時は異常動作パターン記憶部２ｂを選択する選択部２ｄ、および選択された正常動作パターン記憶部２ａまたは異常動作パターン記憶部２ｂから動作パターンを読み出し、この動作パターンに基づきトランザクションを生成するトランザクション生成部２ｅを有する。
【００１６】
このようなプロトコル試験装置では、試験対象装置に応じて、トランザクション発生手段１ｃを擬似マスタ２または擬似スレーブ３、あるいは、擬似マスタ２と擬似スレーブ３として動作させる。制御手段１ａは、正常動作モードを設定し、計時手段１ｂに切替え時間を設定してプロトコル試験を開始する。これに伴って、計時手段１ｂは、切替え時間の計時を開始し、トランザクション発生手段１ｃ（擬似マスタ２と擬似スレーブ３）は処理を開始する。擬似マスタ２の場合で説明する。プロトコル試験の開始から計時手段１ｂが切替え時間の経過を検出するまでは正常動作モードであり、選択部２ｄは、正常動作パターン記憶部２ａを選択する。トランザクション生成部２ｅは、正常動作パターン記憶部２ａから正常動作パターンを読み出し、正常動作パターンに基づきトランザクションを発生させる。これにより、試験対象装置は、正常時の動作確認を行うことができる。計時手段１ｂが切替え時間の経過を検出し、正常動作モードを異常動作モードに切替える。擬似マスタ２では、選択部２ｄは、異常動作パターン記憶部２ｂを選択し、トランザクション生成部２ｅは異常動作パターン記憶部２ｂから読み出した異常動作パターンに基づくトランザクションを発生させる。擬似スレーブ３の場合も同様の処理を行う。これにより、試験対象装置は、異常時の動作確認を行うことができる。
【００１７】
また、上記課題を解決するために、所定のプロトコルに応じたパターンのトランザクションを発生させてプロトコル試験を行うプロトコル試験方法において、制御手段が、試験対象装置に対し所定のプロトコルに適合したトランザクションを発生させる正常動作モードから試験対象装置に対し所定のプロトコルに違反するトランザクションを発生させる異常動作モードへ切替える切替え時間を計時手段に設定してプロトコル試験を開始し、正常動作モードである場合に、トランザクション発生手段が、正常動作モード時の動作を規定する正常動作パターンを記憶する正常動作パターン記憶部を選択し、正常動作パターン記憶部から読み出した正常動作パターンに基づいてトランザクションを発生し、計時手段が、設定された切替え時間を計時し、切替え時間が経過した場合には正常動作モードを異常動作モードへ切替え、異常動作モードに切替わると、トランザクション発生手段が、異常動作モード時の動作を規定する異常動作パターンを記憶する異常動作パターン記憶部を選択し、異常動作パターン記憶部から読み出した異常動作パターンに基づいてトランザクションを発生する手順を有することを特徴とするプロトコル試験方法、が提供される。
【００１８】
このようなプロトコル試験方法によれば、制御手段が、計時手段に切替え時間を設定してプロトコル試験を開始すると、トランザクション発生手段は、正常動作パターンを用いてプロトコルに適合したトランザクションを発生させる。計時手段が切替え時間の経過を検出し、正常動作モードから異常動作モードに切替えると、トランザクション発生手段は、異常動作パターンを用いてトランザクションを発生させる。
【発明の効果】
【００１９】
本発明では、プロトコル試験装置は、任意に設定される切替え時間が経過するまでの間は、正常動作パターンに基づいてトランザクションを発生させ、切替え時間が経過すると、異常動作パターンに基づくトランザクションを発生させる。このように、試験対象装置に供給するトランザクションを任意のタイミングで正常状態から異常状態に切替えることにより、所望のプロトコル試験を容易に実行することができる。
【発明を実施するための最良の形態】
【００２０】
以下、本発明の実施の形態を図面を参照して説明する。まず、実施の形態に適用される発明の概念について説明し、その後、実施の形態の具体的な内容を説明する。
図１は、本発明の実施の形態に適用される発明の概念図である。
【００２１】
本発明にかかるプロトコル試験装置は、制御手段１ａ、計時手段１ｂ、および擬似マスタ２または擬似スレーブ３として動作するトランザクション発生手段１ｃを有する。なお、ここでは、選択された動作パターンに従って通信マスタおよび通信スレーブ間で実行される一連の事象をトランザクションと言う。
【００２２】
トランザクション発生手段１ｃは、制御手段１ａに従い試験対象装置に応じて、通信マスタの動作をシミュレーションする擬似マスタ２、または通信スレーブの動作をシミュレーションする擬似スレーブ３、あるいは、擬似マスタ２と擬似スレーブ３として動作する。たとえば、通信装置間の通信がプロトコルに適合するか否かを調べるプロトコルチェッカの試験を行う場合は、プロトコルチェッカを接続し、擬似マスタ２および擬似スレーブ３として動作させることにより、通信マスタと通信スレーブ間で実行される通信プロトコルに基づく信号やデータ状態を再現し、プロトコルチェッカに供給して試験を行うことができる。また、通信スレーブを試験する場合には、通信スレーブを接続し、プロトコル試験装置を擬似マスタ２として動作させることにより、通信マスタから通信スレーブに送信される信号やデータ状態を再現し、通信スレーブに供給して行うことができる。通信マスタを試験する場合には、プロトコル試験装置を擬似スレーブ３として動作させることによって、同様に試験を行うことができる。
【００２３】
制御手段１ａは、指定された切替え時間を計時手段１ｂに設定するとともに、トランザクション発生手段１ｃを擬似マスタ２および擬似スレーブ３として動作させる制御を行うことによって、プロトコル試験全体を制御する。
【００２４】
計時手段１ｂは、制御手段１ａによって設定された切替え時間を計時し、この切替え時間が経過した場合には、擬似マスタ２および擬似スレーブ３の正常動作モードを異常動作モードへ切替える。
【００２５】
以下、試験対象装置をプロトコルチェッカとし、トランザクション発生手段１ｃを擬似マスタ２および擬似スレーブ３として動作させる場合で説明する。ここでは、プロトコルチェッカは、擬似マスタ２の出力するＲＥＱ（４ａ）および擬似スレーブ３の出力するＡＣＫ（４ｂ）が入力するようにプロトコル試験装置に接続される。
【００２６】
擬似マスタ２は、正常動作パターン記憶部２ａ、異常動作パターン記憶部２ｂ、設定部（ランダム発生器）２ｃ、選択部２ｄおよびトランザクション生成部２ｅを有する。なお、擬似スレーブ３も同様の構成をとる。
【００２７】
正常動作パターン記憶部２ａは、試験対象装置に対し所定のプロトコルに適合したトランザクションを発生させる正常動作モードにおける擬似マスタ２の動作を規定する正常動作パターンを格納する記憶手段である。異常動作パターン記憶部２ｂは、試験対象装置に対し所定のプロトコルに違反するトランザクションを発生させる異常動作モードにおける擬似マスタ２の動作を規定する異常動作パターンを格納する記憶手段である。
【００２８】
設定部２ｃは、乱数を発生させるランダム発生器の機能を具備し、正常動作パターン記憶部２ａおよび異常動作パターン記憶部２ｂから読み出す動作パターンを指示するポインタや動作パターンの実行間隔などにランダムな値を設定し、トランザクション生成部２ｅに送る。
【００２９】
選択部２ｄは、動作モードが正常動作モードの場合は正常動作パターン記憶部２ａを選択し、異常動作モードの場合は異常動作パターン記憶部２ｂを選択する。
トランザクション生成部２ｅは、選択部２ｄが選択した正常動作パターン記憶部２ａまたは異常動作パターン記憶部２ｂから、設定部２ｃが設定したポインタに従って動作パターンを読み出し、読み出した動作パターンに基づき、トランザクションを発生させる。
【００３０】
このような構成のプロトコル試験装置の動作について説明する。
制御手段１ａは、計時手段１ｂに切替え時間を設定し、擬似マスタ２および擬似スレーブ３を初期化してプロトコル試験を開始する。初期化時、動作モードは正常動作モードになっている。なお、切替え時間の設定形式は任意であり、たとえば、時間のほか、開始からのサイクル数の設定や、正常動作パターンの繰り返し回数などが設定できる。また、固定値ではなく、ランダムな値を設定することもできる。
【００３１】
擬似マスタ２では、選択部２ｄは、正常動作モードが設定されているので正常動作パターン記憶部２ａを選択する。また、設定部２ｃは、正常動作パターン記憶部２ａに格納される複数の正常動作パターンのうち、どれを選択するかを指示するポインタを設定し、動作パターンと動作パターンの間隔の設定とともにトランザクション生成部２ｅに通知する。値は、内部のランダム発生器によってランダムに設定された値を用いる。トランザクション生成部２ｅは、選択部２ｄが選択した正常動作パターン記憶部２ａから設定部２ｃの指示する領域に格納される動作パターンを読み出し、読み出した動作パターンに基づきトランザクションを発生させる。擬似スレーブ３の動作も同様である。これにより、擬似マスタ２および擬似スレーブ３間では、プロトコルに適合した複数の動作パターンがランダムに選択されてトランザクションが繰り返し発生する。ランダムに選択される動作パターンに応じて、擬似マスタ２および擬似スレーブ３間では、正常時の様々なＲＥＱ（４ａ）およびＡＣＫ（４ｂ）の信号が交換されることになる。
【００３２】
擬似マスタ２および擬似スレーブ３間の信号路に接続されるプロトコルチェッカは、入力するＲＥＱ（４ａ）およびＡＣＫ（４ｂ）がプロトコルに適合するかどうかをチェックしている。プロトコルチェッカの仕様では、正常動作モード時にＥＲＲＯＲを発生させないことが求められており、このように様々な正常パターンを連続して発生させることによって、十分な検証が可能となる。
【００３３】
そして、計時手段１ｂが、切替え時間に到達したことを検知すると、正常動作モードから異常動作モードへ切替えられる。擬似マスタ２では、選択部２ｄは、異常動作パターン記憶部２ｂを選択する。設定部２ｃの動作は変化しないが、トランザクション生成部２ｅは、選択部２ｄが選択した異常動作パターン記憶部２ｂから設定部２ｃの指示する領域に格納される動作パターンを読み出し、読み出した動作パターンに基づきトランザクションを発生させる。擬似スレーブ３の動作も同様である。これにより、擬似マスタ２および擬似スレーブ３間では、プロトコルに違反した動作パターンを選択してトランザクションを発生させるため、プロトコル違反のＲＥＱ（４ａ）およびＡＣＫ（４ｂ）がプロトコルチェッカに入力されることになる。プロトコルチェッカの仕様では、異常動作モード時は、プロトコル違反を検出してＥＲＲＯＲを発生することが要求されており、このようにランダムに選択された異常パターンを発生させることによって、異常時の検証が可能となる。また、シナリオを単独で実行していた従来のプロトコル試験とは異なり、正常動作を継続している状態で異常動作が発生した状態を作り出すことができ、現実に即した検証を行うことが可能である。
【００３４】
一旦、ＥＲＲＯＲとなった状態からプロトコル試験を再開するためには、プロトコルチェッカ、擬似マスタ２および擬似スレーブ３をリセットすることが必要である。そこで、制御手段１ａにリセット機能を付加し、ＥＲＲＯＲ後にリセットを行うようにすれば、連続してプロトコル試験を行うことができる。
【００３５】
このように、正常動作パターンおよび異常動作パターンを含む任意の動作パターンを任意の間隔で繰り返し発生させることができるため、プロトコルに応じて想定される様々なパターンのプロトコル試験を容易に実行することができ、十分な検証を行うことが可能となる。
【００３６】
さらに、どのようなパターンでプロトコル試験を実行したかを記憶しておけば、プロトコル試験装置で発生可能な全試験パターンがどの程度実行されたかを定量的に測定することができる。以下の説明では、このような測定をプロトコルカバレッジとする。
【００３７】
以下、実施の形態を、プロトコルチェッカの試験に適用した場合を例に図面を参照して詳細に説明する。プロトコルチェッカは、通信装置のプロトコル試験に適用されるので、想定されるパターンをすべて網羅して試験を行うことが望ましい。
【００３８】
図２は、本発明の実施の形態のプロトコルチェッカの試験構成を示した図である。
実施の形態のプロトコルチェッカの試験構成は、シミュレーション制御部１１、タイマ１２、リセット部１３、プロトコルカバレッジ測定部１４、擬似マスタ２０および擬似スレーブ３０を具備するプロトコル試験装置にプロトコルチェッカ４０が接続する構成をとる。
【００３９】
シミュレーション制御部１１は、プロトコルチェッカ４０からＥＲＲＯＲ、およびプロトコルカバレッジ測定部１４からプロトコル試験のカバレッジ状況を取得し、タイマ１２およびリセット部１３に指示を与えることによって、擬似マスタ２０に通信マスタおよび擬似スレーブ３０に通信スレーブの動作をシミュレートさせ、プロトコル試験全体を制御する。
【００４０】
タイマ１２は、シミュレーション制御部１１が設定した切替え時間を計時し、切替え時間が経過したタイマ設定時刻になると、動作モードの切替え指示を出力する。
リセット部１３は、シミュレーション制御部１１から指示されると、プロトコルチェッカ４０、擬似マスタ２０および擬似スレーブ３０を初期化する。
【００４１】
プロトコルカバレッジ測定部１４は、ＲＥＱおよびＡＣＫを監視し、擬似マスタ２０および擬似スレーブ３０が有する正常動作パターン、異常動作パターンおよび動作パターンの間隔の組み合わせなど、プロトコル試験によってカバーされる全試験パターンのうち、どれが実行されたかをチェックし、プロトコルカバレッジを定量的に計測する。
【００４２】
擬似マスタ２０は、図１の擬似マスタ２と同様であり、通信マスタとして、正常動作モード時は正常動作パターン記憶部に格納される正常動作パターンに基づきトランザクションを発生し、異常動作モード時は異常動作パターン記憶部に格納される異常動作パターンに基づきトランザクションを発生させる。選択される動作パターンおよび動作パターンと動作パターンの実行間隔は、ランダムに選択される。擬似スレーブ３０は、図１の擬似スレーブ３と同様であり、通信スレーブとして、正常動作パターンおよび異常動作パターンに基づきトランザクションを発生させる。
【００４３】
プロトコルチェッカ４０は、擬似マスタ２０のＲＥＱおよび擬似スレーブ３０のＡＣＫを入力し、それぞれの信号がプロトコルに適合しているかどうかをチェックする。そして、プロトコル違反を検出した場合には、ＥＲＲＯＲを発生させ、シミュレーション制御部１１へ出力する。また、リセット部１３から出力されるリセット信号によって、リセット処理を行う。
【００４４】
このような構成によるプロトコルチェッカの試験方法について説明する。
図３は、本発明の実施の形態のプロトコルチェッカの試験方法を示したフローチャートである。
【００４５】
予め、正常動作時の動作を規定する正常動作パターンと、異常動作時の動作を規定する異常動作パターンを記憶部に格納し、切替え時間をタイマ１２に設定して、プロトコルチェッカ４０の試験が開始される。
【００４６】
［ステップＳ０１］  試験対象のプロトコルチェッカ４０をリセット部１３によりリセットする。これにより、プロトコルチェッカ４０は、初期状態に戻る。
［ステップＳ０２］  プロトコルチェッカ４０とともに擬似マスタ２０および擬似スレーブ３０もリセットされ、動作モードは正常動作モードに戻っている。そこで、擬似マスタ２０および擬似スレーブ３０は、正常動作モード記憶部に格納される正常動作モードに基づき、プロトコルに適合したトランザクションを発生させる。
【００４７】
［ステップＳ０３］  プロトコルチェッカ４０がＥＲＲＯＲを出力していないかどうかをチェックする。以下、プロトコルチェッカがＥＲＲＯＲ出力することを発火と言う。正常動作モードで動作しているので、プロトコルに適合するトランザクションのみが発生している状態であり、プロトコルチェッカ４０が正常であれば発火しない。ＥＲＲＯＲを検出した場合は、プロトコルチェッカ４０の誤作動と判断し、処理をステップＳ０９へ進める。
【００４８】
［ステップＳ０４］  ＥＲＲＯＲを検出しない場合、プロトコルチェッカ４０は誤作動していないと判断できる。タイマ１２の状態を調べ、異常動作モードへ切替えるタイマ設定時刻に到達したかどうかを判定する。タイマ設定時刻に到達していない場合は、処理をステップＳ０２に戻し、次のトランザクション処理を行う。
【００４９】
［ステップＳ０５］  タイマ設定時刻に到達していた場合、正常動作モードを異常動作モードに切替える。異常動作モード時には、擬似マスタ２０および擬似スレーブ３０は、異常動作モード記憶部に格納される異常動作モードに基づき、プロトコルに違反したトランザクションを発生させる。
【００５０】
［ステップＳ０６］  プロトコルチェッカ４０が発火していないかどうかをチェックする。異常動作モードで動作しているので、プロトコルに違反するトランザクションのみが発生している状態であり、プロトコルチェッカ４０が正常であれば発火する。ＥＲＲＯＲを検出しなかった場合は、プロトコルチェッカ４０の誤作動と判断し、処理をステップＳ０９へ進める。
【００５１】
［ステップＳ０７］  ＥＲＲＯＲを検出した場合、プロトコルチェッカ４０は誤作動していないと判断できる。プロトコルカバレッジを調べ、１００％に達したかどうかを判定する。１００％に達していない場合、すなわち、全試験項目が終了していない場合、ステップＳ０１に戻って、試験手順を繰り返す。
【００５２】
［ステップＳ０８］  プロトコルカバレッジが１００％に達していた場合、全試験項目を通して正常に動作したと判断され、プロトコルチェッカ４０の正常の判定結果を出力し、処理を終了する。
【００５３】
［ステップＳ０９］  正常動作モード時に発火、もしくは、異常動作モード時に発火しないという誤作動をしたので、プロトコルチェッカ４０が異常の判定結果を出力して処理を終了する。
【００５４】
このように、本実施の形態によれば、正常動作モードでは、プロトコルチェッカが発火しないかどうかを常に監視し、発火した場合には、プロトコルチェッカ誤作動としてプロトコル試験を終了する。一方、異常動作モード時は、プロトコルチェッカが発火するかどうかを監視し、もし発火しなければプロトコルチェッカ誤作動としてプロトコル試験を終了する。これらの正常動作および異常動作は、プロトコルカバレッジが１００％に達するまで繰り返されるので、プロトコルチェッカの十分な評価が可能となる。
【００５５】
以下、それぞれの処理の詳細を順に説明する。
まず、実施の形態で使用される正常動作パターンと異常動作パターンについて説明する。擬似マスタ２０および擬似スレーブ３０は、正常動作モード時には正常動作パターン、異常動作モード時には異常動作パターンに従ってトランザクションを発生させる。
【００５６】
図４は、本発明の実施の形態の正常動作パターンを示した図である。なお、実施の形態のプロトコル仕様は、図１３の（１）に示したプロトコル仕様と同様に、マスタは、「ＲＥＱをＡＣＫがアサートされるまでアサートし、ＡＣＫがアサートされたら次サイクルでディアサートする」、スレーブは、「ＲＥＱがアサートされたら４サイクル以内にＡＣＫをアサートし、次サイクルでディアサートする」こととする。
【００５７】
正常動作モード時は、擬似マスタ２０および擬似スレーブ３０は、正常動作パターンａ（１０１）に従って上記プロトコルに適合する動作を行う。さらに、この正常動作パターンに対し、図に示したように、ＲＥＱがアサートされてからＡＣＫがアサートされるまでのサイクル数のバリエーションを用意し、パターン１は１サイクル後、パターン２は２サイクル後、パターン３は３サイクル後、そしてパターン４は４サイクル後にＡＣＫがアサートされる。これら正常動作パターンは、正常動作パターン記憶部に格納される。
【００５８】
図５は、本発明の実施の形態の異常動作パターンを示した図である。
実施の形態の例では、異常動作モード時、異常動作パターンＡ（１０２）から異常動作パターンＥ（１０６）の５種類の異常動作パターンがある。異常動作パターンＡ（１０２）は、「ＡＣＫがアサートされる前に、ＲＥＱがディアサートされるパターン」で、ＲＥＱがアサートからディアサートするまでのサイクル数が４パターン用意されている。異常動作パターンＢ（１０３）は、「ＡＣＫがアサートされても、ＲＥＱがディアサートされないパターン」で、ＡＣＫディアサート後、ＲＥＱがディアサートされるまでのサイクル数が４パターン用意されている。異常動作パターンＣ（１０４）は、「ＲＥＱがアサートされる前に、ＡＣＫがアサートされるパターン」で、ＡＣＫアサート後、ＲＥＱがアサートするまでのサイクル数が４パターン用意されている。異常動作パターンＤ（１０５）は、「ＲＥＱがアサートされても、４サイクル以内にＡＣＫがアサートされないパターン」で、ＲＥＱがアサートされてからＡＣＫがアサートされるまでのサイクル数が４パターン用意されている。異常動作パターンＥ（１０６）は、「ＡＣＫがアサートされた後、次サイクルでＡＣＫがディアサートされないパターン」で、ＡＣＫがアサートされてからＡＣＫがディアサートするまでのサイクル数が４パターン用意されている。これらは、異常動作パターン記憶部に格納される。
【００５９】
なお、上記の実施の形態では、動作パターンのバリエーションを１つの動作パターンについてサイクル数を各４パターンに限定したが、パターン数を拡張することにより、さらに品質を高めた評価を行うことができる。また、サイクル数に応じたパターンのバリエーションは、元の動作パターンから自動で展開されるようにすることもできる。これにより、動作パターン作成の手間を削減することができる。この処理は、プロトコル試験装置内で行ってもよいし、外部装置が行ってもよい。
【００６０】
以上の正常動作パターンおよび異常動作パターンが格納され、記憶部に格納される。なお、実施の形態の動作パターンは、マスタとスレーブ共通であるので、擬似マスタ２０および擬似スレーブ３０の記憶部を共通とすることができる。
【００６１】
次にタイマ設定（ステップＳ０２）について説明する。タイマ設定では、タイマ１２に任意の切替え時間を設定する。切替え時間は、ユーザが設定する任意の時間であってもよいし、ランダムに設定されてもよい。
【００６２】
タイマ１２と正常動作モードと異常動作モードの切替えの関係について説明する。図６は、本発明の実施の形態の動作モードの遷移を示した図である。
リセット２０３が行われると、擬似マスタ２０、擬似スレーブ３０およびプロトコルチェッカ４０が初期化され、正常動作モード２０１で動作を開始する。また、タイマ１２のカウンタも初期化され、切替え時間２０５の計時を開始する。正常動作モード２０１の間は、プロトコルに適合するトランザクションが繰り返し発生され、プロトコルチェッカ４０が誤動作して発火しないかどうかが調べられる。
【００６３】
リセット２０３時点から切替え時間２０５が経過し、タイマ設定時刻２０４に到達すると、動作モードは異常動作モード２０２に切替えられる。異常動作モード２０２の間は、プロトコルに違反するトランザクションが発生され、プロトコルチェッカ４０がプロトコル違反を検出して発火するかどうかが調べられる。
【００６４】
そして、再びリセット２０３が発生すると、正常動作モード２０１に戻り、タイマ１２による計時が開始される。
このように、プロトコル試験装置は、リセット２０３で正常動作モード２０１に遷移し、タイマ設定時刻２０４で異常動作モード２０２に遷移するという状態遷移を繰り返す。
【００６５】
次に、正常動作モード（ステップＳ０３）処理について説明する。図７は、本発明の実施の形態の正常動作モード時のトランザクションを示した波形図である。
正常動作モード時には、正常動作パターン記憶部に格納される正常動作パターンのうち、設定部がランダムに選択する任意のパターンが読み出されて実行される。また、正常動作パターンと次の正常動作パターンとの間の実行間隔も設定部によってランダムに設定される。図の例では、図４に示した正常動作パターンのうち、パターン２（ａ−２）「ＲＥＱがアサートされたら、２サイクル後にＡＣＫがアサートする」が選択されて実行される。また、次の正常動作パターンには、パターン１（ａ−１）が選択されて実行されている。そして、正常動作パターンａ−２と、次の正常動作パターンａ−１との間の実行間隔２１０として、１サイクルが設定されている。
【００６６】
このように、正常動作モード時は、ランダムに設定されるポインタに従って読み出される正常動作パターンが、同じくランダムに設定される実行間隔を空けて次々に実行される。これにより、様々な正常動作パターンを用いて正常動作時のプロトコルチェッカを検証することが可能となる。
【００６７】
次に、異常動作モード（ステップＳ０５）処理について説明する。図８は、本実施の形態の正常動作モード時から異常動作モード時に遷移する際のトランザクションを示した波形図である。
【００６８】
一旦、異常が発生すると、動作を正しく再開させるためには、擬似マスタ２０、擬似スレーブ３０およびプロトコルチェッカ４０ともリセットをする必要がある。したがって、異常動作モードについては、正常動作モード時のパターン実行と、異常動作モード時のパターン実行との実行間隔がランダムに設定される。図の例では、正常動作モード時に、正常動作パターンａ−１が実行され、異常動作モードに遷移してから異常動作Ｂのパターン１（Ｂ−１）が実行される。そして、正常動作パターンａ−１と異常動作パターンＢ−１との間の実行間隔２２０として、２サイクルが設定されている。
【００６９】
タイマ１２による異常動作モードへ切替えるタイマ設定時刻は、トランザクション処理の実行状態とは関係なく設定される。このため、タイマ設定時刻では、正常動作モード時の一連のトランザクションが終了しているという保証はない。そこで、正常動作パターンから異常動作パターンの実行間隔を設定しておき、これに従ってトランザクション発生タイミングを決めることにより、正常動作パターンのトランザクションが正しく終了してから、異常動作パターンのトランザクションを発生させることができる。
【００７０】
次に、カバレッジ（ステップＳ０７）処理について説明する。
プロトコルカバレッジは、実行可能な全試験パターンのうち、どの程度の試験パターンが終了したのかを示す試験網羅度であり、
プロトコルカバレッジ＝（実行数／全件数）×１００
によって表される。実行数は、既に実行された試験パターン数であり、全件数は、実行可能な全試験パターン数である。実施の形態における試験パターンとは、動作パターンと、その動作パターンの後に実行される動作パターンと、その実行間隔を組み合わせた試験項目を指す。具体例を挙げて説明する。
【００７１】
図９は、本発明の実施の形態のプロトコルカバレッジ測定用テーブル（正常／正常）を示した図である。パターン（前）は、前に実行されるパターンを示し、パターン（後）は、パターン（前）が終了してからパターンの実行間隔後に続いて実行されるパターンを示す。
【００７２】
プロトコルカバレッジ測定用テーブル（正常／正常）１１１は、図４に示した正常動作パターンａ（１０１）が実行される場合のプロトコルカバレッジ測定用テーブルの例である。ここで、ａ−１は、正常動作パターンａ（１０１）における「ａ．正常動作パターン」のバリエーション１「ＲＥＱがアサートされたら、１サイクル後にＡＣＫがアサートする」であることを示している。以下、同様である。プロトコルカバレッジ測定用テーブル（正常／正常）１０１には、正常動作パターンａ−１、ａ−２、ａ−３、ａ−４と、実行間隔１サイクル、２サイクル、３サイクルおよび４サイクルのすべての組み合わせが設定されている。プロトコルカバレッジ測定部１４では、トランザクションを監視し、トランザクションに対応するテーブルの欄にフラグをセットしていく。たとえば、正常動作パターンａ−２、実行間隔３サイクル、次の正常動作パターンａ−４が選択されれば、該当する欄（図の●の位置）にフラグをセットする。
【００７３】
このようにして設定されたフラグが全体の件数に占める割合を算出すれば、プロトコルカバレッジを算出することができる。
図１０は、本発明の実施の形態のプロトコルカバレッジ測定用テーブル（正常／異常）を示した図である。プロトコルカバレッジ測定用テーブルの構成は、後に実行される動作パターンが異常動作パターンであることを除いて図９の場合と同様であるので同じ部分の説明は省略する。
【００７４】
プロトコルカバレッジ測定用テーブル（正常／異常）１１２は、図４に示した正常動作パターンａ（１０１）が実行された後、図５に示した異常動作パターンＡ、Ｂ、Ｃ、Ｄ、Ｅの各パターンが実行される場合のプロトコルカバレッジ測定用テーブルの例である。プロトコルカバレッジ測定部１４では、トランザクションを監視し、トランザクションに対応するテーブルの欄にフラグをセットしていく。
【００７５】
カバレッジ処理では、このようにして設定されたフラグから算出されるプロトコルカバレッジが１００％に達したか否かをチェックし、すべての試験パターンが実行されるまでプロトコル試験を自動的に繰り返す。プロトコルカバレッジが１００％（すべての欄が埋まる）に達すれば、プロトコルチェッカの正当性が定量的に保証されることになる。
【００７６】
このように、本実施の形態では、プロトコルチェッカの十分な評価が可能となる。
なお、擬似マスタと試験対象の実際のスレーブを接続したり、試験対象の実際のマスタと擬似スレーブを接続することによって、擬似マスタ／擬似スレーブの正常動作・異常動作時における実スレーブ／実マスタの振る舞いを確認することも可能になる。特に、擬似マスタ／擬似スレーブの異常動作時に実スレーブ／実マスタがハングアップしないことを確認することは、実マスタ／実スレーブの検証における重要な試験項目となる。
【００７７】
なお、上記の処理機能は、コンピュータによって実現することができる。その場合、プロトコル試験装置が有すべき機能の処理内容を記述したプログラムが提供される。そのプログラムをコンピュータで実行することにより、上記処理機能がコンピュータ上で実現される。処理内容を記述したプログラムは、コンピュータで読み取り可能な記録媒体に記録しておくことができる。コンピュータで読み取り可能な記録媒体としては、磁気記録装置、光ディスク、光磁気記録媒体、半導体メモリなどがある。磁気記録装置には、ハードディスク装置（ＨＤＤ）、フレキシブルディスク（ＦＤ）、磁気テープなどがある。光ディスクには、ＤＶＤ（Digital Versatile Disc）、ＤＶＤ−ＲＡＭ（Random Access Memory）、ＣＤ−ＲＯＭ（Compact Disc Read Only Memory）、ＣＤ−Ｒ（Recordable）／ＲＷ（ReWritable）などがある。光磁気記録媒体には、ＭＯ（Magneto-Optical disk）などがある。
【００７８】
プログラムを流通させる場合には、たとえば、そのプログラムが記録されたＤＶＤ、ＣＤ−ＲＯＭなどの可搬型記録媒体が販売される。また、プログラムをサーバコンピュータの記憶装置に格納しておき、ネットワークを介して、サーバコンピュータから他のコンピュータにそのプログラムを転送することもできる。
【００７９】
プログラムを実行するコンピュータは、たとえば、可搬型記録媒体に記録されたプログラムもしくはサーバコンピュータから転送されたプログラムを、自己の記憶装置に格納する。そして、コンピュータは、自己の記憶装置からプログラムを読み取り、プログラムに従った処理を実行する。なお、コンピュータは、可搬型記録媒体から直接プログラムを読み取り、そのプログラムに従った処理を実行することもできる。また、コンピュータは、サーバコンピュータからプログラムが転送されるごとに、逐次、受け取ったプログラムに従った処理を実行することもできる。
【００８０】
（付記１）  所定のプロトコルに応じたパターンのトランザクションを発生させるプロトコル試験装置において、
試験対象装置に対し前記所定のプロトコルに適合したトランザクションを発生させる正常動作モード時の動作を規定する正常動作パターンを記憶する正常動作パターン記憶部と、前記試験対象装置に対し前記所定のプロトコルに違反するトランザクションを発生させる異常動作モード時の動作を規定する異常動作パターンを記憶する異常動作パターン記憶部と、前記正常動作モード時は前記正常動作パターン記憶部を選択し、前記異常動作モード時は前記異常動作パターン記憶部を選択する選択部と、前記選択部の選択した前記正常動作パターン記憶部または前記異常動作パターン記憶部から動作パターンを読み出し、前記動作パターンに基づきトランザクションを生成するトランザクション生成部と、を有するトランザクション発生手段と、
設定された切替え時間を計時し、前記切替え時間が経過した場合には前記正常動作モードを前記異常動作モードへ切替える計時手段と、
前記切替え時間を前記計時手段に設定するとともに、前記試験対象装置に応じて前記トランザクション発生手段を制御する制御手段と、
を具備することを特徴とするプロトコル試験装置。
【００８１】
（付記２）  前記制御手段は、
前記試験対象装置が通信装置間の通信が前記プロトコルに適合するか否かを調べるプロトコルチェッカである場合は、前記トランザクション発生手段を、通信マスタの動作を実行する擬似マスタと、通信スレーブの動作を実行する擬似スレーブとして動作させる、
ことを特徴とする付記１記載のプロトコル試験装置。
【００８２】
（付記３）  前記プロトコル試験装置は、さらに、前記試験対象装置を初期化する初期化手段を有し、
前記制御手段は、前記異常動作モードへ切替わった場合には、前記初期化手段により前記試験対象装置を初期化し、所定の終了条件が成立するまで前記計時手段および前記トランザクション発生手段を繰り返し動作させる、
ことを特徴とする付記１記載のプロトコル試験装置。
【００８３】
（付記４）  前記制御手段は、
前記トランザクション発生手段が実行した前記トランザクションを監視し、既に実行された前記トランザクションが、前記トランザクション発生手段が発生可能な全試験パターンに占める割合を算出して測定される試験網羅度によって、前記全試験パターンが実行されたことが検出されたことを前記所定の終了条件とすることを特徴とする付記３記載のプロトコル試験装置。
【００８４】
（付記５）  前記制御手段は、
プロトコル試験を繰り返すごとに、前記切替え時間をランダムに設定することを特徴とする付記３記載のプロトコル試験装置。
【００８５】
（付記６）  前記トランザクション発生手段は、
前記正常動作パターン記憶部および前記異常動作パターン記憶部から前記トランザクション生成部が読み出す前記正常動作パターンおよび前記異常動作パターンの格納領域を指示する読み出しポインタと、前記トランザクション生成部が読み出した前記動作パターンに基づき前記トランザクションを生成した後、次に読み出した前記動作パターンに基づき前記トランザクションを生成するまでの実行間隔をランダムに設定する設定部、
を有することを特徴とする付記１記載のプロトコル試験装置。
【００８６】
（付記７）  前記設定部は、
前記正常動作パターンと次に読み出した前記正常動作パターンとの実行間隔と、前記正常動作パターンと次に読み出した前記異常動作パターンとの実行間隔をランダムに設定する、
ことを特徴とする付記６記載のプロトコル試験装置。
【００８７】
（付記８）  前記プロトコル試験装置は、さらに、
前記トランザクション発生手段が実行した前記トランザクションを監視し、既に実行された前記トランザクションが、前記トランザクション発生手段が発生可能な全試験パターンに占める割合を算出して試験網羅度を測定する測定手段、
を有することを特徴とする付記１記載のプロトコル試験装置。
【００８８】
（付記９）  前記測定手段は、
前記正常動作パターン記憶部に格納される前記正常動作パターンと、前記異常動作パターン記憶部に格納される前記異常動作パターンと、前記トランザクション生成部が読み出した前記動作パターンに基づき前記トランザクションを生成した後、次に読み出した前記動作パターンに基づき前記トランザクションを生成するまでの実行間隔のすべての組み合わせを前記全試験パターンとする、
ことを特徴とする付記８記載のプロトコル試験装置。
【００８９】
（付記１０）  所定のプロトコルに応じたパターンのトランザクションを発生させてプロトコル試験を行うプロトコル試験方法において、
制御手段が、試験対象装置に対し前記所定のプロトコルに適合したトランザクションを発生させる正常動作モードから前記試験対象装置に対し前記所定のプロトコルに違反するトランザクションを発生させる異常動作モードへ切替える切替え時間を計時手段に設定して前記プロトコル試験を開始し、
前記正常動作モードである場合に、トランザクション発生手段が、前記正常動作モード時の動作を規定する正常動作パターンを記憶する正常動作パターン記憶部を選択し、前記正常動作パターン記憶部から読み出した前記正常動作パターンに基づいて前記トランザクションを発生し、
前記計時手段が、設定された切替え時間を計時し、前記切替え時間が経過した場合には前記正常動作モードを前記異常動作モードへ切替え、
前記異常動作モードに切替わると、前記トランザクション発生手段が、前記異常動作モード時の動作を規定する異常動作パターンを記憶する異常動作パターン記憶部を選択し、前記異常動作パターン記憶部から読み出した前記異常動作パターンに基づいて前記トランザクションを発生する、
手順を有することを特徴とするプロトコル試験方法。
【図面の簡単な説明】
【００９０】
【図１】本発明の実施の形態に適用される発明の概念図である。
【図２】本発明の実施の形態のプロトコルチェッカの試験構成を示した図である。
【図３】本発明の実施の形態のプロトコルチェッカの試験方法を示したフローチャートである。
【図４】本発明の実施の形態の正常動作パターンを示した図である。
【図５】本発明の実施の形態の異常動作パターンを示した図である。
【図６】本発明の実施の形態の動作モードの遷移を示した図である。
【図７】本発明の実施の形態の正常動作モード時のトランザクションを示した波形図である。
【図８】本実施の形態の正常動作モード時から異常動作モード時に遷移する際のトランザクションを示した波形図である。
【図９】本発明の実施の形態のプロトコルカバレッジ測定用テーブル（正常／正常）を示した図である。
【図１０】本発明の実施の形態のプロトコルカバレッジ測定用テーブル（正常／異常）を示した図である。
【図１１】プロトコルチェッカの役割を示した図である。
【図１２】従来のプロトコルチェッカの試験方法を示した図である。
【図１３】プロトコル仕様とプロトコル違反の一例を示した図である。
【符号の説明】
【００９１】
１ａ  制御手段
１ｂ  計時手段
１ｃ  トランザクション発生手段
２  擬似マスタ
２ａ  正常動作パターン記憶部
２ｂ  異常動作パターン記憶部
２ｃ  設定部（ランダム発生器）
２ｄ  選択部
２ｅ  トランザクション生成部
３  擬似スレーブ
４ａ  ＲＥＱ
４ｂ  ＡＣＫ
【図１】
0004679351.tif 000002
【図２】
0004679351.tif 000003
【図３】
0004679351.tif 000004
【図４】
0004679351.tif 000005
【図５】
0004679351.tif 000006
【図６】
0004679351.tif 000007
【図７】
0004679351.tif 000008
【図８】
0004679351.tif 000009
【図９】
0004679351.tif 000010
【図１０】
0004679351.tif 000011
【図１１】
0004679351.tif 000012
【図１２】
0004679351.tif 000013
【図１３】
0004679351.tif 000014