JPH04101221A - オブジェクト指向システム検査方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明はコンピュータプログラムの検査方式に関し、特
にオブジェクト指向システム検査方式に関する。

〔従来の技術〕

従来、この種のオブジェクト指向システム検査方式では
、各オブジェクトにおいて、あるメツセージを受信した
ときに検査実行手続きを呼び出していた。

また、メツセージの受信時に起動される検査実行手続き
内でメソセージの受信状態を管理しメ。

セージがある順番で受信されたときに検査を行うことは
できたが、検査実行手続き内に複数のオブジェクトでの
メツセージの受信状態を持つことは不可能であった。

〔発明が解決しようとする課題〕

上述した従来のオブジェクト指向システム検査方式では
、各オブジェクトにおいであるメツセージを受信したと
きに検査実行手続きを呼び出していたので、オブジェク
トにおいて複数のメソセージの受信状態によって検査実
行手続きを起動することは直接には不可能であるという
欠点がある。

また、メツセージの受信時に起動される検査実行手続き
内でメツセージの受信状態を管理しメツセージがある順
番で受信されたときに検査を行うことはできたが、検査
実行手続き内に複数のオブジェツトでのメツセージの受
信状態を持つことは不可能であったので、同時に起動さ
れている複数のオブジェクトに対して同じ検査を行おう
とした場合に、検査実行手続きの実現で特別な考慮が必
要になるという欠点がある。

本発明の目的は、上述の点に鑑み、オブジェクトでの複
数のメツセージの遷移状態に応じて検査実行手続きを起
動できるようにしたオブジェクト指向システム検査方式
を提供することにある。

〔課題を解決するための手段〕

本発明のオブジェクト指向システム検査方式は、オブジ
ェクト指向システムにおいて、センドメソセージ処理時
およびゲットメツセージ処理時に呼び出されメツセージ
の遷移状態を表すプロトコルを認識するメツセージプロ
トコル認識部と、このメツセージプロトコル認識部によ
りプロトコルが認識されたときに呼び出される検査実行
手続きとから構成されるメソセージプロトコル検査機能
を含む。

〔作用〕

本発明のオブジェクト指向システム検査方式では、メツ
セージプロトコル認識部がセンドメッセージ処理時およ
びゲットメツセージ処理時に呼び出されメツセージの遷
移状態を表すプロトコルを認識し、検査実行手続きがメ
ツセージプロトコル認識部によりプロトコルが認識され
たときに呼び出される。

〔実施例〕

次に、本発明について図面を参照して詳細に説明する。

第１図は、本発明の一実施例に係るオブジェクト指向シ
ステム検査方式の構成を示すブロック図である。本実施
例のオブジェクト指向システム検査方式は、オブジェク
ト１１と、センドメツセージ処理部１２と、ゲットメツ
セージ処理部１３と、メソセージプロトコル検査呼出し
部１４と、メツセージプロトコル認識部１６および１つ
以上の検査実行手続き１７を含むメツセージプロトコル
検査機能１５と、プロトコル記述１８と、プロトコルコ
ンパイラ１９とから構成されている。

第２図は、メツセージプロトコル認識部１６によって認
識されるメツセージの遷移状態を表すプロトコルの一例
を示す図である。第２図において、丸で示したものが状
態を、二重丸で示したものが初期状態を、四角形で示し
たものが部分プロトコルをそれぞれ表す。矢印は、メソ
セージによる状態遷移を示す。

第３図は、メツセージプロトコル認識部１６を呼び出す
ための記述の一例を示す図である。

第４図は、プロトコル記述１８の一例を示す図である。

第５図は、メツセージプロトコル認識部１６から呼び出
される検査実行手続き１７の記述の一例を示す図である
。

次に、このように構成された本実施例のオブジェクト指
向システム検査方式の動作について、第２図〜第５図を
参照しながら具体的に説明する。

オブジェクト１１は、自分のメツセージキュー（図示せ
ず）を持っており、他のオブジェクトからオブジェクト
１１にメソセージが送信されてくると、本オブジェクト
指向システムのセントメ。

セージ処理部１２がメツセージをオブジェクト１１のメ
ツセージキューにプノンユする。オブジェクト１１は、
自分のメツセージキューから本オブジェクト指向システ
ムのゲットメソセージ処理部１３を用いてメツセージを
受信し、そのメツセージを処理する。

したがって、本オブジェクト指向システムでは、メツセ
ージプロトコル検査呼出し部１４を介してメツセージプ
ロトコル検査機能１５を使用するためのメツセージプロ
トコル検査呼出しのタイミングは、センドメツセージ処
理時とゲットメツセージ処理時との２ｉ１りある。

本オブジェクト指向システムで、センドメソセージ処理
時にメソセージの遷移状態を表すプロトコルを認識する
プロトコル認識手続きをＰｌとし、ゲットメツセージ処
理時にメツセージの遷移状態を表すプロトコルを認識す
るプロトコル認識手続きをＰ２とするときには、例えば
第３図に示すような記述を行う。

プロトコル認識手続きＰｌは、メツセージプロトコル認
識部１６の一部分となるものであり、第４図に示すプロ
トコル記述１８をプロトコルコンパイラ１９でコンパイ
ルすることにより得られる。

プロトコル認識手続きＰｌが第２図に示すプロトコルを
認識し、検査実行手続き１７を呼び出す。

このようなメソセージプロトコル認識部１６に対して、
検査実行手続き１７である検査実行手続きＣｈｅｃｋｌ
と検査実行手続きＣｈｅｃｋ２とは、例えば第５図に示
すように記述できる。

以上の記述により、オブジェクト１１へのメツセージが
Ｍ３およびＭ６ときた場合などに検査実行手続きＣｈｅ
ｃｋｌを呼び出すことができる。

また、オブジェクト１１へのメツセージがＭｌおよびＭ
８ときた場合などに検査実行手続きＣｈｅＣｋ２を呼び
出すことができる。

〔発明の効果〕

以上説明したように本発明は、センドメツセージ処理時
およびゲットメソセージ処理時にメツセージプロトコル
認識部を呼び出し、メツセージプロトコル認識部から検
査実行手続きを起動することにより、オブジェクトでの
複数のメツセージの遷移状態に応して検査実行手続きを
起動することができるという効果がある。

また、各オブジェクトでの複数のメツセージの遷移状態
を持つことができるので、複数のオブジェクトに対して
同時にメツセージのプロトコル誤りを検出することがで
きるという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例に係るオブジェクト指向シス
テム検査方式の構成を示すブロック図、第２図は第１図
中のメツセージプロトコル認識部によって認識されるメ
ソセージのプロトコルの一例を示す図、 第３図は第１図中のメツセージプロトコル認識部を呼び
出すための記述の一例を示す図、第４図は第１図中のプ
ロトコル記述の一例を示す図、 第５図は第１図中のメソセージプロトコル認識部から呼
び出される検査実行手続きの記述の一例を示す図である
。 図において、 １１・・・オブジェクト、 １２・・・センドメソセージ処理部、 １３・・・ゲットメツセージ処理部、 １４・・・メツセージプロトコル検査呼出し部、１５・
・・メツセージプロトコル検査機能、１６・・・メツセ
ージプロトコル認識部、１７・・・検査実行手続き、 １８・・・プロトコル記述、 １９・・・プロトコルコンパイラである。 第１図

Claims (1)

1. 【特許請求の範囲】 オブジェクト指向システムにおいて、 センドメッセージ処理時およびゲットメッセージ処理時
   に呼び出されメッセージの遷移状態を表すプロトコルを
   認識するメッセージプロトコル認識部と、このメッセー
   ジプロトコル認識部によりプロトコルが認識されたとき
   に呼び出される検査実行手続きとから構成されるメッセ
   ージプロトコル検査機能を含むことを特徴とするオブジ
   ェクト指向システム検査方式。