JPH0666605A - 相互接続試験系列生成方式 - Google Patents
相互接続試験系列生成方式Info
- Publication number
- JPH0666605A JPH0666605A JP22248592A JP22248592A JPH0666605A JP H0666605 A JPH0666605 A JP H0666605A JP 22248592 A JP22248592 A JP 22248592A JP 22248592 A JP22248592 A JP 22248592A JP H0666605 A JPH0666605 A JP H0666605A
- Authority
- JP
- Japan
- Prior art keywords
- state
- transition
- test
- information
- state transition
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Testing Or Calibration Of Command Recording Devices (AREA)
Abstract
(57)【要約】
【目的】 本発明は、試験系列生成の自動化と信頼性の
高い試験が可能である相互接続試験系列生成方式を提供
することを目的とする。 【構成】 本発明は、通信システムのレイヤドモデルの
第Ｎ層（以下（Ｎ）という）を実装するｎ個の相互接続
された情報通信端末における（Ｎ）プロトコル実装の相
互接続試験において、ｎ個の有限状態機械として記述さ
れた仕様記述から、ｎ個の各端末用状態遷移表に展開
し、合成状態遷移表に展開し、試験スイートの生成を行
うようにした相互接続試験系列生成方式である。
高い試験が可能である相互接続試験系列生成方式を提供
することを目的とする。 【構成】 本発明は、通信システムのレイヤドモデルの
第Ｎ層（以下（Ｎ）という）を実装するｎ個の相互接続
された情報通信端末における（Ｎ）プロトコル実装の相
互接続試験において、ｎ個の有限状態機械として記述さ
れた仕様記述から、ｎ個の各端末用状態遷移表に展開
し、合成状態遷移表に展開し、試験スイートの生成を行
うようにした相互接続試験系列生成方式である。
Description
【０００１】
【産業上の利用分野】本発明は、通信システムのレイヤ
ドモデルに基づくプロトコル製品を実装したｎ個の相互
接続された情報通信端末における相互接続試験系列生成
方式に関するものである。
ドモデルに基づくプロトコル製品を実装したｎ個の相互
接続された情報通信端末における相互接続試験系列生成
方式に関するものである。
【０００２】
【従来の技術】文献「D.P.Sidhu and T.Leung:“Formal
method of protocol testing:a detailed study, ”IE
EE Trans. Software Eng.,SE-15,4,pp.413-426(1989).
」に示されるように、従来の通信システムの動作試験
を行うシステムに関する試験系列の生成方式では、単一
の通信システムの動作試験を行うための試験系列の生成
しかできず、複数の相互接続された通信システムの動作
試験を行うための試験系列の生成は人手で行われてい
た。
method of protocol testing:a detailed study, ”IE
EE Trans. Software Eng.,SE-15,4,pp.413-426(1989).
」に示されるように、従来の通信システムの動作試験
を行うシステムに関する試験系列の生成方式では、単一
の通信システムの動作試験を行うための試験系列の生成
しかできず、複数の相互接続された通信システムの動作
試験を行うための試験系列の生成は人手で行われてい
た。
【０００３】
【発明が解決しようとする課題】このため、試験のコス
トがかかり、また人手をたよることから試験の信頼性に
も問題がある等の欠点があった。
トがかかり、また人手をたよることから試験の信頼性に
も問題がある等の欠点があった。
【０００４】本発明は上記の事情に鑑みてなされたもの
で、上記した従来技術の欠点である試験コストの増大や
試験の信頼性の問題をなくし、信頼性の高い試験を行う
ことができる相互接続された複数の通信システムの動作
試験を行うシステムにおける試験系列の生成方式を提供
することを目的とする。
で、上記した従来技術の欠点である試験コストの増大や
試験の信頼性の問題をなくし、信頼性の高い試験を行う
ことができる相互接続された複数の通信システムの動作
試験を行うシステムにおける試験系列の生成方式を提供
することを目的とする。
【０００５】
【課題を解決するための手段】本発明は上記課題を解決
するために、通信システムのレイヤドモデルの第Ｎ層
（以下（Ｎ）という）を実装するｎ個の相互接続された
情報通信端末における（Ｎ）プロトコル実装の相互接続
試験において、状態と状態間の遷移情報として与えられ
た仕様より、ｎ個の端末毎に、発生する入力イベントを
横軸とし状態識別番号を縦軸とし出力するイベント及び
遷移先の状態識別番号からなる遷移情報を各欄に記述す
る形式としたｎ個の各端末用状態遷移表に展開する手段
と、各端末用状態遷移表の各状態における遷移情報よ
り、発生する入力イベントを横軸としｎ個の端末の状態
識別番号の組及び各端末間のチャネルの状態の組からな
る合成状態識別番号を縦軸とし出力するイベント及び遷
移先の合成状態識別番号からなる遷移情報を各欄に記述
する形式としたｎ個の端末に関する合成状態遷移表に展
開する手段と、合成状態遷移表における全ての合成状態
に関する遷移情報に基づき、試験スイートの生成を行う
手段とを具備することにより、ｎ個の端末の状態を合成
し、それからシステム全体としての試験系列を生成する
ことを特徴とするものである。
するために、通信システムのレイヤドモデルの第Ｎ層
（以下（Ｎ）という）を実装するｎ個の相互接続された
情報通信端末における（Ｎ）プロトコル実装の相互接続
試験において、状態と状態間の遷移情報として与えられ
た仕様より、ｎ個の端末毎に、発生する入力イベントを
横軸とし状態識別番号を縦軸とし出力するイベント及び
遷移先の状態識別番号からなる遷移情報を各欄に記述す
る形式としたｎ個の各端末用状態遷移表に展開する手段
と、各端末用状態遷移表の各状態における遷移情報よ
り、発生する入力イベントを横軸としｎ個の端末の状態
識別番号の組及び各端末間のチャネルの状態の組からな
る合成状態識別番号を縦軸とし出力するイベント及び遷
移先の合成状態識別番号からなる遷移情報を各欄に記述
する形式としたｎ個の端末に関する合成状態遷移表に展
開する手段と、合成状態遷移表における全ての合成状態
に関する遷移情報に基づき、試験スイートの生成を行う
手段とを具備することにより、ｎ個の端末の状態を合成
し、それからシステム全体としての試験系列を生成する
ことを特徴とするものである。
【０００６】
【作用】本発明は、（Ｎ）を実装するｎ個の相互接続さ
れた情報通信端末における（Ｎ）プロトコル実装の相互
接続試験において、ｎ個の有限状態機械として記述され
た仕様記述から、ｎ個の各端末用状態遷移表に展開し、
合成状態遷移表に展開し、試験スイートの生成を行うこ
とにより、相互接続試験系列生成の自動化と信頼性の高
い試験を可能とするものである。
れた情報通信端末における（Ｎ）プロトコル実装の相互
接続試験において、ｎ個の有限状態機械として記述され
た仕様記述から、ｎ個の各端末用状態遷移表に展開し、
合成状態遷移表に展開し、試験スイートの生成を行うこ
とにより、相互接続試験系列生成の自動化と信頼性の高
い試験を可能とするものである。
【０００７】
【実施例】以下図面を参照して本発明の実施例を詳細に
説明する。
説明する。
【０００８】図１は本発明を実施するためのシステムの
構成を例示するブロック図で、図中の１はキーボードな
どの入力装置、２はプリンタ等の出力装置、３は記憶装
置、４は中央処理装置（ＣＰＵ）である。
構成を例示するブロック図で、図中の１はキーボードな
どの入力装置、２はプリンタ等の出力装置、３は記憶装
置、４は中央処理装置（ＣＰＵ）である。
【０００９】図２は図１のシステムにおける本発明によ
る相互接続試験系列生成方式の処理手順を示す説明図で
ある。図２を用いて図１のシステムにおける相互接続試
験系列生成方式の処理手順につき説明すれば、 (1) まず試験者により状態と状態間の遷移情報として与
えられた仕様を入力装置１により投入する（作成）。
る相互接続試験系列生成方式の処理手順を示す説明図で
ある。図２を用いて図１のシステムにおける相互接続試
験系列生成方式の処理手順につき説明すれば、 (1) まず試験者により状態と状態間の遷移情報として与
えられた仕様を入力装置１により投入する（作成）。
【００１０】(2) ついで、中央処理装置４中のローダが
入力装置１を介してこの情報を受け取る（読み込み）
と、ｎ個の端末毎に、発生する入力イベントを横軸とし
状態識別番号を縦軸とし出力するイベント及び遷移先の
状態識別番号からなる遷移情報を各欄に記述する形式と
したｎ個の各端末用状態遷移表を記憶装置３内に展開す
る（展開１）。
入力装置１を介してこの情報を受け取る（読み込み）
と、ｎ個の端末毎に、発生する入力イベントを横軸とし
状態識別番号を縦軸とし出力するイベント及び遷移先の
状態識別番号からなる遷移情報を各欄に記述する形式と
したｎ個の各端末用状態遷移表を記憶装置３内に展開す
る（展開１）。
【００１１】(3) 中央処理装置４中の合成状態遷移表ジ
ェネレータは発生する入力イベントを横軸としｎ個の端
末の状態識別番号の組及び各端末間のチャネルの状態の
組からなる合成状態識別番号を縦軸とし出力するイベン
ト及び遷移先の合成状態識別番号からなる遷移情報を各
欄に記述する形式とした合成状態遷移表を記憶装置３内
に展開し（展開２）、ｎ個の各端末の初期状態を表す状
態識別番号の組及び各端末間のチャネルの空状態の組か
らなる初期合成状態に対応する情報を上記合成状態遷移
表に格納する。
ェネレータは発生する入力イベントを横軸としｎ個の端
末の状態識別番号の組及び各端末間のチャネルの状態の
組からなる合成状態識別番号を縦軸とし出力するイベン
ト及び遷移先の合成状態識別番号からなる遷移情報を各
欄に記述する形式とした合成状態遷移表を記憶装置３内
に展開し（展開２）、ｎ個の各端末の初期状態を表す状
態識別番号の組及び各端末間のチャネルの空状態の組か
らなる初期合成状態に対応する情報を上記合成状態遷移
表に格納する。
【００１２】(4) 中央処理装置４中の合成状態遷移表ジ
ェネレータは記憶装置３内に展開保持された合成状態遷
移表から任意の合成状態に関する情報を得て（合成状態
情報）、この情報に基づき、記憶装置３内に展開保持さ
れた各端末用状態遷移表の対応する各状態に関する情報
を検索する（矢印１）。
ェネレータは記憶装置３内に展開保持された合成状態遷
移表から任意の合成状態に関する情報を得て（合成状態
情報）、この情報に基づき、記憶装置３内に展開保持さ
れた各端末用状態遷移表の対応する各状態に関する情報
を検索する（矢印１）。
【００１３】(5) 中央処理装置４中の合成状態遷移表ジ
ェネレータは記憶装置３内に展開保持された各端末用状
態遷移表の各状態における遷移情報を得て（矢印２）、
中央処理装置４中のルール制御部に対応する合成状態遷
移生成ルールの適用を指示する（ルール適用指示）。
ェネレータは記憶装置３内に展開保持された各端末用状
態遷移表の各状態における遷移情報を得て（矢印２）、
中央処理装置４中のルール制御部に対応する合成状態遷
移生成ルールの適用を指示する（ルール適用指示）。
【００１４】(6) 中央処理装置４中のルール制御部は中
央処理装置４中の合成状態遷移表ジェネレータからの指
示に基づき、対応する合成状態遷移生成ルールの適用を
行い、その結果生成される合成状態遷移の情報を中央処
理装置４中の合成状態遷移表ジェネレータに渡す（ルー
ル適用結果）。
央処理装置４中の合成状態遷移表ジェネレータからの指
示に基づき、対応する合成状態遷移生成ルールの適用を
行い、その結果生成される合成状態遷移の情報を中央処
理装置４中の合成状態遷移表ジェネレータに渡す（ルー
ル適用結果）。
【００１５】(7) 中央処理装置４中の合成状態遷移表ジ
ェネレータは中央処理装置４中のルール制御部から渡さ
れた合成状態遷移の情報に基づき、記憶装置３内に展開
保持された合成状態遷移表に対応する遷移情報を追加す
る。 (8) 中央処理装置４中の合成状態遷移表ジェネレータは
上記(4) 〜(7) までの処理を新たな合成状態遷移が生成
されなくなるまで繰り返し行う。
ェネレータは中央処理装置４中のルール制御部から渡さ
れた合成状態遷移の情報に基づき、記憶装置３内に展開
保持された合成状態遷移表に対応する遷移情報を追加す
る。 (8) 中央処理装置４中の合成状態遷移表ジェネレータは
上記(4) 〜(7) までの処理を新たな合成状態遷移が生成
されなくなるまで繰り返し行う。
【００１６】(9) 中央処理装置４中の試験スイートジェ
ネレータは記憶装置３内に展開保持された合成状態遷移
表から全ての合成状態に関する遷移情報を得て（合成状
態遷移情報）、この情報に基づき、試験スイートの生成
（生成）を行うようにした相互接続試験系列生成方式に
より達成される。
ネレータは記憶装置３内に展開保持された合成状態遷移
表から全ての合成状態に関する遷移情報を得て（合成状
態遷移情報）、この情報に基づき、試験スイートの生成
（生成）を行うようにした相互接続試験系列生成方式に
より達成される。
【００１７】以上のうち(4) 〜(8) までの処理について
図３を用いてさらに詳細に述べれば、まず判断Ｃ１にお
いて未処理システム状態が存在するかどうかを判定し、
存在しなければ処理を終了する。判断Ｃ１において未処
理システム状態が存在するならば、次に処理Ｐ１におい
て未処理システム状態よりシステム状態を選択し、未処
理システム状態よりそのシステム状態を削除し、対応す
る各端末用状態遷移表を参照し、未処理遷移を登録す
る。次に判断Ｃ２において未処理遷移が存在するかどう
かを判定し、存在しなければ判断Ｃ１以下を繰り返す。
判断Ｃ２において未処理遷移が存在するならば、次に処
理Ｐ２において未処理遷移より遷移を選択し、未処理遷
移よりその遷移を削除する。
図３を用いてさらに詳細に述べれば、まず判断Ｃ１にお
いて未処理システム状態が存在するかどうかを判定し、
存在しなければ処理を終了する。判断Ｃ１において未処
理システム状態が存在するならば、次に処理Ｐ１におい
て未処理システム状態よりシステム状態を選択し、未処
理システム状態よりそのシステム状態を削除し、対応す
る各端末用状態遷移表を参照し、未処理遷移を登録す
る。次に判断Ｃ２において未処理遷移が存在するかどう
かを判定し、存在しなければ判断Ｃ１以下を繰り返す。
判断Ｃ２において未処理遷移が存在するならば、次に処
理Ｐ２において未処理遷移より遷移を選択し、未処理遷
移よりその遷移を削除する。
【００１８】次に判断Ｃ３において上の処理Ｐ２で選択
された遷移の種類を判定し、その種類（ケース１〜ｎ）
によって次の処理Ｐ３1 〜Ｐ３n において各遷移の種類
に対応したシステム状態遷移生成ルールを適用する。
された遷移の種類を判定し、その種類（ケース１〜ｎ）
によって次の処理Ｐ３1 〜Ｐ３n において各遷移の種類
に対応したシステム状態遷移生成ルールを適用する。
【００１９】次に判断Ｃ４において上の処理Ｐ３1 〜Ｐ
３n で生成された遷移の遷移先システム状態が未定義シ
ステム状態かどうかを判定し、未定義システム状態であ
れば、次に処理Ｐ４において、システム状態遷移表に、
上の処理Ｐ３1 〜Ｐ３n において生成された遷移の遷移
先システム状態に対応する新たなシステム状態行を生成
し、判断Ｃ５を行う。判断Ｃ４において上の処理Ｐ３1
〜Ｐ３n で生成された遷移の遷移先システム状態が未定
義システム状態でないならば、次に判断Ｃ５を行う。
３n で生成された遷移の遷移先システム状態が未定義シ
ステム状態かどうかを判定し、未定義システム状態であ
れば、次に処理Ｐ４において、システム状態遷移表に、
上の処理Ｐ３1 〜Ｐ３n において生成された遷移の遷移
先システム状態に対応する新たなシステム状態行を生成
し、判断Ｃ５を行う。判断Ｃ４において上の処理Ｐ３1
〜Ｐ３n で生成された遷移の遷移先システム状態が未定
義システム状態でないならば、次に判断Ｃ５を行う。
【００２０】判断Ｃ５においては上の処理Ｐ３1 〜Ｐ３
n で生成された遷移のラベルの入力が未定義入力かどう
かを判定し、未定義入力であれば、次に処理Ｐ５におい
て、システム状態遷移表に、上の処理Ｐ３1 〜Ｐ３n で
生成された遷移のラベルの入力に対応する新たな入力列
を生成し、処理Ｐ６を行う。判断Ｃ５において上の処理
Ｐ３1 〜Ｐ３n で生成された遷移の遷移先システム状態
が未定義入力でないならば、次に処理Ｐ６を行う。処理
Ｐ６においてはシステム状態遷移表に、上の処理Ｐ３1
〜Ｐ３n で生成された遷移を登録し、判断Ｃ２以下を繰
り返す。また上記の(9) の処理についてさらに詳細にの
べれば、まず合成状態遷移表に格納されている初期合成
状態に関する情報を参照し、対応する入力を試験スイー
トの最初のデータとして登録する。次に、同じく初期合
成状態に関する情報を参照し、対応する遷移先合成状態
を調べる。次にその合成状態に関する情報を参照し、対
応する入力を試験スイートの次のデータとして登録す
る。次に、同じくその合成状態に関する情報を参照し、
対応する遷移先合成状態を調べる。
n で生成された遷移のラベルの入力が未定義入力かどう
かを判定し、未定義入力であれば、次に処理Ｐ５におい
て、システム状態遷移表に、上の処理Ｐ３1 〜Ｐ３n で
生成された遷移のラベルの入力に対応する新たな入力列
を生成し、処理Ｐ６を行う。判断Ｃ５において上の処理
Ｐ３1 〜Ｐ３n で生成された遷移の遷移先システム状態
が未定義入力でないならば、次に処理Ｐ６を行う。処理
Ｐ６においてはシステム状態遷移表に、上の処理Ｐ３1
〜Ｐ３n で生成された遷移を登録し、判断Ｃ２以下を繰
り返す。また上記の(9) の処理についてさらに詳細にの
べれば、まず合成状態遷移表に格納されている初期合成
状態に関する情報を参照し、対応する入力を試験スイー
トの最初のデータとして登録する。次に、同じく初期合
成状態に関する情報を参照し、対応する遷移先合成状態
を調べる。次にその合成状態に関する情報を参照し、対
応する入力を試験スイートの次のデータとして登録す
る。次に、同じくその合成状態に関する情報を参照し、
対応する遷移先合成状態を調べる。
【００２１】以下同様にして、対応する遷移先合成状態
がなくなるまで、合成状態遷移表に格納されている各合
成状態に関する情報を参照し、対応する入力を試験スイ
ートのデータとして登録することを繰り返す。
がなくなるまで、合成状態遷移表に格納されている各合
成状態に関する情報を参照し、対応する入力を試験スイ
ートのデータとして登録することを繰り返す。
【００２２】図４は本発明による相互接続試験系列生成
方式により得られる試験系列の適用対象である、通信シ
ステムのレイヤドモデルの第Ｎ層を実装するｎ個の相互
接続された情報通信端末の相互接続試験アーキテクチャ
の一実施例を示したものである。
方式により得られる試験系列の適用対象である、通信シ
ステムのレイヤドモデルの第Ｎ層を実装するｎ個の相互
接続された情報通信端末の相互接続試験アーキテクチャ
の一実施例を示したものである。
【００２３】図４を用いて本発明による相互接続試験系
列生成方式により得られる試験スイートの適用の一実施
例につき説明すれば、まずテストセンターが試験スイー
トの情報を受け取り、その情報に基づき１つの入力試験
イベントをネットワークを介して対応する端末のテスタ
に送る。次にテスタはネットワークを介して送られた入
力試験イベントの情報に基づき入力試験イベントを端末
に対して与え、出力試験イベントを観測する。次にテス
タは観測された出力試験イベントの情報をネットワーク
を介してテストセンターに送る。次にテストセンターは
ネットワークを介して送られた出力試験イベントの情報
を記憶、保持する。上記を試験スイートの全ての入力イ
ベントに関して繰り返し行う。最後にテストセンターは
記憶、保持された出力試験イベントの情報を試験ログと
して出力する。
列生成方式により得られる試験スイートの適用の一実施
例につき説明すれば、まずテストセンターが試験スイー
トの情報を受け取り、その情報に基づき１つの入力試験
イベントをネットワークを介して対応する端末のテスタ
に送る。次にテスタはネットワークを介して送られた入
力試験イベントの情報に基づき入力試験イベントを端末
に対して与え、出力試験イベントを観測する。次にテス
タは観測された出力試験イベントの情報をネットワーク
を介してテストセンターに送る。次にテストセンターは
ネットワークを介して送られた出力試験イベントの情報
を記憶、保持する。上記を試験スイートの全ての入力イ
ベントに関して繰り返し行う。最後にテストセンターは
記憶、保持された出力試験イベントの情報を試験ログと
して出力する。
【００２４】
【発明の効果】以上述べたように本発明によれば、直接
試験を行うことが不可能なｎ個の有限状態機械として記
述された仕様記述をもとにしてｎ個の相互接続された情
報通信端末における（Ｎ）プロトコル実装の相互接続試
験系列を生成する形式とすることで、相互接続試験系列
生成の自動化と信頼性の高い試験が可能であるという利
点がある。
試験を行うことが不可能なｎ個の有限状態機械として記
述された仕様記述をもとにしてｎ個の相互接続された情
報通信端末における（Ｎ）プロトコル実装の相互接続試
験系列を生成する形式とすることで、相互接続試験系列
生成の自動化と信頼性の高い試験が可能であるという利
点がある。
【００２５】また、状態遷移表による方式なので、試験
対象のプロトコルが変更になっても状態遷移表の内容を
変えれば試験系列生成装置の変更は不要であり、試験系
列生成装置の汎用化が可能である。
対象のプロトコルが変更になっても状態遷移表の内容を
変えれば試験系列生成装置の変更は不要であり、試験系
列生成装置の汎用化が可能である。
【図１】本発明を実施するためのシステムの構成を例示
するブロック図である。
するブロック図である。
【図２】本発明による相互接続試験系列生成方式の一実
施例の処理手順を示す説明図である。
施例の処理手順を示す説明図である。
【図３】本発明による相互接続試験系列生成方式の一実
施例の処理手順の一部の詳細を示す流れ図である。
施例の処理手順の一部の詳細を示す流れ図である。
【図４】本発明による相互接続試験系列生成方式により
得られる試験系列の適用対象である通信システムのレイ
ヤドモデルの第Ｎ層を実装するｎ個の相互接続された情
報通信端末の相互接続試験アーキテクチャの一実施例を
示した説明図である。
得られる試験系列の適用対象である通信システムのレイ
ヤドモデルの第Ｎ層を実装するｎ個の相互接続された情
報通信端末の相互接続試験アーキテクチャの一実施例を
示した説明図である。
１…入力装置、２…出力装置、３…記憶装置、４…中央
処理装置。
処理装置。
Claims (1)
- 【請求項１】 通信システムのレイヤドモデルの第Ｎ層
を実装するｎ個の相互接続された情報通信端末における
レイヤドモデルの第Ｎ層プロトコル実装の相互接続試験
において、 状態と状態間の遷移情報として与えられた仕様より、ｎ
個の端末毎に、発生する入力イベントを横軸とし状態識
別番号を縦軸とし出力するイベント及び遷移先の状態識
別番号からなる遷移情報を各欄に記述する形式としたｎ
個の各端末用状態遷移表に展開する手段と、 各端末用状態遷移表の各状態における遷移情報より、発
生する入力イベントを横軸としｎ個の端末の状態識別番
号の組及び各端末間のチャネルの状態の組からなる合成
状態識別番号を縦軸とし出力するイベント及び遷移先の
合成状態識別番号からなる遷移情報を各欄に記述する形
式としたｎ個の端末に関する合成状態遷移表に展開する
手段と、 合成状態遷移表における全ての合成状態に関する遷移情
報に基づき、試験スイートの生成を行う手段とを具備し
たことを特徴とする相互接続試験系列生成方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP22248592A JPH0666605A (ja) | 1992-08-21 | 1992-08-21 | 相互接続試験系列生成方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP22248592A JPH0666605A (ja) | 1992-08-21 | 1992-08-21 | 相互接続試験系列生成方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0666605A true JPH0666605A (ja) | 1994-03-11 |
Family
ID=16783174
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP22248592A Pending JPH0666605A (ja) | 1992-08-21 | 1992-08-21 | 相互接続試験系列生成方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0666605A (ja) |
Cited By (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104406618B (zh) * | 2014-10-23 | 2017-05-03 | 航天东方红卫星有限公司 | 一种小卫星测试中基于状态图的测试方法 |
| US9949618B2 (en) | 2013-11-21 | 2018-04-24 | Motus Gi Medical Technologies Ltd. | Apparatus and method for coupling between a colonoscope and add-on tubes |
| US10265461B2 (en) | 2013-08-29 | 2019-04-23 | Motus Gi Medical Technologies Ltd. | Colon cleaning system with automatic self-purging features |
| US10322226B2 (en) | 2014-04-09 | 2019-06-18 | Motus Gi Medical Technologies Ltd. | Cleaning method for prepless colonoscopy |
| US10881277B2 (en) | 2013-11-21 | 2021-01-05 | Motus Gi Medical Technologies Ltd. | Distal front end for coordinated positioning of an endoscope with a suction device |
| US11246479B2 (en) | 2018-08-16 | 2022-02-15 | Motus Gi Medical Technologies Ltd. | Integrated endoscope cleansing system |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS6077248A (ja) * | 1983-10-05 | 1985-05-01 | Hitachi Ltd | テストデ−タ作成装置 |
-
1992
- 1992-08-21 JP JP22248592A patent/JPH0666605A/ja active Pending
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS6077248A (ja) * | 1983-10-05 | 1985-05-01 | Hitachi Ltd | テストデ−タ作成装置 |
Cited By (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US10265461B2 (en) | 2013-08-29 | 2019-04-23 | Motus Gi Medical Technologies Ltd. | Colon cleaning system with automatic self-purging features |
| US11185625B2 (en) | 2013-08-29 | 2021-11-30 | Motus Gi Medical Technologies Ltd. | Colon cleaning system with automatic self-purging features |
| US11904085B2 (en) | 2013-08-29 | 2024-02-20 | Motus Gi Medical Technologies Ltd. | Colon cleaning system with automatic self-purging features |
| US9949618B2 (en) | 2013-11-21 | 2018-04-24 | Motus Gi Medical Technologies Ltd. | Apparatus and method for coupling between a colonoscope and add-on tubes |
| US10881277B2 (en) | 2013-11-21 | 2021-01-05 | Motus Gi Medical Technologies Ltd. | Distal front end for coordinated positioning of an endoscope with a suction device |
| US10925466B2 (en) | 2013-11-21 | 2021-02-23 | Motus Gi Medical Technologies Ltd. | Apparatus and method for coupling between a colonoscope and add-on tubes |
| US10322226B2 (en) | 2014-04-09 | 2019-06-18 | Motus Gi Medical Technologies Ltd. | Cleaning method for prepless colonoscopy |
| US11446428B2 (en) | 2014-04-09 | 2022-09-20 | Motus Gi Medical Technologies Ltd. | Cleaning method for prepless colonoscopy |
| CN104406618B (zh) * | 2014-10-23 | 2017-05-03 | 航天东方红卫星有限公司 | 一种小卫星测试中基于状态图的测试方法 |
| US11246479B2 (en) | 2018-08-16 | 2022-02-15 | Motus Gi Medical Technologies Ltd. | Integrated endoscope cleansing system |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN111159049A (zh) | 接口自动化测试方法及系统 | |
| CN111176991A (zh) | 一种嵌入式软件接口用例自动化生成方法 | |
| JPH0666605A (ja) | 相互接続試験系列生成方式 | |
| CN113326026B (zh) | 一种微服务业务流程接口的生成方法与终端 | |
| Kehris et al. | Using X-machines to model and test discrete event simulation programs | |
| Henniger | On test case generation from asynchronously communicating state machines | |
| JPH0693234B2 (ja) | 相互接続試験方式 | |
| JPH0695323B2 (ja) | 相互接続試験系列生成方式 | |
| JPH05250218A (ja) | オンラインプログラムのテスト方式 | |
| JP2000181933A (ja) | 階層構造作成方法及び装置 | |
| JPH1065762A (ja) | 通信ソフトウェアの自動試験シミュレータ及びその自動試験方法 | |
| US5838767A (en) | Method of simulative testing stored program control type electronic automatic exchange | |
| JPH05143570A (ja) | 故障木作成方法 | |
| JPH05308401A (ja) | 通信プロトコルの管理用に供せられる回路の代表的モジュールの標準への適合を点検する方法、およびそれを実施するシステム | |
| JPH07288562A (ja) | 相互接続試験のための試験系列生成方式 | |
| JP3075664B2 (ja) | 通信プロトコル適合性試験装置 | |
| JPH07121357A (ja) | 並行プログラム系生成方式と装置 | |
| JPH08263322A (ja) | オブジェクト指向プログラムの試験方法および試験装置 | |
| JP2000207249A (ja) | シミュレ―ション装置 | |
| Velthuys et al. | A test derivation method based on exploiting structure information | |
| JPH05233268A (ja) | 適合性試験の実行方式 | |
| JPH0556103A (ja) | プロトコル設計装置 | |
| JPH11288380A (ja) | ソフトウェア開発ツール間インターフェースの評価装置および評価用プログラムを記録した記録媒体 | |
| JPH0887412A (ja) | 故障因果関係生成システムおよび故障因果関係生成方法 | |
| JPH11110430A (ja) | 論理シミュレーションにおける波形情報表示方式 |