JPH0355633A - モジュール間インタフェイス検査装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は計算機システムにおけるプログラム検査装置の
一種であるモジュール間インタフェイス検査装置に関す
る． （従来の技術） 一般に、コンパイラには、プログラムの構成全体をコン
パイル単位とするコンパイラと、プログラムの構或要素
であるモジュール単位をコンパイル単位とするコンパイ
ラとがあるが、前者のコンパイラは、プログラムの規模
が大きいと修正の度にプログラム全体をコンパイルする
為に計算機資源の利用効率が悪いという欠点がある。こ
れに対して後者のコンパイラは、プログラム修正時に全
モジュールをコンパイルする必要がなく、計算機資源の
利用効率が優れている．しかし、その反面、モジュール
間のインタフェイスの無矛盾性をコンパイル時に検出で
きず、モジュール間インタフェイスが不良のプログラム
を生或してしまう可能性が大きいという欠点がある． 〔発明が解決しようとする課Ｂ］ このため、モジュール単位をコンパイル単位トするコン
パイラを使用する従来の計算機システムでは、そのコン
パイラで生成されたプログラム内におけるモジュール間
のインタフェイスの無矛盾性を、デバッグ時に人手で検
査しており、プログラム作或者に負担がかかると共にデ
バッグ時間が長くなって計算機資源の有効利用が困難に
なるといった問題点があった． そこで、本発明の目的は、モジュール間のインタフェイ
ス情報の無矛盾性をコンパイル後に自動的に検査するこ
とのできるモジュール間インタフェイス検査装置を提供
することにある．〔課題を解決するための手段〕 本発明のモジュール間インクフエイス検査装置は、上記
の目的を達戒するために、プログラムの構或要素である
モジュール単位をコンパイル単位とし且つ型を有する言
語のコンパイルを行うコンパイラに設けられ、コンパイ
ル単位毎にインタフェイス情報を出力するインタフェイ
ス出力手段と、このインタフェイス出力手段から出力さ
れた各コンパイル単位のインタフェイス情報をコンパイ
ル単位毎に保持する第１の記憶手段と、前記プログラム
のｔＳ威情報を保持する第２の記憶手段と、前記第１の
記憶手段に保持された各コンパイル単位毎のインタフェ
イス情報および前記第２の記憶手段に保持された前記プ
ログラムの横威・情報を入力し、前記プログラムを構成
する各モジュール間のインタフェイス情報の無矛盾性を
検査するインタフェイス塊査手段とで構成されている．
〔作用〕 本発明のモジュール間インタフェイス検査装置において
は、モジュール単位をコンパイル単位とし且つ型を有す
る言語のコンパイルを行うコンパイラに設けられたイン
タフェイス出力手段が、コンパイル単位毎にインタフェ
イス情報を出力し、第１の記憶手段がその出力されたイ
ンタフェイス情報をコンパイル単位毎に保持し、他方、
前記コンパイラでコンパイルされるプログラムの横威情
報を第２の記憶手段が保持し、前記コンパイラのコンパ
イル後にインタフェイス検査手段が、前記第１の記憶手
段に保持された各コンパイル単位毎のインタフェイス情
報と前記第２の記憶手段に保持された前記プログラムの
構成情報とを入カし、前記プログラムを構成する各モジ
ュール間のインクフエイス情報の無矛盾性を検査する．
〔実施例〕 次に、本発明の実施例について図面を参照して詳細に説
明する． 第１図を参照すると、本発明のモジュール間インタフェ
イス検査装置は、プログラムの構成要素であるモジュー
ル単位をコンパイル単位とし且つ型を有する言語のコン
パイルを行うコンパイラｌに設けられたインタフェイス
出力部ｌ１と、このインタフェイス出力部ｌ１から出力
された各コンパイル単位のインタフェイス情報をコンパ
イル単位毎に保持する記憶装Ｗ６と、コンパイラｌにコ
ンパイルさせたプログラムがどういうモジュールから構
或されているかといったプログラム構或情報４を記憶し
ている記憶装置７と、記憶装置６に保持された各コンパ
イル単位毎のインクフエイス情報と記憶装置７に記憶さ
れたプログラム構戒情報４とを入力し、プログラムを構
戒する各モジュール間のインタフェイス情報の無矛盾性
を検査するインタフェイス検査部２１を有するインタフ
ェイス検査手段２と、このインタフェイス検査手段２で
誤りが検出された場合にその誤りにかかる情報を出力す
る端末あるいはファイル等の出力装置５とで構成されて
いる．なお、インタフェイス検査手段２は例えばプログ
ラムで実現することが可能である。

次に、このように構成された本実施例の動作を説明する
． コンハイラ１は、型を有する言語（ＡＤＡ等の言語）で
記述されたソースプログラムをモジュール単位に翻訳し
てオブジェクトプログラムを出力するが、その翻訳通程
にお゛いてインタフェイス出力部１１が、各コンパイル
単位のインタフェイス情報を記憶装置６に出力する．こ
こで、インタフェイス情報には、例えばコンパイル単位
の名前や、呼び出し名／呼び出され名等の入り口名や、
呼び出し方／呼ばれ方の実現方法であるドメイン間コー
ルやセグメント内コール等のコールの種別情報、引数の
情報である型の種類やビットサイズおよびバイトサイズ
等の領域サイズ等を含んでいる。

コンパイラｌによるコンパイルが終了すると、記憶装置
６には、コンパイルされたプログラムを構或する全モジ
ュールにかかるインタフェイス情報が各コンパイル単位
毎に管理されて記憶される．第１図のインタフェイス情
報３はそのようなインタフェイス情報を示している．な
お、以下の説明では、呼び出し側のインタフェイス情報
を呼び出し情報、呼び出され側のインタフェイス情報を
呼び出され情報と呼ぶことにする． コンパイラ１のコンパイル処理が終了し、記憶装置６に
インタフェイス情報３が記憶されると、引き続きインタ
フェイス検査手段２が起動され、内部のインタフェイス
検査部２ｌによってモジュール間のインタフェイス情報
の無矛盾性が検査される．そして、矛盾するインクフエ
イス情報が検出された場合には、それにかかる情報が出
力装置５より出力され、利用者に通知される。

第２図はインタフェイス検査部２１の処理例を示すフロ
ーチャートであり、以下、第１図および第２図を参照し
てインタフェイス検査部２１の動作を説明する． インタフェイス検査部２１は、先ず処理Ｓ１において第
１図のプログラム構或情報４より１つのコンパイル単位
であるモジュール名を得る．次に処理Ｓ２において、そ
の取得したモジュール名に関連するすべての呼び出し情
報を第１図のインタフェイス情報３から得る． 次に処理Ｓ３において処理Ｓ２で得た呼び出し情報から
１つの呼び出し情報を得る，次に処理Ｓ４において５３
で得た１つの呼び出し情報で呼ばれるモジュールの呼び
出され情報を第１図のインタフェイス情報３から得る．
次に処理Ｓ５において処埠Ｓ３で得た呼び出し情報と処
理Ｓ４で得た呼び出され情報との間の呼び出し関係に誤
りが存在するか否かを調べる．この呼び出し関係の誤り
の調査は、両者における引数の型やコールの実現方法等
を照合することにより行われる．また、型の定義が利用
者で可能な言語においては引数のセマンティックな照合
が可能なので、それも検査する．次に、処理Ｓ５におけ
る調査結果が誤り有りの場合（処理Ｓ６でＹＥＳの場合
）、処理Ｓ７においてその誤りを特定する情報を出力装
置５から出力した後に処理Ｓ８に進み、誤りが存在しな
い場合（処理Ｓ６でＮｏの場合）、処理Ｓ７を経由せず
に処理Ｓ８へ進む．次に処理Ｓ８において処理Ｓ２で得
たすべての呼び出し情報についての処理が終了したか否
か即ち当該モジュール内の呼び出し関係の検査が終了し
たか否かを判定し、終了していなければ処理Ｓ３に戻っ
て残りの呼び出し情報から未処理の１つの呼び出し情報
を取得して上述した処理を繰り返す． また、処理Ｓ８でモジュール内の呼び出し関係の検査が
終了していると判定した場合には、次の処理Ｓ９におい
てプログラム内の呼び出し関係の検査が終了したか否か
を判定し、終了していなければ処理Ｓｌに戻り、第ｌ図
のプログラム構成情報４から未処理のモジュール名を１
つ取り出して上述したと同様の動作を繰り返す．他方、
プログラム内の呼び出し関係の検査が終了していれば、
第２図の処理を終了する． 〔発明の効果〕 以上説明したように、本発明のモジュール間インタフェ
イス検査装置によれば、モジュール単位をコンパイル単
位とするコンパイラによるコンパイル後に、モジュール
間のインタフェイス情報の無矛盾性を自動的に検査する
ことができる．これによって、従来デバッグ時に行って
いたモジュール間インタフェイス情報の検査が省略でき
、プログラム作戒者の負担を大きく軽減することができ
る等の効果を得ることができる．特に、型の定義が利用
者で可能な言語においては、引数のセマンティックな照
合が可能であるため、その検査効果は大きい．なお、出
力されたインタフェイス情報はプログラムの部品検索を
行う上でも有効に活用することが可能である．

【図面の簡単な説明】

第１図は本発明の一実施例の横威図および、第２図はイ
ンタフェイス検査部の処理例を示すフローチャートであ
る． 図において、 １・・・型を有する言語のコンパイラ ２・・・インタフェイス検査手段 ３・・・インタフェイス情報 ４・・・プログラム構成情報 ５・・・出力装置 ６．７・・・記憶装置 １１・・・インタフェイス出力部 ２ｌ・・・インタフェイス検査部

Claims (1)

1. 【特許請求の範囲】 　プログラムの構成要素であるモジュール単位をコンパ
   イル単位とし且つ型を有する言語のコンパイルを行うコ
   ンパイラに設けられ、コンパイル単位毎にインタフェイ
   ス情報を出力するインタフェイス出力手段と、 該インタフェイス出力手段から出力された各コンパイル
   単位のインタフェイス情報をコンパイル単位毎に保持す
   る第１の記憶手段と、 前記プログラムの構成情報を保持する第２の記憶手段と
   、 前記第１の記憶手段に保持された各コンパイル単位毎の
   インタフェイス情報および前記第２の記憶手段に保持さ
   れた前記プログラムの構成情報を入力し、前記プログラ
   ムを構成する各モジュール間のインタフェイス情報の無
   矛盾性を検査するインタフェイス検査手段とで構成され
   たモジュール間インタフェイス検査装置。