JPH1115694A - 関数インタフェースのチェック方法 - Google Patents

Abstract

(57)【要約】 【課題】 プログラムモジュール間で関数名の使用、関
数パラメータ名の使用及び関数パラメータの設定に誤り
があった場合、その誤りを容易に検出する。 【解決手段】 送信側関数１１では関数コール時にコー
ルする関数名から生成した関数キー情報１２をコールさ
れる受信側関数２１に送信し、受信側関数２１では受信
した関数キー情報１２と受信側関数名から生成した関数
キー情報２２とを関数キー情報チェックルーチン２３に
より比較し、双方が一致する場合は処理を続行し、不一
致の場合はその場で直ちにプログラムの障害通知を行
う。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、本発明はプログラ
ム論理の合理性チェックに関し、特にリンカー処理が行
われない各部分ロードモジュール間のプログラム関数イ
ンターフェースの合理性をチェックする関数インタフェ
ースのチェック方法に関する。

【０００２】

【従来の技術】従来は、異なる部分ロードモジュール上
に存在する関数間の関数コール時の関数名使用の合理性
のチェックは、リンカーで行うことが出来ないため、タ
ーゲットマシン上で実際に検査対象のプログラムを走行
させ、矛盾により生した異常現象から、逆に関数名使用
の誤りを検出すると言う方法が取られていた。また、タ
ーゲットマシン上で実際に検査対象のプログラムを走行
させ、矛盾により生した異常現象から、逆に関数パラメ
ータ名使用の誤りを検出すると言う方法が取られてい
た。

【０００３】また、関数間の関数コール時の関数パラメ
ータの設定有無の合理性のチェックは、コンパイラ、リ
ンカーによるチェックが複雑になってしまうことから、
ターゲットマシン上で実際に検査対象のプログラムを走
行させ、矛盾により生した異常現象から、逆に関数パラ
メータ設定有無の誤りを検出すると言う方法が取られて
いた。図６は、従来の関数間の関数コール時の状況を示
す説明図であり、送信側部分ロードモジュール８０の送
信側関数８１において関数コールを行った場合、送信側
パラメータ情報８２が受信側ロードモジュール９０の受
信側関数９１に転送されるようになっている。したがっ
て、関数インタフェースに関するチェック、即ちコール
する関数に対する関数名、パラメータ名及びパラメータ
の設定に関する合理性のチェックは行われていない。

【０００４】

【発明が解決しようとする課題】このように従来は、関
数名の使用誤り、関数パラメータ名の使用誤り及び関数
パラメータ設定の誤りをそれぞれ検出する場合は、ター
ゲットマシン上で実際に検査対象のプログラムを走行さ
せ、矛盾により生じた現象から、逆に関数名の使用誤
り、関数パラメータ名の使用誤り及び関数パラメータ設
定の誤りを検出する方法が取られている。しかしこの方
法では、矛盾により生じた異常現象は、プログラムの実
行が誤りの存在する地点を通過してから相当数のステッ
プ分を走行した後、異常現象が発現するため、発現した
異常現象からその原因となった誤り箇所を容易に探索す
ることができない。このため、関数名の使用、関数パラ
メータ名の使用及び関数パラメータの設定に誤りがあっ
た場合、その誤りの検出は、単純な誤りであるにもかか
わらず困難な作業を伴い、かつ手間がかかるという問題
があった。したがって本発明は、関数名の使用、関数パ
ラメータ名の使用及び関数パラメータの設定に誤りがあ
った場合、その誤りを容易に検出することを目的とす
る。

【０００５】

【課題を解決するための手段】このような課題を解決す
るために本発明は、関数名の使用、関数パラメータ名の
使用及び関数パラメータの設定に誤りがあった場合、直
ちにその誤りを検出して通知することで誤り検出を容易
にするものであり、次のような手段を有する。即ち、送
信側関数では関数コール時にコールする関数名から生成
した関数キー情報をコールされる受信側関数に送信し、
受信側関数では受信した関数キー情報と受信側関数名か
ら生成した関数キー情報とを関数キー情報チェックルー
チンにより比較し、不一致が検出されるとプログラムの
障害通知を行う方法である。また、送信側関数では関数
コール時にコールする関数のパラメータ名より生成した
パラメータキー情報をコールされる受信側関数に送信
し、受信側関数では受信したパラメータキー情報と受信
側関数のパラメータ名から生成したパラメータキー情報
とをパラメータキー情報チェックルーチンにより比較
し、障害通知を行う方法である。また、送信側関数では
関数コール時に、パラメータが設定されたときフラグが
オンとなるパラメータ設定キー情報をコールされる受信
側関数に送信し、受信側関数では受信したパラメータ設
定キー情報と受信側関数のパラメータ定義より生成した
パラメータ設定キー情報とをパラメータ設定キー情報チ
ェックルーチンにより比較し、障害通知を行う方法であ
る。また、送信側関数から関数コールされると受信側関
数は、関数コールの終了時に、送信側関数宛に返信パラ
メータが設定されたときフラグがオンとなるパラメータ
設定キー情報を送信側関数に返信し、送信側関数は返信
されたパラメータ設定キー情報とコール対象関数のパラ
メータ定義より生成したパラメータ設定キー情報とをパ
ラメータ設定キー情報チェックルーチンにより比較し、
障害通知を行う方法である。

【０００６】

【発明の実施の形態】以下、本発明について図面を参照
して説明する。図１は、本発明に係る関数インタフェー
スのチェック方法を説明する説明図であり、２つの部分
ロードモジュール１０，２０を用い、送信側部分ロード
モジュール１０上の送信側関数１１が受信側部分ロード
モジュール２０上の受信側関数２１をコールする場合の
例を示すものである。

【０００７】送信側関数１１は受信側関数２１をコール
する場合、関数間インタフェースの正常性をチェックす
るために、送信側パラメータ情報１３のみならず、正常
性をチェックするための送信側キー情報１２を受信側関
数２１に引き渡す。受信側関数２１では送信側関数キ一
情報１２を受けとると、送信側関数キー情報１２と自分
で保持している受信側キー情報２２とをキー情報チェッ
クルーチン２３を用いて比較し、一致すれば、関数間イ
ンタフェースは正常として処理を続行し、不一致であれ
ば、関数間インタフェースを異常として、その場でプロ
グラムの障害情報を試験者に端末等を通して通知する。

【０００８】さらに、関数コール終了時、受信側関数２
１は返信情報として受信側キー情報２２を送信側関数１
１に返信する。送信側関数１１では、返信された受信側
キー情報２２と、送信側キー情報１２をキー情報チェッ
クルーチン１５を用いて比較し、一致すれば関数間イン
タフェースは正常として処理を続行し、不一致であれ
ば、関数間インタフェースを異常として、その場でプロ
グラムの障害情報を試験者に端末等を通して通知する。

【０００９】図２は、送信側関数１１が関数をコールす
る場合の、キー情報、パラメータ情報、キー設定ルーチ
ン及びキーチェックルーチンの詳細な例を示す図であ
る。また、図３は、関数コールされる場合の受信側関数
２１でのキー情報、キーチエックルーチン及びキー設定
ルーチンの詳細の例を示す図である。また、図４は、関
数コールを行う送信側関数５０のコーディング例を示す
図である。また、図５は、関数コールされる受信側関数
７０のコーディング例を示す図である。

【００１０】ここで、図４の送信側関数５０は、図５の
受信側関数７０を関数コールする場合の例を示し、図５
の受信関数７０は、図４の送信側関数５０に関数コール
される場合の例を示している。また、図２に示すキー情
報及びルーチン情報は、図４の送信側関数５０が図５の
受信側関数７０を関数コールする場合のキー情報、ルー
チン情報の例を示し、また図３に示すキー情報、ルーチ
ン情報は、図５の受信側関数７０が図４の送信側関数５
０に関数コールされる場合のキー情報、ルーチン情報の
例を示している。

【００１１】以下、図２〜図５を用いてキー情報の作成
方法の詳細について説明する。キー情報の値と、受け側
設定キー情報と、キー情報のチェックルーチンと、キー
情報の設定ルーチンはコンパイラによって生成される。
即ち、コンパイラによるプログラムのコンパイル時、コ
ンパイラはコーディングされたステートメントからキー
情報の値と、受け側設定キー情報の値と、キー情報のチ
ェックルーチンと、キー情報の設定ルーチンを生成す
る。

【００１２】送り側設定キー情報はコンパイラにより生
成されない。送り側設定キー情報値は、コンパイラによ
り生成されたキー情報設定ルーチンによってプログラム
が実際に走行する時に設定される。キー情報は、キー情
報に対応する情報について、それらの間の同一性をチェ
ックするためのものである。従って、キー情報に対応す
る情報からのキー情報の生成は、同一の方法、同一の規
則で生成されればよい。

【００１３】ここでの例では、キー情報の生成は、全て
キー情報の対応となる名称の各文字のＡＳＣＩＩコード
値を全加算することによってキー情報の生成を行ってい
る。関数キーは関数名称文字のＡＳＣＩＩコードを加算
して生成する。パラメータキーはパラメータフィールド
名称文字のＡＳＣＩＩコードとパラメータ属性名称文字
のＡＳＣＩＩコードを全加算して生成する。

【００１４】図２において、送信側関数キー３０は、図
４の行位置６２で指定したコール先の関数名「ｆｕｎｃ
２」より生成される。行位置６２の「ｆｕｎｃ２」の各
文字のＡＳＣＩＩコードを全加算してキー情報値「４７
８」を得る。図２において、送信側パラメータキー３１
は図４の行位置５２、５８、５５、５６のパラメータ定
義名を用いて生成される。ここでのキー情報は、チェッ
クの精度を向上させるため、単にフィールド名称のみで
なくパラメータの属性定義も合わせてキー情報を生成す
る。

【００１５】第１パラメータ「ｐ１ｄ」のキー情報値
は、行位置５２のパラメータ名「ｐ１ｄ」の加算値「２
６１」と属性定義「ｉｎｔ」の加算値「３３１」を加算
してキー情報値「５９２」を得る。同様にして、第２パ
ラメータ「ｐ２ｄ」のキー情報値は、行位置５８のパラ
メータ名「ｐ２ｄ」の加算値「２６２」と属性定義
「＊」の加算値「４２」を加算して「３０４」を得る。
第３パラメータ「ｐ３ｄ」のキー情報値は、行位置５５
のパラメータ名「ｐ３ｄ」の加算値「２６３」と属性定
義「ｃｈａｒ」の加算値「４１４」を加算して「６７
７」を得る。第４パラメータ「ｐ４ｄ」のキー情報値
は、行位置５６のパラメータ名「ｐ４ｄ」の加算値「２
６４」と属性定義「ｃｈａｒ」の加算値「４１４」を加
算して「６７８」を得る。

【００１６】このようにパラメータキー情報では、パラ
メータ名称のみではなく属性定義も加味してキー情報を
作成するため、パラメータ名称の誤りのみではなく、属
性定義の誤りも検出することが出来ることになる。図３
において、受信側関数キー４０は図５の行位置７１での
受信側関数名「ｆｕｎｃ２」より生成される。行位置７
１の「ｆｕｎｃ２」の各文字のＡＳＣＩＩコードを加算
してキー情報値「４７８」を得る。

【００１７】図３において、受信側パラメータキー４１
は図５の行位置７２、７７、７５、７６のパラメータ定
義名、及びパラメータ属性定義名より生成される。第１
パラメータ「ｐ１ｄ」のキー情報値は、行位置７２のパ
ラメータ名「ｐ１ｄ」の加算値「２６１」と属性定義
「ｉｎｔ」の加算値「３３１」を加算してキー情報値
「５９２」を得る。同様にして、第２パラメータ「ｐ２
ｄ」のキー情報値は、行位置７７のパラメータ名「ｐ２
ｄ」の加算値「２６２」と属性定義「＊」の加算値「４
２」を加算して「３０４」を得る。第３パラメータ「ｐ
３ｄ」のキー情報値は、行位置７５のパラメータ名「ｐ
３ｄ」の加算値「２６３」と属性定義「ｃｈａｒ」の加
算値「４１４」を加算して「６７７」を得る。第４パラ
メータ「ｐ４ｄ」のキー情報値は、行位置７６のパラメ
ータ名「Ｐ４ｄ」の加算値「２６４」と属性定義「ｃｈ
ａｒ」の加算値「４１４」を加算して「６７８」を得
る。

【００１８】図２において、送信側パラメータ設定キー
３２の「ｐ１」、「ｐ２」、「ｐ３」の「ｓｏｎ」はコ
ンパイラでは生成されない。コンパイラでは、設定キー
を設定するための設定ルーチンが生成される。送信側パ
ラメータ設定キー３２の「ｐ１」、「ｐ２」、「ｐ３」
の「ｓｏｎ」は、プログラム実行時、図４の行位置５
９、６０、６１の各ステートメントの直後に埋め込まれ
た設定キー設定ルーチンによって生成される。

【００１９】第１パラメータ「ｐ１」の「ｓｏｎ」は行
位置５９のステートメント「ｐ１＝１０」が実行された
後、その直後に埋め込まれた設定キー設定ルーチンによ
って生成される。同様にして、第２パラメータ「ｐ２」
の「ｓｏｎ」は行位置６０のステートメント「ｐ２＝＆
ｐ２ａ」が実行された後、その直後に埋め込まれた設定
キー設定ルーチンによって生成される。第３パラメータ
「ｐ３」の「ｓｏｎ」は行位置６１のステートメント
「ｐ２−＞ｐ３ｄ＝３０」が実行された後、その直後に
埋め込まれた設定キー設定ルーチンによって生成され
る。ここで、「ｓｏｎ」は送信パラメータ情報が設定さ
れたことを意味する。

【００２０】図２において、送信側パラメータ設定キー
３２の「ｐ４」の「ｒｏｎ」は、図４の行位置５６のパ
ラメータ定義の入出力指定を基にして、コンパイラによ
り生成される。ここでは、第４パラメータ「ｐ４」は行
位置５６で「ｉｎ」指定されているため、「ｒｏｎ」が
生成される。「ｒｏｎ」は返信パラメータ情報が設定さ
れてくること意味する。

【００２１】図３において、受信側パラメータ設定キー
４２の「ｐ１」、「ｐ２」、「ｐ３」の「ｓｏｎ」は、
図５の行位置７３、７７、７５のパラメータ定義の入出
力指定を基にして、コンパイラにより生成される。第１
パラメータ「ｐ１」は行位置７３で「ｉｎ」指定されて
いるため、「ｓｏｎ」が生成される。第２パラメータ
「ｐ２」は行位置７７で「ｉｎ」指定されているため、
「ｓｏｎ」が生成される。第３パラメータ「ｐ３」は行
位置７５で「ｉｎ」指定されているため、「ｓｏｎ」が
生成される。ここで、「ｓｏｎ」は送信パラメータ情報
が設定されてくることを意味する。

【００２２】図３において、受信側パラメータ設定キー
４２の「ｐ４」の「ｒｏｎ」は、コンパイラでは生成さ
れない。コンパイラでは、設定キーを設定するための設
定ルーチンが生成される。受信側パラメータ設定キー４
２の「ｐ４」の「ｒｏｎ」は、プログラム実行時、行位
置７８のステートメント「ｐ２−＞ｐ４ｄ＝４０」が実
行された後に、その直後に埋め込まれた設定キー設定ル
ーチンによって生成される。なお、図２において、送信
側パラメータ３３は、関数コール時、送信側関数５０と
受信側関数７０とで送受信される実際のパラメータ情報
である。

【００２３】次に、キー設定ルーチン、キーチェックル
ーチンの生成方法の詳細を、図２〜図５を用いて説明す
る。ここで、キー設定ルーチンはパラメータ情報が設定
された時、対応するパラメータ設定キー情報を設定する
機能を持つ。また、キーチェックルーチンは双方のチェ
ック対象のキー情報が一致しているか否かを判定する機
能を持つ。

【００２４】図２において、パラメータ設定キー設定ル
ーチン３４は、図４で行位置５９、６０、６１の各ステ
ートメントがそれぞれ実行されると、送信側パラメータ
設定キー３２の「Ｐ１」、「Ｐ２」、「Ｐ３」のパラメ
ータ設定キーフラグがそれぞれ「ｓｏｎ」となるような
ルーチンで、コンパイラによって生成される。設定ルー
チンは、「ｐ１」を「ｓｏｎ」とする機能部分が行位置
５９の直後に、「ｐ２」を「ｓｏｎ」とする機能部分が
行位置６０の直後に、「ｐ３」を「ｓｏｎ」とする機能
部分が行位置６１の直後に、それぞれ埋め込まれる。こ
こで、「ｓｏｎ」フラグは、送信パラメータが設定され
たことを意味する。

【００２５】図２において、パラメータ設定キーチェッ
クルーチン３５は、図４で行位置６２の関数コールの実
行終了時、コール先の受信側関数７０からの返信情報で
ある受信側パラメータ設定キー４２の「ｐ４ｄ」の「ｒ
ｏｎ」をチェックするためのルーチンで、コンパイラー
により生成される。チェックルーチンは送信側関数５０
内の行位置６２の関数コールステートメントの直後の位
置に埋め込まれる。

【００２６】図３において、関数キーチエックルーチン
４３は、図５の受信側関数７０が関数コールされて実行
される時、送信されてきた送信側側関数キー３０をチェ
ックするためのルーチンで、コンパイラにより生成され
る。チェックルーチンは受信側関数７０内の処理先頭位
置に埋め込まれる。図３において、パラメータキーチェ
ックルーチン４４は、図５の受信側関数７０が関数コー
ルされて実行される時、送信されてきた送信側パラメー
タキー３１をチェックするためのルーチンで、コンパイ
ラーにより生成される。チェックルーチンは受信側関数
７０内の処理先頭位置に埋め込まれる。

【００２７】図３において、パラメータ設定キーチエッ
クルーチン４５は、図５の受信側関数７０が関数コール
されて実行される時、送信されてきた送信側パラメータ
設定キー３２をチェックするためのルーチンで、コンパ
イラーにより生成される。チェックルーチンは受信側関
数７０内の処理先頭位置に埋め込まれる。図３におい
て、パラメータ設定キー設定ルーチン４６は、図５で行
位置７８のステートメントが実行されると、受信側パラ
メータ設定キー４２の「Ｐ４」のパラメータ設定キーフ
ラグが「ｒｏｎ」となるようなルーチンで、コンパイラ
によって生成される。設定ルーチンは、受信側関数７０
内の行位置７８のステートメントの直後に埋め込まれ
る。ここで、「ｒｏｎ」フラグは返信パラメータが設定
されたことを意味する。

【００２８】次に、関数コール時のキー情報のチェック
処理の流れの詳細を図２〜図５を用いて説明する。図４
において、送信側関数５０の実行が開始されたとする。
関数の実行が進行し行位置５９の「ｐ１＝１０」ステー
トメントが実行されると、その直後に埋め込まれた設定
ルーチンにより、図２の送信側パラメータ設定キー３２
の「ｐ１」に［ｓｏｎ」フラグが設定される。同様に、
行位置６０の「ｐ２＝＆ｐ２ａ」のステートメントが実
行されると、その直後に埋め込まれた設定ルーチンによ
り、送信側パラメータ設定キー３２の「ｐ２」に［ｓｏ
ｎ」フラグが設定される。行位置６１の「ｐ２−＞ｐ３
ｄ＝３０」のステートメントが実行されると、その直後
に埋め込まれた設定ルーチンにより、送信側パラメータ
設定キー３２の「ｐ３」に［ｓｏｎ」フラグが設定され
る。以上のように、パラメータ設定キーは、実際に対応
するパラメータが設定された時に設定される。

【００２９】ここでもし、図４の行位置５９の「ｐ１＝
１０」のステートメントの作成が漏れていたとすれば、
それに対応する設定ルーチンは生成されないため、図２
の送信側パラメータ設定キー３２の「ｐ１」の「ｓｏ
ｎ」が設定されないことになり、関数コール実行時、コ
ール先関数でのパラメータ設定キーチェックにより「ｓ
ｏｎ」のチェックがなされ、「ｓｏｎ」不一致によりチ
ェック異常となり、プログラム障害の通知がなされるこ
とになる。

【００３０】さらに関数の実行が進行し、図４の行位置
６２の「ｆｕｎｃ２（ｐ１、ｐ２）」が実行される時、
図２の送信側パラメータ３３のみならず、コンパイル時
に編集された送信側関数キー３０、送信側パラメータキ
ー３１、及び関数実行時に設定した送信側パラメータ設
定キー３２が図５の受信側関数７０に引き渡される。関
数コールが実行されると、処理実行はコールした送信関
数５０からコールされた受信側関数７０に移行する。

【００３１】関数コールされた受信側関数７０では、自
関数内の処理を開始する前に、自関数内に持つキーチエ
ックルーチンを用いて、引き渡されたキー情報と自関数
内に持つキー情報とを比較チェックする。比較して一致
すれば、引き続いて関数処理を実行するが、不一致であ
れば、割り込みを用いて、その場でプログラムの障害情
報を端末に出力し、試験者に通知した後に、関数処理を
続行することになる。関数コールされた受信側関数７０
では、自関数内の処理を開始する前に、関数キーチェッ
クルーチン４３を用いて、引き渡された送信側関数キー
３０のキー情報値「４７８」と自関数内に持つ受信側関
数キー４０のキー情報値「４７８」とを比較する。この
例では同一値のため、比較した結果は一致し、チェック
正常として障害の通知はなしに次の処理に進む。

【００３２】同様にして、受信側関数７０では、引き続
きパラメータキーチェックルーチン４４を用いて、引き
渡された送信側パラメータキー３１の「ｐ１ｄ＋ｉｎ
ｔ」の「５９２」、「ｐ２ｄ＋＊」の「３０４」、「Ｐ
３ｄ＋ｃｈａｒ」の「６７７」、「ｐ４ｄ＋ｃｈａｒ」
の「６７８」と自関数内に持つ受信側パラメータキー４
１の「ｐ１ｄ＋ｉｎｔ」の「５９２」、「ｐ２ｄ＋＊」
の「３０４」、「Ｐ３ｄ＋ｃｈａｒ」の「６７７」、
「ｐ４ｄ＋ｃｈａｒ」の「６７８」とをそれぞれ比較す
る。この例では全て同一値のため、比較結果は一致し、
チェック正常として障害の通知はなしに次の処理に進
む。

【００３３】さらに、受信側関数７０では、引き続きパ
ラメータ設定キーチェックルーチン４５を用いて、引き
渡された送信側パラメータ設定キー３２の「ｐ１」の
「ｓｏｎ」、「ｐ２」の「ｓｏｎ」、「ｐ３」の「ｓｏ
ｎ」と自関数内に持つ受信側パラメータ設定キー４２の
「ｐ１」の「ｓｏｎ」、「ｐ２」の「ｓｏｎ」、「ｐ
３」の「ｓｏｎ」とをそれぞれ比較する。この例では全
て同一植のため、比較結果は一致し、チェック正常とし
て障害の通知はなしに次の処理に進む。

【００３４】ここで、送信側関数５０が受信側関数７０
に引き渡す３０、３１のキー情報値は送信側関数５０で
定義した関数名、パラメータ名より生成したものであ
り、一方、受信側関数で保持する４０、４１のキー情報
値は、受信側関数で定義した関数名、パラメータ名より
生成したものである。従って、もし送信側関数５０での
関数名、パラメータ名の定義を誤って、受信側関数７０
で定義した関数名、パラメータ名とは異なる定義を行っ
てしまった場合、それによって生成されるキー情報値は
送信側と受信側で異なってくる。このため、このような
場合には関数コール時に、キー情報をチェックすると不
一致となり、この不一致の情報から関数名、パラメータ
名の設定誤りを検出することができることになる。

【００３５】図２〜図５の例では関数名、パラメータ名
に誤りのない場合の例であるため、図２の送信側キー情
報値と図３の受信側キー情報値は全て一致している。し
かし、例えば送信側関数５０の行位置５３でパラメータ
定義名を「ｐ１ｄ」から「ｐｘｄ」に誤ったとすれば、
図２の送信側パラメータキー３１の第１パラメータキー
は、「ｐ１ｄ＋ｉｎｔ」ではなく「ｐｘｄ＋ｉｎｔ」と
なり、キー情報値は「５９２」ではなく、「６３９」と
なる。これによって、関数コール実行時、キー情報のチ
ェックを行うと、送信側のキー情報値と受信側のキー情
報値は異なるため、キー情報値の比較不一致でキー情報
チェック異常となり、これから第１パラメータ「ｐｘ
ｄ」の誤りを検出できる。

【００３６】通常、定義名の不一致は定義名を単純に間
違ったというよりは、機能的に定義名を取り違えている
場合が多い。このため、単純な定義名のチェックだとし
ても、それを実行すれば、機能的誤りを検出する契機と
することができる。したがって、単純な定義名のチェッ
クを実行することによって機能的誤りの検出を期待でき
る。

【００３７】パラメータ設定キーは、パラメータの受信
側で、パラメータが設定されるべきか否かのフラグを持
ち、パラメータの送信側で実際にパラメータが設定され
た時に設定フラグがオンとなるようにし、この双方の設
定フラグを関数コール実行時に一致しているか否かをチ
ェックすることによって、送信パラメータの設定漏れを
検出しようとする。このパラメータ設定漏れの検出はコ
ンパイラ、リンカーによるスタティックなプログラムの
論理チェックで行おうとすると、チェックが複雑とな
り、その実現は難しい。しかし、本例のようにパラメー
タ設定忘れの検出をダイナミックにプログラムの実行時
に行うようにすれば、その検出チェックは容易となる。

【００３８】図５において、受信側関数７０では、関数
がコールされた時のキー情報のチェック処理実行が終了
すると、自関数内の処理の実行を開始する。処理実行が
進行し、受信側関数７０の行位置７８の「ｐ２−＞ｐ４
ｄ＝４０」のステートメントが実行されると、その直後
に埋め込まれた設定ルーチンにより、図３の受信側パラ
メータ設定キー４２の「ｐ４」に「ｒｏｎ」が設定され
る。ここで、「ｒｏｎ」は第４パラメータにデータが設
定されたことを意味する。

【００３９】さらに受信側関数７０内の実行が進行し、
関数コールされた受信側関数７０の処理が終了する時、
関数コールした送信側関数５０へのパラメータ返信情報
がある場合は、パラメータ返信情報以外に、パラメータ
返信情報に対応したパラメータ設定キー情報が返送され
る。ここでは、図３の受信側パラメータ設定キー４２の
「ｐ４」の「ｒｏｎ」が送信側関数５０に返送される。

【００４０】受信側関数７０の処理が終了し、関数コー
ルを行った送信側関数５０に処理実行が帰還すると、送
信側関数５０では、コール先の受信側関数７０からの返
信パラメータ情報がある場合、自関数処理を再開する前
に、返信パラメータ情報に対応するパラメータ設定キー
情報をチェックする。送信側関数５０では、パラメータ
設定キーチェックルーチン３５を用いて、受信側関数７
０から返信された受信側パラメータ設定キー４２の「ｐ
４」の「ｒｏｎ」と送信側パラメータ設定キー３２の
「ｐ４」の「ｒｏｎ」とを比較チェックする。

【００４１】比較して一致すれば、正常として処理を続
行し、不一致であれば異常として、誤りを検出するため
のプログラムの障害情報を、割り込みを用いてその場で
端末装置に出力する。本例の場合は同一値のため、比較
結果は一致し、チェック正常として障害の通知はなしに
次の処理に進む。

【００４２】もしここで、受信側関数７０の行位置７８
での第４パラメータの設定が漏れていれば、それに対応
する設定ルーチンは生成されないため、受信側パラメー
タ設定キー４２の「ｐ４」には「ｒｏｎ」が設定されな
くなり、帰還した場合の設定キー情報チェックで設定キ
一情報不一致となり、第４パラメータの設定漏れが検出
できる。

【００４３】このように本発明は、関数をコールする側
の関数と関数をコールされる側の関数で、各々使用する
関数名、パラメータ名及びパラメータ設定有無情報に対
してキー情報を作成し、関数コール実行時に双方で作成
したキー情報を照合させることによって、関数インター
フェース情報である関数名、パラメータ名、パラメータ
設定有無の誤りを検出するものである。即ち、関数コー
ルを行う送信側関数では、コール対象の関数名からその
コール対象の関数名に対応した関数キー情報をコンパイ
ル時に生成し、この関数キー情報は関数名に一意的に対
応する。一方、コールされる側の受信側関数では、受信
側関数名より、その受信側関数名に対応した関数キー情
報と、関数コール時に受信する関数キー情報をチェック
するための関数キー情報チェックルーチンがコンパイル
時に生成される。そして、関数コール実行時、コールす
る側の送信側関数では、コール対象の関数名から生成し
た関数キー情報をコールされる側の受信側関数にパラメ
ータ情報と共に引き渡す。受信側関数では、受信側関数
名より生成した関数キー情報と、引き波された関数キー
情報とを関数キー情報チェックルーチンを用いて比較
し、一致すれば、関数コール正常として処理を続行し、
不一致であれば、関数コール誤りとして、誤りを検出す
るためのプログラム障害情報を図示しない端末装置に出
力する。

【００４４】同様にして、パラメータキー情報の場合
は、コールする側の送信側関数では、コール対象の関数
のパラメータの定義名から、パラメータキー情報がコン
パイル時に生成される。コールされる側の受信側関数で
は、受信側関数のパラメ∵タ定義名に対応したパラメー
タキー情報と、関数コール時に受信するパラメータキー
情報をチェックするためのパラメータキー情報チェック
ルーチンがコンパイル時に生成される。そして、関数コ
ール実行時、コールする側の送信側関数では、そのコー
ル対象の関数のパラメータの定義名より生成したパラメ
ータキー情報をコールされる側の受信側関数にパラメー
タ情報と共に引き渡す。受信側関数では、受信側関数の
パラメータ定義名より生成した関数パラメータキー情報
と、引き渡された関数パラメータキー情報とをパラメー
タキー情報チェックルーチンを用いて比較し、一致すれ
ば関数コール正常として処理を続行し、不一致であれば
関数コール誤りとして、誤りを検出するためのプログラ
ムの障害情報を端末装置に出力する。

【００４５】また、パラメータ設定キー情報の場合は、
コールする側の送信側関数では、変数ではなくイミディ
エイトのデータが対応するパラメータに設定された時に
設定フラグをオンとするパラメータ設定キー情報設定ル
ーチンと、そのコール対象の関数のパラメータ定義に基
づいたパラメータ設定キー情報と、パラメータ設定キー
情報をチェックするためのパラメータ設定キー情報チェ
ックルーチンとがコンパイル時に生成される。そして、
コールされる側の受信側関数では、受信側関数のパラメ
ータ定義に基づいたパラメータ設定キー情報と、パラメ
ータ設定キー情報をチェックするためのパラメータ設定
キー情報チェックルーチンと、対応する返信パラメータ
に、変数ではなくイミディエイトのデータが設定された
時に設定フラグをオンとするパラメータ設定キー情報設
定ルーチンとが、コンパイル時に生成される。

【００４６】ここで、関数コール実行時、コールする側
の送信側関数では、関数パラメータ情報と共に、パラメ
ータ設定キー情報を引き渡す。コールされる側の受信側
関数では、受信したパラメータ設定キー情報と受信側関
数のパラメータ定義より生成したパラメータ設定キー情
報とをパラメータ設定キー情報チェックルーチンを用い
て比較し、一致すれば、関数コール正常として処理を続
行し、一致しなければ、関数コール誤りとして誤りを検
出するためのプログラムの障害情報を端末装置に出力す
る。そして、関数コール終了時、コールされる側の受信
側関数では、返信パラメータと共に、パラメータ設定キ
ー情報をコールした送信側関数に引き渡す。送信側関数
では、返信されたパラメータ設定キー情報と、そのコー
ル対象の関数のパラメータ定義より生成したパラメータ
設定キー情報とをパラメータ設定キー情報チェックルー
チンにより比較し、一致すれば、関数コール正常として
処理を続行し、一致しなければ、関数コール誤りとして
誤りを検出するためのプログラムの障害情報を端末装置
に出力する。

【００４７】

【発明の効果】以上説明したように本発明によれば、関
数コール時に受信側関数で受信した関数キー情報により
関数名インタフェースの正常性をその場で自動的にチェ
ックし、関数名インタフェースが誤っていた場合、誤り
の事象がその時点で試験者に通知されるため、誤りを容
易に検出できる。また、関数コール時に受信側関数で受
信したパラメータキー情報により関数パラメータ名イン
タフェースの正常性をその場で自動的にチェックし、関
数パラメータ名インタフェースが誤っていた場合、誤り
の事象がその時点で試験者に通知されるため、同様に誤
りを容易に検出できる。また、関数コール時に受信側関
数で受信したパラメータ設定キー情報により関数パラメ
ータ設定インタフェースの正常性をその場で自動的にチ
ェックし、関数パラメータ設定インタフェースが誤って
いた場合、誤りの事象がその時点で試験者に通知される
ため、同様に誤りを容易に検出できる。また、関数コー
ル終了時に受信側関数から返信されたパラメータ設定キ
ー情報に基づき送信側関数で関数パラメータ設定インタ
フェースの正常性をその場で自動的にチェックし、関数
パラメータ設定インタフェースが誤っていた場合、誤り
の事象がその時点で試験者に通知されるため、同様に誤
りを容易に検出できる。

【図面の簡単な説明】

【図１】 本発明の要部構成を示す機能ブロック図であ
る。

【図２】 送信側関数の機能を説明する図である。

【図３】 受信側関数の機能を説明する図である。

【図４】 送信側関数の機能動作のコーディング例を示
す図である。

【図５】 受信側関数の機能動作のコーディング例を示
す図である。

【図６】 従来の構成を示す機能ブロック図である。

【符号の説明】

１０，２０…部分ロードモジュール、１１…送信側関
数、１２…送信側キー情報、１３…送信側パラメータ情
報、１４，２４…キー情報設定ルーチン、１５，２３…
キー情報チェックルーチン、２１…受信側関数、２２…
受信側キー情報、３０…送信側関数キー、３１…送信側
パラメータキー、３２…送信側パラメータ設定キー、３
３…送信側パラメータ、３４，４６…パラメータ設定キ
ー設定ルーチン、３５，４５…パラメータ設定キーチェ
ックルーチン、４０…受信側関数キー、４１…受信側パ
ラメータキー、４２…受信側パラメータ設定キー、４３
…関数キーチェックルーチン、４４…パラメータキーチ
ェックルーチン。

Claims (4)

【特許請求の範囲】
1. 【請求項１】 それぞれが関数部を有する複数のプログ
   ラムモジュールを備え、各プログラムモジュールの関数
   部間のインタフェースをチェックする方法であって、 送信側モジュールの関数部では、関数コール時にコール
   する関数名から生成した関数キー情報をコールされる受
   信側モジュールの関数部に送信し、受信側モジュールの
   関数部では、受信した関数キー情報と受信側関数名から
   生成した関数キー情報とを関数キー情報チェックルーチ
   ンにより比較し、不一致が検出されるとプログラムの障
   害通知を行うことを特徴とする関数インタフェースのチ
   ェック方法。
2. 【請求項２】 それぞれが関数部を有する複数のプログ
   ラムモジュールを備え、各プログラムモジュールの関数
   部間のインタフェースをチェックする方法であって、 送信側モジュールの関数部では、関数コール時にコール
   する関数のパラメータ名より生成したパラメータキー情
   報をコールされる受信側モジュールの関数部に送信し、
   受信側モジュールの関数部では、受信したパラメータキ
   ー情報と受信側関数のパラメータ名から生成したパラメ
   ータキー情報とをパラメータキー情報チェックルーチン
   により比較し、不一致が検出されるとプログラムの障害
   通知を行うことを特徴とする関数インタフェースのチェ
   ック方法。
3. 【請求項３】 それぞれが関数部を有する複数のプログ
   ラムモジュールを備え、各プログラムモジュールの関数
   部間のインタフェースをチェックする方法であって、 送信側モジュールの関数部では、関数コール時にパラメ
   ータが設定された時フラグがオンとなるパラメータ設定
   キー情報をコールされる受信側モジュールの関数部に送
   信し、受信側モジュールの関数部では、受信したパラメ
   ータ設定キー情報と受信側関数のパラメータ定義より生
   成したパラメータ設定キー情報とをパラメータ設定キー
   情報チェックルーチンにより比較し、不一致が検出され
   るとプログラムの障害通知を行うことを特徴とする関数
   インタフェースのチェック方法。
4. 【請求項４】 それぞれが関数部を有する複数のプログ
   ラムモジュールを備え、各プログラムモジュールの関数
   部間のインタフェースをチェックする方法であって、 送信側モジュールの関数部から関数コールされると受信
   側モジュールの関数部は、関数コールの終了時に、送信
   側モジュール宛に返信パラメータが設定されたときフラ
   グがオンとなるパラメータ設定キー情報を送信側モジュ
   ールの関数部に返信し、送信側モジュールの関数部で
   は、返信されたパラメータ設定キー情報とコール対象関
   数のパラメータ定義より生成したパラメータ設定キー情
   報とをパラメータ設定キー情報チェックルーチンにより
   比較し、不一致が検出されるとプログラムの障害通知を
   行うことを特徴とする関数インタフェースのチェック方
   法。