JPH0666604A - 相互接続試験系列生成方式 - Google Patents

Abstract

(57)【要約】 【目的】 本発明は、試験系列生成の自動化と信頼性の
高い試験が可能である相互接続試験系列生成方式を提供
することを目的とする。 【構成】 本発明は、通信システムのレイヤドモデルの
第Ｎ層（以下（Ｎ）という）を実装する２個の相互接続
された情報通信端末における（Ｎ）プロトコル実装の相
互接続試験において、２個の有限状態機械として記述さ
れた仕様記述から、２個の各端末用状態遷移表に展開
し、合成状態遷移表に展開し、全ての合成状態に関する
遷移について遷移の確認および遷移先合成状態の確認を
行うようにした試験スイートの生成を行うようにした相
互接続試験系列生成方式である。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、通信システムのレイヤ
ドモデルに基づくプロトコル製品を実装した２個の相互
接続された情報通信端末における相互接続試験系列生成
方式に関するものである。

【０００２】

【従来の技術】文献「Ｄ．Ｐ．Sidhu and T.Leung :
“Formal method for prptocol testing: a detailed s
tudy,”ＩＥＥＥ Ｔｒａｎｓ．Ｓｏｆｔｗａｒｅ Ｅ
ｎｇ．，ＳＥ−１５，４，ｐｐ．４１３−４２６（１９
８９）．」に示されるように、従来の通信システムの動
作試験を行うシステムに関する試験系列の生成方式で
は、単一の通信システムの動作試験を行うための試験系
列の生成しかできず、複数の相互接続された通信システ
ムの動作試験を行うための試験系列の生成は人手で行わ
れていた。

【０００３】

【発明が解決しようとする課題】このため、試験のコス
トがかかり、また人手をたよることから試験の信頼性に
も問題がある等の欠点があった。

【０００４】本発明は上記の事情に鑑みてなされたもの
で、上記した従来技術の欠点である試験コストの増大や
試験の信頼性の問題をなくし、信頼性の高い試験を行う
ことができる相互接続された複数の通信システムの動作
試験を行うシステムにおける試験系列の生成方式を提供
することを目的とする。

【０００５】

【課題を解決するための手段】本発明は上記課題を解決
するために、通信システムのレイヤドモデルの第Ｎ層
（以下（Ｎ）という）を実装する２個の相互接続された
情報通信端末における（Ｎ）プロトコル実装の相互接続
試験において、状態と状態間の遷移情報として与えられ
た仕様より、２個の端末毎に、発生する入力イベントを
横軸とし状態識別番号を縦軸とし出力するイベント及び
遷移先の状態識別番号からなる遷移情報を各欄に記述す
る形式とした２個の各端末用状態遷移表に展開する手段
と、各端末用状態遷移表の各状態における遷移情報よ
り、発生する入力イベントを横軸とし２個の端末の状態
識別番号の組及び各端末間のチャネルの状態の組からな
る合成状態識別番号を縦軸とし出力するイベント及び遷
移先の合成状態識別番号からなる遷移情報を各欄に記述
する形式とした２個の端末に関する合成状態遷移表に展
開する手段と、合成状態遷移表における全ての合成状態
に関する遷移情報に基づき、全ての合成状態に関する遷
移についての遷移の確認および遷移先合成状態の確認を
行うようにした試験スイートの生成を行う手段とを具備
することにより、２個の端末の状態を合成し、それから
システム全体としての試験系列を生成することを特徴と
するものである。

【０００６】

【作用】本発明は、（Ｎ）を実装する２個の相互接続さ
れた情報通信端末における（Ｎ）プロトコル実装の相互
接続試験において、２個の有限状態機械として記述され
た仕様記述から、２個の各端末用状態遷移表に展開し、
合成状態遷移表に展開し、全ての合成状態に関する遷移
について遷移の確認および遷移先合成状態の確認を行う
ようにした試験スイートの生成を行うことにより、相互
接続試験系列生成の自動化と信頼性の高い試験を可能と
するものである。

【０００７】

【実施例】以下図面を参照して本発明の実施例を詳細に
説明する。

【０００８】図１は本発明を実施するためのシステムの
構成を例示するブロック図で、図中の１はキーボードな
どの入力装置、２はプリンタ等の出力装置、３は記憶装
置、４は中央処理装置（ＣＰＵ）である。

【０００９】図２は図１のシステムにおける本発明によ
る相互接続試験系列生成方式の処理手順を示す説明図で
ある。図２を用いて図１のシステムにおける相互接続試
験系列生成方式の処理手順につき説明すれば、 （１） まず試験者により状態と状態間の遷移情報とし
て与えられた仕様を入力装置１により投入する（作
成）。

【００１０】（２） ついで、中央処理装置４中のロー
ダが入力装置１を介してこの情報を受けとる（読み込
み）と、２個の端末毎に、発生する入力イベントを横軸
とし状態識別番号を縦軸とし出力するイベント及び遷移
先の状態識別番号からなる遷移情報を各欄に記述する形
式とした２個の各端末用状態遷移表を記憶装置３内に展
開する（展開１）。

【００１１】（３） 中央処理装置４中の合成状態遷移
表ジェネレータは発生する入力イベントを横軸とし２個
の端末の状態識別番号の組及び各端末間のチャネルの状
態の組からなる合成状態識別番号を縦軸とし出力するイ
ベント及び遷移先の合成状態識別番号からなる遷移情報
を各欄に記述する形式とした合成状態遷移表を記憶装置
３内に展開し（展開２）、２個の各端末の初期状態を表
す状態識別番号の組及び各端末間のチャネルの空状態の
組からなる初期合成状態に対応する情報を上記合成状態
遷移表に格納する。

【００１２】（４） 中央処理装置４中の合成状態遷移
表ジェネレータは記憶装置３内に展開保持された合成状
態遷移表から任意の合成状態に関する情報を得て（合成
状態情報）、この情報に基づき、記憶装置３内に展開保
持された各端末用状態遷移表の対応する各状態に関する
情報を検索する（矢印１）。

【００１３】（５） 中央処理装置４中の合成状態遷移
表ジェネレータは記憶装置３内に展開保持された各端末
用状態遷移表の各状態における遷移情報を得て（矢印
２）、中央処理装置４中のルール制御部に対応する合成
状態遷移生成ルールの適用を指示する（ルール適用指
示）。

【００１４】（６） 中央処理装置４中のルール制御部
は中央処理装置４中の合成状態遷移表ジェネレータから
の指示に基づき、対応する合成状態遷移生成ルールの適
用を行い、その結果生成される合成状態遷移の情報を中
央処理装置４中の合成状態遷移表ジェネレータに渡す
（ルール適用結果）。

【００１５】（７） 中央処理装置４中の合成状態遷移
表ジェネレータは中央処理装置４中のルール制御部から
渡された合成状態遷移の情報に基づき、記憶装置３内に
展開保持された合成状態遷移表に対応する遷移情報を追
加する。 （８） 中央処理装置４中の合成状態遷移表ジェネレー
タは上記の（４）〜（７）までの処理を新たな合成状態
遷移が生成されなくなるまで繰り返し行う。

【００１６】（９） 中央処理装置４中の試験スイート
ジェネレータは記憶装置３内に展開保持された合成状態
遷移表から全ての合成状態に関する遷移情報を得て（合
成状態遷移情報）、この情報に基づき、試験スイートの
生成（生成）を行うようにした相互接続試験系列生成方
式により達成される。

【００１７】以上のうち（９）の処理について図３を用
いてさらに詳細に述べれば、まず処理Ｐ１において合成
状態遷移表に格納されている全ての合成状態に関する遷
移情報に基づき、全ての合成状態に関する遷移を未処理
遷移として登録し、空の系列を試験系列として登録す
る。

【００１８】次に、判断Ｃ１において未処理遷移が存在
するかどうかを判定し、存在しなければ処理を終了す
る。判断Ｃ１において未処理遷移が存在するならば、次
に処理Ｐ２において未処理遷移より遷移を選択し、未処
理遷移よりその遷移を削除する。さらに、選択された遷
移の現在システム状態に対応する状態に２つの端末装置
を遷移させる系列を試験系列に加え、同じく選択された
遷移に対応する入力を試験系列に加え、同じく選択され
た遷移の遷移先システム状態に対応する状態に２つの端
末装置が遷移したことを確認する系列を試験系列に加
え、判断Ｃ１以下を繰り返す。

【００１９】図４は本発明による相互接続試験系列生成
方式により得られる試験系列の適用対象である、通信シ
ステムのレイヤドモデルの第Ｎ層を実装する２個の相互
接続された情報通信端末の相互接続試験アーキテクチャ
の一実施例を示したものである。図４を用いて本発明に
よる相互接続試験系列生成方式により得られる試験スイ
ートの適用の一実施例につき説明すれば、先ずテストセ
ンターが試験スイートの情報を受け取り、その情報に基
づき１つの入力試験イベントをネットワークを介して対
応する端末のテスタに送る。次にテスタはネットワーク
を介して送られた入力試験イベントの情報に基づき入力
試験イベントを端末に対して与え、出力試験イベントを
観測する。次にテスタは観測された出力試験イベントの
情報をネットワークを介してテストセンターに送る。次
にテストセンターはネットワークを介して送られた出力
試験イベントの情報を記憶、保持する。上記を試験スイ
ートの全ての入力イベントに関して繰り返し行う。最後
にテストセンターは記憶、保持された出力試験イベント
の情報を試験ログとして出力する。

【００２０】

【発明の効果】以上述べたように本発明によれば、直接
試験を行うことが不可能な２個の有限状態機械として記
述された仕様記述をもとにして２個の相互接続された情
報通信端末における（Ｎ）プロトコル実装の２個の情報
通信端末の状態確認を行う相互接続試験系列を生成する
形式とすることで、相互接続試験系列生成の自動化と信
頼性の高い試験が可能であるという利点がある。

【００２１】また、状態遷移表による方式なので、試験
対象のプロトコルが変更になっても状態遷移表の内容を
変えれば試験系列生成装置の変更は不要であり、試験系
列生成装置の汎用化が可能である。

【図面の簡単な説明】

【図１】本発明を実施するためのシステムの構成を例示
するブロック図である。

【図２】本発明による相互接続試験系列生成方式の一実
施例の処理手順を示す説明図である。

【図３】本発明による相互接続試験系列生成方式の一実
施例の処理手順の一部の詳細を示す流れ図である。

【図４】本発明による相互接続試験系列生成方式により
得られる試験系列の適用対象である、通信システムのレ
イヤドモデルの第Ｎ層を実装する２個の相互接続された
情報通信端末の相互接続試験アーキテクチャの一実施例
を示した説明図である。

【符号の説明】

１…入力装置、２…出力装置、３…記憶装置、４…中央
処理装置。

Claims (1)

【特許請求の範囲】
1. 【請求項１】 通信システムのレイヤドモデルの第Ｎ層
   を実装する２個の相互接続された情報通信端末における
   レイヤドモデルの第Ｎ層プロトコル実装の相互接続試験
   において、 状態と状態間の遷移情報として与えられた仕様より、２
   個の端末毎に、発生する入力イベントを横軸とし状態識
   別番号を縦軸とし出力するイベント及び遷移先の状態識
   別番号からなる遷移情報を各欄に記述する形式とした２
   個の各端末用状態遷移表に展開する手段と、 各端末用状態遷移表の各状態における遷移情報より、発
   生する入力イベントを横軸とし２個の端末の状態識別番
   号の組及び各端末間のチャネルの状態の組からなる合成
   状態識別番号を縦軸とし出力するイベント及び遷移先の
   合成状態識別番号からなる遷移情報を各欄に記述する形
   式とした２個の端末に関する合成状態遷移表に展開する
   手段と、 合成状態遷移表における全ての合成状態に関する遷移情
   報に基づき、全ての合成状態に関する遷移について遷移
   の確認および遷移先合成状態の確認を行うようにした試
   験スイートの生成を行う手段とを具備したことを特徴と
   する相互接続試験系列生成方式。