JP2751539B2 - インタフェース検証処理方式 - Google Patents

Description

【発明の詳細な説明】 〔概要〕 プログラムのモジュール等が外部と情報を授受するイ
ンタフェースにおける、モジュール間等の整合性を検証
するための処理方式に関し、 モジュール等のテストのために、インタフェースの整
合性を効率よく検証できるインタフェース検証処理方式
を目的とし、 情報収集部と、検証部とを有し、該情報収集部は、所
与のモジュールから、該モジュールが所要のアクセスを
するすべての外部情報の識別情報を収集して第１の集合
とし、該モジュール以外の所与の１以上のモジュールか
らなるモジュール群が所要のアクセスをするすべての外
部情報の識別情報を収集して第２の集合として、該モジ
ュール及び該モジュール群の一方の参照アクセスと他方
の定義アクセスについての第１及び第２の集合を生成
し、該検証部は、集合演算機構を有し、該第１及び第２
の集合を該集合演算機構に入力して、所定の集合演算を
実行し、該演算結果の集合を示す所定の情報を出力する
ように構成する。

〔産業上の利用分野〕

本発明は、プログラムのモジュール等が外部と情報を
授受するインタフェースにおける、モジュール間等の整
合性を検証するための、インタフェース検証処理方式に
関する。

〔従来の技術と発明が解決しようとする課題〕

計算機のプログラム開発において、プログラムの規模
が大きくなると、公知のように、それを複数のモジュー
ルに分割し、モジュール間で授受する情報を、モジュー
ル間のインタフェースとして規定して、そのインタフェ
ース条件を満足するように各モジュールを個別に作成し
た後、それらのモジュールを結合して、所要のプログラ
ムを完成する手法が通常採られる。

そのような場合に、各モジュールごとのいわゆる単体
テストで、十分にエラーを除いてないと、モジュール結
合後のテストでは、エラーが検出されてもその原因の探
索は、結合が進む程次第に困難となり、又エラーの検出
自体も困難になることはよく知られている通りである。

そこで、単体テストを十分に行って、モジュールに誤
りの無いことをできるだけ確認する必要があるが、その
テスト段階では、対象のモジュールとインタフェースを
持つ他のモジュールも、一般に同じ開発段階にあるの
で、インタフェースについては、プログラムの解読によ
るチェックと、テスト用に設ける仮モジュールと結合し
た実行テスト等によることになる。

しかし、そのようなチェックや、仮モジュールの作成
は、被テストモジュールや、隣接モジュールについて想
定している処理に基づいて行われるので、テスト洩れが
生じ易く、又比較的大きな工数が必要になるという問題
がある。

又、プログラムの開発ではなく、文書の編集作業で文
書を挿入したり、削除したりする場合においても、文書
の文字サイズ、フォント、行下がりその他の文書制御情
報について、挿入／削除による他の文書部分への影響を
確かめる問題は、前記と同様のインタフェース整合性の
問題として扱うことができる。

本発明は、モジュール等のテストのために、インタフ
ェースの整合性を効率よく検証できるインタフェース検
証処理方式を目的とする。

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

第１図は、本発明の構成を示すブロック図である。

図はインタフェース検証処理方式の構成であって、第
１図（ａ）に示す第１の発明においては、情報収集部１
と、検証部２とを有し、情報収集部１は、所与のモジュ
ール３から、モジュール３が所要のアクセスをするすべ
ての外部情報の識別情報を収集して第１の集合であるＡ
集合４とし、該モジュール以外の所与の１以上のモジュ
ールからなるモジュール群５が所要のアクセスをするす
べての外部情報の識別情報を収集して第２の集合である
Ｂ集合６として、モジュール３及びモジュール群５の一
方の参照アクセスと他方の定義アクセスについてのＡ集
合４及びＢ集合６を生成し、検証部２は、集合演算機構
７を有し、Ａ集合４及びＢ集合６を集合演算機構７に入
力して、所定の集合演算を実行し、判定部８が該演算結
果の集合を示す所定の情報９を出力する。

又、第１図（ｂ）に示す第２の発明では、情報収集部
10は、第１の文書と、第１の文書の指定位置に挿入し、
又は指定位置から削除する第２の文書との所定の文書制
御情報11、12を与えられて、該指定位置13について定ま
る、該文書制御情報11から第１の集合であるＡ集合14を
生成し、第２の文書を該指定位置に挿入した後又は該指
定位置から削除する前の、第２の文書の末尾について定
まる該文書制御情報を求めて第２の集合であるＢ集合15
を生成して、前記のようにＡ集合14とＢ集合15を検証部
２の入力として集合演算による処理を実行し、情報16を
出力する。

〔作用〕

本発明の処理方式により、モジュール間或いはモジュ
ールとそのモジュールの属するシステムの他の全モジュ
ールのモジュール群との間について、一方が参照する外
部情報と他方が定義する外部情報との整合状態が、参照
／定義する外部情報の識別情報を自動収集してなる集合
の集合演算の結果として、例えば共通集合となる部分集
合、差集合として得られる参照要素からなる部分集合と
定義要素からなる部分集合に分けて示され、更に要すれ
ばそれらの各部分集合が空か否かによって整合性の判定
を示すようにすることもできる。従ってその出力によっ
てインタフェースの検証を行うことが容易になる。

又、第２の発明の処理方式により、文書の編集におけ
る、挿入／削除文書と元の文書との間における、文字サ
イズ、フォント、行下がり、章番号、その他の文書制御
情報の整合性が、同様に効率よく確実に検証できるよう
になる。

〔実施例〕

第１図（ａ）の情報収集部１は、与えられるプログラ
ムのテスト対象のモジュール３及びそれとインタフェー
スを持つモジュールを有するモジュール群５について、
それらの原始プログラムコードを走査することにより、
外部変数として宣言されているデータについて、そのデ
ータを参照しているか定義しているか識別し、例えばモ
ジュール３については参照しているデータのデータ名を
識別情報として採集し、データ名を要素とするＡ集合４
を作る。又、モジュール群５については、同様の処理に
より、それらのモジュールで定義している外部変数のデ
ータ名によるＢ集合６を作る。

検証部２は、集合演算機構７によって、Ａ集合４とＢ
集合６とについて、例えば 共通集合 Ｃ＝Ａ∩Ｂ 差集合 D₁＝Ａ−Ｂ 及び D₂＝Ｂ−Ａ を求める。

判定部８は、結果のＣ、D₁、D₂を出力情報９として出
力すると共に、例えば次のような判定をして判定結果を
出力に付ける。即ち、 ｉ）Ｃ≠φ、D₁＝D₂＝φ（但しφは空集合）であれば、
第２図（ａ）の説明図に示すように、Ａ、Ｂ集合が一致
する場合であって、参照と定義の間にずれが無いと判定
する。

ii）Ｃ≠φ、D₁≠φ、D₂＝φであれば、第２図（ｂ）に
示すように、ＡにＢが含まれる場合であって、定義され
ないデータを参照していると判定する。

iii）Ｃ≠φ、D₁＝φ、D₂≠φであれば、第２図（ｃ）
に示すように、ＡがＢが含まれる場合であって、定義し
ても参照しないデータがあると判定する。

iv）Ｃ≠φ、D₁≠φ、D₂≠φであれば、第２図（ｄ）に
示すように、ＡとＢが一部で重なる場合であって、定義
されないデータを参照したり、定義しても参照しないデ
ータがあると判定する。

ｖ）Ｃ＝φ、D₁≠φ、D₂≠φの場合には、両モジュール
間で共通情報を授受するようになっていないと判定す
る。

以上の後、要すれば参照、定義の関係を前記と逆にし
て、同様の検証処理を行えば、被テストモジュールにつ
いて、参照側と定義側のインタフェースの検証ができ
る。

以上の説明では、テストされるモジュール３に対し
て、一般に複数のモジュールからなるモジュール群５と
の関係をテストする例とした。これは例えばあるプログ
ラムシステムとその中の１モジュールとの間のインタフ
ェースをテストする場合に相当する。しかし、同様の処
理によるテストは、モジュール群５を１モジュールから
なるものとして、２モジュール間のインタフェースの検
証について全く同様に適用することができる。

又、前記の例で情報収集部１は原始プログラムコード
から情報を得ていたが、目的プログラムコードのモジュ
ールについて、プログラムを解析し、モジュールの内部
領域以外の記憶領域にアクセスする場合を検出し、アク
セス先の識別情報としてそのアドレスを収集するように
してもよい。

第１図（ｂ）の処理方式は、例えば文書作成システム
の一部として組み込まれ、第３図に示すように或る文書
20と文書22が連続してなる第１の文書の、文書20と文書
22の間に文書21を挿入する場合、又は文書20、21、22の
順に連続する１文書から、文書21を削除する場合に、文
書21の挿入又は削除の前後で、文書22に対する文字サイ
ズ、フォント、行下がり、章番号、その他の文書制御情
報が一貫性を保持するかをチェックする機能を構成する
ものである。

そこで、情報収集部10は、文書20で設定されている文
書制御情報11と、文書21内で設定されている文書制御情
報12とを受け取ると、文書制御情報11から文書21に入力
される文書制御情報の集合としてＡ集合14を生成する。
又文書21に入力される文書制御情報と文書21で設定され
ている文書制御情報12とから、文書21の終了点で保存さ
れ、文書22に入力されるべき文書制御情報17の集合とし
てＢ集合15を生成する。

このＡ集合14とＢ集合15について、検証部２が前記と
同様に集合演算機構11による集合演算を実行し、判定部
８がその演算結果と、演算結果による判定を出力情報16
として出力する。但しこの場合には、前記と同じ記号を
使用して、 Ｃ≠φ、D₁＝D₂＝φ であれば問題は無いが、その他の結果を得た場合には、
D₁及びD₂について影響の有無を調べる必要があることが
警告される。

〔発明の効果〕

以上の説明から明らかなように本発明によれば、プロ
グラムのモジュール等が外部と情報を授受するインタフ
ェースにおける、モジュール間等の整合性を効率よく検
証できるという著しい工業的効果がある。

【図面の簡単な説明】

第１図は本発明の構成を示すブロック図、 第２図は本発明の集合演算結果の説明図、 第３図は文書編集時の検証の説明図である。 図において、 １、10は情報収集部、２は検証部、３はモジュール、
４、14はＡ集合、５はモジュール群、６、15はＢ集合、
７は集合演算機構、８は判定部、９、16は出力情報、1
1、12は文書制御情報、13は指定位置、20、21、22は文
書を示す。

Claims (2)

(57)【特許請求の範囲】
1. 【請求項１】情報収集部（１）と、検証部（２）とを有
   し、 該情報収集部（１）は、所与のモジュール（３）から、
   該モジュールが所要のアクセスをするすべての外部情報
   の識別情報を収集して第１の集合（４）とし、該モジュ
   ール以外の所与の１以上のモジュールからなるモジュー
   ル群（５）が所要のアクセスをするすべての外部情報の
   識別情報を収集して第２の集合（６）として、 該モジュール（３）及び該モジュール群（５）の一方の
   参照アクセスと他方の定義アクセスについての第１及び
   第２の集合（４、６）を生成し、 該検証部（２）は、集合演算機構（７）を有し、該第１
   及び第２の集合（４、６）を該集合演算機構（７）に入
   力して、所定の集合演算を実行し、 該演算結果の集合を示す所定の情報を出力する（８）よ
   うに構成されていることを特徴とするインタフェース検
   証処理方式。
2. 【請求項２】前記情報収集部（10）は、第１の文書と、
   第１の文書の指定位置に挿入し、又は指定位置から削除
   する第２の文書との所定の文書制御情報（11、12）を与
   えられて、該指定位置について定まる、該文書制御情報
   （11）から第１の集合（14）を生成し、 第２の文書を該指定位置に挿入した後又は該指定位置か
   ら削除する前の、第２の文書の末尾について定まる該文
   書制御情報を求めて第２の集合（15）を生成する、請求
   項１記載のインタフェース検証処理方式。