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

Abstract

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

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は，プログラムのモジュー
ル等が外部と情報を授受するインタフェースにおける，
モジュール間等の整合性を検証するために用いられるイ
ンタフェース検証処理方式に関する。また，未インプリ
メントの仮想モジュール間，モジュール内部の宣言と内
部処理間，仕様とプログラム間等の整合性の検証を実現
する方式に関する。

【０００２】近年のシステムは多様化，巨大化しており
，一部の決められた処理を担当するモジュールが複数個
集まってシステムを構成するようになっている。そして
，これらのモジュールがお互いに影響を及ぼし合って処
理が行われる。

【０００３】これらの個々に作成されたモジュールを組
み合わせ，結合して一つのシステムを作成していく場合
，例えば以下の検証を通して，一つのシステムとして与
えられた仕様通り（要求通り）の正しい動作結果が得ら
れていることを確認する必要がある。 ・好ましいモジュール構成であるかの検証。 ・各モジュール内が仕様（設計）通りであるかの検証。 ・各モジュールが外部に対して余計な影響を及ぼさない
かどうかの検証。 ・お互いの各モジュール間でのインタフェースが正しい
ものかどうかの検証。

【０００４】

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

【０００５】そのような場合に，各モジュールごとのい
わゆる単体テストで，充分にエラーを除いておかないと
，モジュール結合後のテストでは，エラーが検出されて
もその原因の探索は，結合が進めば進むほど困難となり
，また，エラーの検出自体も困難になることは良く知ら
れているとおりである。

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

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

【０００８】また，対象のモジュールとインタフェース
を持つ他のモジュールについて，実現済みの機能を基に
，段階的に結合テストを行うことも可能ではある。この
場合においても，実現済みの機能，テスト項目に必要な
機能等の情報について，一時的な結合テストに必要な機
能が実現されていることを確かめる問題は，前記と同様
のインタフェース整合性の問題として扱うことができる
。

【０００９】ところで，前に述べたような，複数のモジ
ュールに分割する場合において，分割する目安というも
のは，今のところ存在せず，設計者の経験や，解決する
問題や要求の分析によって行われている。このシステム
の設計時に行なわれるモジュール分割に対して，実際の
要求通りに動作するか，好ましいシステム構成（モジュ
ール分割）であるかなどの検証も，プログラムの開発と
同様のインタフェースの整合性の問題として扱うことが
できる。

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

【００１１】

【発明が解決しようとする課題】本発明は，システムを
構成するモジュールを結合した場合の処理結果の検証を
，・モジュール単体で，他と結合せずに，外部への影響
を調べたり，・仕様にはない，余計な外部への影響を検
出したり，・級数的に増加してしまいがちなモジュール
間の検証の組み合わせを，少ないコストで抑えたり，す
ることを目的とする。

【００１２】さらに，・与えられた仕様通りにモジュー
ルを実現したか，・仕様に記述していること以外の影響
を他に対して行っていないか，等の検証や，設計時にお
けるモジュール間インタフェースの検証，文書作成時に
おける挿入，削除による他文書への影響の検証，の実現
を目的とする。

【００１３】すなわち，本発明は，モジュール等のテス
トおよび設計のために，インタフェースの整合性を効率
良く検証できるインタフェース検証処理方式を提供する
ことを目的とする。

【００１４】

【課題を解決するための手段】図１ないし図５は，本発
明の構成を示すブロック図である。図１は，請求項１記
載の発明に対応する構成を示すブロック図であり，図中
，１０はＣＰＵやメモリなどからなる処理装置，１１は
プログラムや文書等の管理単位であるモジュールまたは
それらが集まったモジュール群，１２は情報収集部，１
３は情報収集部１２が収集した情報の集合，１４は検証
部，１５は集合演算機構，１６は判定部，１７は検証結
果の出力情報を表す。

【００１５】この発明では，情報収集部１２と検証部１
４とを有する。情報収集部１２は，与えられた複数のモ
ジュールまたはモジュール群１１から，それぞれ，その
内部に記述されている所定のオペレーションの対象とな
る情報の識別情報を収集し，それを要素とする集合１３
をそれぞれ入力した複数のモジュール（またはモジュー
ル群）ごとに作成する。

【００１６】所定のオペレーションとは，検証しようと
するものがプログラムである場合，例えば定義，宣言，
参照，設定，割り当て，呼び出し等といった命令の種類
などであり，オペレーションの対象となる情報とは，変
数，配列・構造体・データベース等のデータ，機能，関
数等である。

【００１７】また，検証部１４は，集合演算機構１５と
判定部１６とを持つ。集合演算機構１５にて，二つ以上
の集合１３を入力し，所定の集合演算を行い，対応する
オペレーション間の関係を示すその演算結果を判定部１
６にて取り出して診断し，所定の結果の出力情報１７を
出力する。

【００１８】一般に，二つの集合Ａ，Ｂに関しては，図
６の（ａ）　〜（ｄ）　に示すような関係が成り立つ。 ここで，図６（ａ）　における（ｘ）　の部分はＡ−Ｂ
図６（ａ）　における（ｙ）　部分はＡ∩Ｂ図６（ａ）
　における（ｚ）　の部分はＢ−Ａであり，Ａ＝｛ａ，
ｂ，ｃ，ｄ｝，Ｂ＝｛ｂ，ｄ，ｅ，ｆ｝であるとした場
合には， Ａ∪Ｂ＝｛ａ，ｂ，ｃ，ｄ，ｅ，ｆ｝，Ａ∩Ｂ＝｛ｂ，
ｄ｝， Ａ−Ｂ＝｛ａ，ｃ｝， となる。

【００１９】図６の（ｂ）　〜（ｄ）　は，図６（ａ）
　の特殊な場合の状態を示している。ここで，図６の（
ｂ）　はＡ＝Ｂの状態を示し，図６の（ｃ）　はＢ⊂Ａ
を，図６の（ｄ）　はＡ⊂Ｂを，示している。

【００２０】ここでは，二つの集合に関しての集合演算
を示しているが，特に，演算対象とする集合は二つであ
る必要はなく，例えば図６の（ｅ）　に示すように，複
数の集合に対して集合演算を行っても同様の関係が得ら
れる。

【００２１】図２は，請求項２記載の発明に対応する構
成を示すブロック図であり，図中の符号は，図１に示す
ものに対応する。この発明では，情報収集部１２は，与
えられた一つのモジュールまたはモジュール群１１から
，その内部に記述されている，所定のオペレーション（
定義，宣言，参照，設定，割り当て，呼び出し等）ごと
に，その対象となる情報（変数，データ〔配列，構造体
，データベース等〕，機能，関数等）の識別情報を収集
し，それを要素とする集合１３をそれぞれ作成する。

【００２２】また，検証部１４は，集合演算機構１５と
判定部１６とを持つ。集合演算機構１５にて，二つ以上
の集合１３を入力し，所定の集合演算を行い，所与のモ
ジュール（モジュール群）内で，対応するオペレーショ
ン間の関係を示すその演算結果を判定部１６により取り
出して診断し，所定の結果の出力情報１７を出力する。

【００２３】図３は，請求項３記載の発明に対応する構
成を示すブロック図であり，図中の符号は，図１または
図２に示すものに対応する。また，３０は情報収集部１
２が行う情報収集の基準となる収集基準情報，３１は集
合演算機構１５が行う集合演算の種類を示す演算指示情
報，３２は判定部１６が行う判定の基準を示す判定基準
情報を表す。

【００２４】図３に示す発明では，情報収集部１２が情
報収集の基準となる収集基準情報３０を入力し，一つま
たは複数のモジュール（またはモジュール群１１）から
，その収集基準情報３０に示されたオペレーションの対
象となる情報の識別情報を収集し，これを要素とする集
合１３を作成する。

【００２５】また，検証部１４は，集合演算機構１５と
判定部１６とを持つ。集合演算機構１５は，集合演算基
準となる演算指示情報３１と二つ以上の集合１３とを入
力し，集合演算基準に則った集合演算を行い，判定部１
６は，判定基準情報３２と前記集合演算の結果とを入力
し，判定基準を基に，モジュールまたはモジュール群１
１間に跨がった，あるいは，その内部での，対応するオ
ペレーション間の関係を示すその演算結果を取り出して
診断し，所定の結果の出力情報１７を出力する。

【００２６】図４は，請求項４記載の発明に対応する構
成を示すブロック図であり，図中の符号は，図１または
図２に示すものに対応する。また，４０は情報収集部１
２が行う情報収集の範囲を指定する位置指定を表す。

【００２７】図４に示す発明では，情報収集部１２が情
報収集範囲の位置指定４０を入力し，一つまたは複数の
モジュール（またはモジュール群１１）から，その情報
収集範囲に示された範囲における所望の識別情報を収集
し，それを要素とする集合１３を複数作成する。

【００２８】図５は，請求項５記載の発明に対応する構
成を示すブロック図であり，図中の符号は，図１または
図２に示すものに対応する。また，５０はモジュール群
１１を実行する，またはその実行のシミュレーションを
行う実行部，５１は実行部５０の出力である実行ログと
収集する識別情報とを対応させた情報を記憶する対応表
を表す。

【００２９】図５に示す発明では，新たに，実行部５０
を有する。実行部５０は，入力モジュール（またはモジ
ュール群１１）内のオペレーションの実行（シミュレー
ト実行を含む）を行い，実行単位時間ごとに実行された
オペレーションの実行ログを収集し，情報収集部１２へ
渡す。

【００３０】情報収集部１２は，実行ログと収集する識
別情報とを対応させ，実行ログを収集する識別情報に付
加し，それを要素とする集合１３を作成する。

【００３１】集合演算機構１５で所定の集合演算を行い
，得られた演算結果に対して，判定部１６にて，その各
要素に対して実行ログ（実行単位）を基準とした判定を
行い，実行の移り変わりを考慮したオペレーション間の
関係を示す結果の出力情報１７を出力する。

【００３２】

【作用】本発明によれば，オペレーションの対象となる
情報の識別情報を収集し，それらを要素とする集合を作
成し，それらの集合間で集合演算を行うことにより，モ
ジュール間またはモジュール内のインタフェースの整合
性を，一律に汎用的に検証できるようになる。

【００３３】

【実施例】図７ないし図１１は，本発明の実施例のシス
テム構成図である。また，図１２は本発明の実施例によ
る文書編集時の検証の説明図，図１３は情報収集部の処
理フロー，図１４は集合演算の処理フローである。

【００３４】まず，請求項１記載の発明についての実施
例を図７に従って説明する。・実現例〔情報収集部の実
現〕図７に示す情報収集部１２の処理フローは，図１３
に示すとおりである。なお，他の実施例についても同様
である。

【００３５】図１３に示すように，情報収集部１２は，
以下の処理を与えられたすべてのモジュール７０（また
はモジュール群）に対して行い，それぞれ集合１３を作
成していく。与えられた一つ以上のモジュール７０（ま
たは，モジュール群）に対して，そこに記述されている
オペレーションを読み込む。この読み込んだオペレーシ
ョンに対して，一つずつ，このモジュール（またはモジ
ュール群）における所定のオペレーションかどうかを判
定する。所定のオペレーションならば，これの対象とし
ている情報の識別情報を取り出し，同じ識別情報が既に
格納されていないならば，集合１３にその要素として格
納する。もし，既に同じ識別情報が格納されているなら
ば，その識別情報は格納しない。上記の処理を，与えら
れた一つ以上のモジュール７０（またはモジュール群）
のすべてのオペレーションに対して行う。

【００３６】〔集合の内部表現〕集合１３に格納されて
いる要素には同じものは存在せず，その要素間には順序
といった概念がない。そこで，重複格納を許さない順序
のないプール構造体を集合として利用する。このプール
構造体に対しては，−そこにｘという要素が格納されて
いるか否かの判定 −そこにｘという要素を格納 −格納されている要素の取り出し −格納されている要素の削除 といった処理が可能であるとする。

【００３７】〔集合演算の実現〕集合演算には，和集合
（Ａ∪Ｂ），積集合（Ａ∩Ｂ），差集合（Ａ−Ｂ），を
求める演算があり，集合演算機構１５ではこれらを実現
する。また，これらの演算を複数の（三つ以上の）入力
に対しても，また，これらの演算を組み合わせた複合演
算も行なえるものとする。これらはソフトウェアによっ
て実現しても，また既存の集合演算装置を用いて実現し
てもよい。

【００３８】『和集合（Ａ∪Ｂ）』：和集合を求めるア
ルゴリズムを図１４の（ａ）　に示す。まず集合Ａ（ｏ
ｒＢ）のすべての要素を，結果として生成される集合（
を実現するプール構造体）に格納し，もう一方の集合Ｂ
（ｏｒＡ）の各要素に対して，以下の処理を要素がなく
なるまで繰り返し行う。取り出した要素が，結果の集合
にすでに同一のものが格納されていなければ，その要素
を結果の集合に格納し，すでに格納済みならば格納しな
い。

【００３９】『積集合（Ａ∩Ｂ）』：積集合を求めるア
ルゴリズムを図１４の（ｂ）　に示す。集合Ａ（ｏｒＢ
）の各要素に対して，以下の処理をそのすべての要素に
対して行う。取り出した要素と同じものが，もう一方の
集合Ｂ（ｏｒＡ）内に格納されているなら，その要素を
結果として生成される集合（を実現するプール構造体）
に格納し，同一のものがなければ，格納しない。

【００４０】『差集合（Ａ−Ｂ）』：差集合を求めるア
ルゴリズムを図１４の（ｃ）　に示す。まず集合Ａのす
べての要素を，結果として生成される集合（を実現する
プール構造体）に格納し，集合Ｂの各要素に対して，以
下の処理をそのすべての要素に対して行う。取り出した
要素と同一のものが，結果の集合内にすでに格納されて
いるなら，その要素を結果の集合から削除し，同一のも
のがなければ何もしない。

【００４１】〔判定部の実現〕上記の集合演算機構１５
で得られた集合に対して， （１）　集合が，空集合（要素がない集合）であるか否
かの判定を行ない， （２）　もし要素があるなら，その集合のすべての要素
を取り出し， （３）　行なった集合演算に対応する意味づけを付加し
て，（４）　判定，行なった集合演算，要素，等を出力
する。

【００４２】・モジュール間インタフェース検証システ
ム前記のような内部構成で実現したモジュール間インタ
フェース検証システムについて示す。図７において，情
報収集部１２にて以下のような情報を収集する。−ある
モジュール（Ｍｏｄｕｌｅ　Ａ）の内部で設定される変
数名を収集し，これを要素とする集合Ａを作成する。−
別のあるモジュール（Ｍｏｄｕｌｅ　Ｂ）の内部で参照
される変数名を収集し，これを要素とする集合Ｂを作成
する。

【００４３】ここで，たとえばモジュール内で以下のよ
うな記述があった場合， ａ＝ｂ 変数ａは値設定される変数であり，変数ｂは値参照され
る変数であるとする。また，以下のような比較演算があ
った場合， ａ＝＝ｂ さらに，以下のような関数呼出しがあった場合，ｆｕｎ
ｃ（ａ，ｂ，ｃ）　 各変数ａ，ｂ，ｃは値参照される変数であるとする。

【００４４】次に，検証部１４の集合演算機構１５にて
以下のような集合演算を行う。 Ａ∩Ｂ この演算結果（二つの集合の積集合）の要素がこのモジ
ュール（ＭｏｄｕｌｅＡ）から別のモジュール（Ｍｏｄ
ｕｌｅ　Ｂ）にデータを流す変数である，とみなすこと
ができる。そこで，判定部１６では，この集合演算の結
果を出力する。

【００４５】例えば，以下のようなＭｏｄｕｌｅ　Ａ，
Ｍｏｄｕｌｅ　Ｂがあったとする。 Ｍｏｄｕｌｅ　Ａ（　）｛ Ｐ＝ｐｃｔ　＋　ＳＴＯＲＡＧＥ　（＊ｐｃｔ）；ＣＰ
＝ｐｃｔ　＋　１；　 ＤＥＴ　＝　１；　 Ｌ＋＋； ｝

【００４６】 Ｍｏｄｕｌｅ　Ｂ（　）｛ ｐｏｉｎｔ　＝　ＳＴ； ｐｏｉｎｔ−＞ｖａｒ＿ｓｉｚｅ＝ＳＴＯＲＡＧＥ（＊
ｐｃｔ）；ｐｏｉｎｔ−＞ｒｅｔ＿ｅｎｖ　＝Ｅ；　ｐ
ｕｔｖａｌｕｅ（ｐｏｉｎｔ−＞　ｒｅｔ＿ｃｏｄｅ，
ＤＥＴ，ＣＰ）；　ｐｏｉｎｔ−＞ｂ＿ｆｒａｍｅ　＝
Ｂ；　ｐｏｉｎｔ−＞ｌｅｂｅｌ＝Ｌ；　 Ｅ＝ｐｏｉｎｔ　；　 Ｙ＝ＳＴ＋Ｅ＿ＦＲＡＭＥ　＿ＳＩＺＥ；　ＳＴ＝Ｙ＋
ＳＴＯＲＡＧＥ（＊ｐｃｔ）；Ｐ＋＋；　 ｝

【００４７】すると，情報収集部１２によって，Ａ＝｛
Ｐ，ＣＰ，ＤＥＴ，Ｌ｝ Ｂ＝｛　ＳＴ，　ｐｃｔ，　Ｅ，　ｐｏｉｎｔ，　ＤＥ
Ｔ，　ＣＰ，　Ｂ，　Ｌ，　Ｅ＿　ＦＲＡＭＥ＿ＳＩＺ
Ｅ，　Ｙ　｝が得られ，集合演算機構１５によって，Ａ
∩Ｂ＝｛ＣＰ，Ｌ｝ が得られる。判定部１６では，この結果を出力し，本シ
ステムの使用者に対して注意を促す。

【００４８】・その他の例（１）ここで，あるモジュー
ル（Ｍｏｄｕｌｅ　Ａ）として複数のモジュールからな
るモジュール群を想定してもよく，また，別のあるモジ
ュール（Ｍｏｄｕｌｅ　Ｂ）として先のモジュール（ま
たはモジュール群）を含まない複数のモジュールからな
るモジュール群を想定してもよい。

【００４９】次に，請求項２記載の発明を採用した，モ
ジュール内インタフェースの検証システムの例について
，図８に従って説明する。

【００５０】・モジュール内インタフェース検証システ
ム図８において，情報収集部１２は，以下のような情報
を収集する。 −このモジュール７０の内部で定義（割り当て）された
変数名を収集し，それを要素とする集合Ａを作成する。 −このモジュール７０の内部で値が参照される変数名を
収集し，それを要素とする集合Ｂを作成する。 −このモジュール７０の内部で値が設定される変数名を
収集し，それを要素とする集合Ｃを作成する。

【００５１】このようにして，情報収集部１２で収集さ
れたこれらの変数名を要素とする集合に対して，検証部
１４に図６の（ｅ）　に示すような集合演算を行う。

【００５２】その結果から以下のように判定できる。 （１）　（Ｂ∪Ｃ）−Ａの要素：図１５（ａ）　斜線部
分。モジュールの外で定義（割当て）されているものを
利用（値参照，値設定）している変数。 （２）　Ａ−（Ｂ∪Ｃ）の要素：図１５（ｂ）　の斜線
部分。モジュールの外で利用（値参照，値設定）されて
いる変数。あるいは，他では未使用である変数。 （３）　Ｂ−Ｃの要素：図１５（ｃ）　の斜線部分。モ
ジュール外で値設定している（それを内部で値参照して
いる）変数。 （４）　Ｃ−Ｂの要素：図１５（ｄ）　の斜線部分。（
この内部での値設定を）モジュール外で参照している変
数。判定部１６では，このような判定結果，並びに，そ
の要素を出力する。

【００５３】以下に，処理の例を示す。 ｍｏｄｕｌｅ　Ｍｏｄｕｌｅ　Ａ｛ ＦＩＬＥ　　＊ｆｄ； ｃｈａｒ　　ｍｙ＿ｂｕｆｆｅｒ［ＢＵＦＳＩＺ］；　
ｃｈａｒ　　＊ｆｉｌｅ　＿ｎａｍｅ＝”ｔｅｓｔ．ｄ
ａｔ”；　ｆｄ＝ｆｏｐｅｎ（ｆｉｌｅ＿ｎａｍｅ，”
ｒ”）；… ｐｒｉｎｔｆ（”％ｓ”，　ｍｙ＿ｂｕｆｆｅｒ）；… ｝

【００５４】この時，モジュールＭｏｄｕｌｅ　Ａに対
して情報収集すると，以下のような集合が作成される。 内部定義Ａ＝｛ｆｄ，　ｍｙ＿ｂｕｆｆｅｒ，　ｆｉｌ
ｅ＿ｎａｍｅ｝値参照Ｂ＝｛ＢＵＦＳＩＺ，　ｆｉｌｅ
＿ｎａｍｅ，　ｍｙ＿ｂｕｆｆｅｒ｝値設定Ｃ＝｛ｆｉ
ｌｅ＿ｎａｍｅ，　ｆｄ｝

【００５５】この時， （Ｂ∪Ｃ）−Ａ＝｛ＢＵＦＳＩＺ｝ Ａ−（Ｂ∪Ｃ）＝φ Ｂ−Ｃ＝｛　ＢＵＦＳＩＺ　，　ｍｙ＿　ｂｕｆｆｅｒ
　｝Ｃ−Ｂ＝｛ｆｄ｝ が得られる。また，結果として図１６のような出力をお
こなう。

【００５６】以下に，請求項１および請求項２で記載し
た発明を利用した，モジュール内およびモジュール間イ
ンタフェースの検証システムについて説明する。これは
，陽にモジュール外への入出力を明示するようなモジュ
ールにおける，その指示の正当性を検証する検証システ
ムである。

【００５７】図９において，情報収集部１２は，以下の
ような情報を収集する。・このモジュール７０の内部で
定義（割当て）された変数名を収集し，それを要素とす
る集合Ａを作成する。・このモジュール７０の内部で値
設定される変数名を収集し，それを要素とする集合Ｃを
作成する。・このモジュール７０の内部で明示されたモ
ジュール外部への出力の変数名を収集し，それを要素と
する集合Ｄを作成する。・このモジュール７０以外の全
てのモジュールで参照される変数名を収集し，それを要
素とする集合Ｆを作成する。・このモジュール７０以外
の全てのモジュールで設定される変数名を収集し，それ
を要素とする集合Ｇを作成する。

【００５８】検証部１４においては，まず集合演算機構
１５にて，集合演算 Ｈ１　＝（Ａ∪Ｃ）∩（Ｆ∪Ｇ）−Ｄ Ｈ２　＝Ｄ−（Ａ∪Ｃ）∩（Ｆ∪Ｇ） を行う。判定部１６では，この演算結果Ｈ１　，Ｈ２　
に対して， Ｈ１　＝Ｈ２　＝φ であるかどうかをチェックし，そうであれば，陽に明示
されているモジュール外への出力表示とモジュール内の
処理との整合性がとれているものであるとの情報を出力
する。そうでなければ，整合性がとれていない旨のメッ
セージを出力し，必要に応じて，前記の集合演算結果を
も出力する。

【００５９】また，同様にして，情報収集部１２にて以
下のような処理を行う。 ・このモジュール７０の内部で定義（割り当て）された
変数名を収集し，それを要素とする集合Ａを作成する。 ・このモジュール７０の内部で値参照される変数名を収
集し，それを要素とする集合Ｂを作成する。 ・このモジュール７０の内部で値設定される変数名を収
集し，それを要素とする集合Ｃを作成する。 ・このモジュール７０の内部で明示されたモジュール外
からの入力の変数名を収集し，それを要素とする集合Ｅ
を作成する。 ・このモジュール７０以外の全てのモジュールで設定さ
れる変数名を収集し，それを要素とする集合Ｇを作成す
る。

【００６０】検証部１４においては，まず集合演算機構
１５にて，集合演算 Ｈ１　＝（（（　Ｂ∪Ｃ）∩Ｇ）−Ａ）−ＥＨ２　＝Ｅ
−（（（　Ｂ∪Ｃ）∩Ｇ）−Ａ）を行う。判定部１６で
は，この演算結果Ｈ１　，Ｈ２　に対して， Ｈ１　＝Ｈ２　＝φ であるかどうかをチェックし，そうであれば，陽に明示
されているモジュール内への入力表示とモジュール内の
処理との整合性がとれているものであるとの情報を出力
する。そうでなければ，整合性がとれていない旨のメッ
セージを出力し，必要に応じて，前記の集合演算結果を
も出力する。

【００６１】これで，陽に明示されているモジュール外
との入出力の記述が正しいものであるかどうかが検証さ
れる。

【００６２】次に，請求項３で記載した発明の実現例に
ついて説明する。図１０に本実現例のシステム構成図を
示す。

【００６３】基準作成部１０１：ユーザ入力１００から
，情報収集基準の収集基準情報３０，集合演算基準の演
算指示情報３１，判定基準の判定基準情報３２を作成す
るものである。基準作成のアルゴリズムを以下に示す。 （１）　ユーザ入力１００を読み込み，（２）　その入
力を解析し， （３）　そこから，必要な情報収集の基準，集合演算の
基準，判定の基準の情報を取り出し， （４）　各基準をそれぞれの形式に従って作成し，（５
）　情報収集基準，集合演算基準，判定基準として，そ
れぞれ，情報収集部１２，集合演算機構１５，判定部１
６へ渡す。また，この基準作成部１０１にて，一括して
ユーザ入力１００を得るのではなく，ユーザに逐次必要
な基準を問い合わせて，それから情報収集基準，集合演
算基準，判定基準を，それぞれ作成してもよい。

【００６４】収集基準情報３０：収集する識別情報を指
示するものである。ここには，生成する集合に対して，
それぞれ収集対象のモジュール（またはモジュール群）
と，オペレーションとその対象となる情報とが指定され
る。

【００６５】演算指示情報３１：実施する集合演算を指
定するものである。指定可能な集合演算として，Ａ∪Ｂ
，Ａ∩Ｂ，Ａ−Ｂといった基本演算と，これらを複数結
合した複合演算があり，これらが指定可能であるとする
。

【００６６】判定基準情報３２：集合演算結果を判定す
る判断材料である。指定した集合演算結果に対する判定
が指定される。また必要に応じて，その意味付けが指定
されてもよい。

【００６７】ユーザ入力１００の例：ユーザ入力１００
の例を以下に示す。これは以下のことを意味する。集合
Ａは，モジュールＭｏｄｕｌｅ　Ａ，Ｍｏｄｕｌｅ　Ｂ
内に出現するオペレーションｓｅｔ／２　に対して，そ
の第０引数に出現するデータを要素とする。

【００６８】集合Ｂは，モジュールＭｏｄｕｌｅ　Ｃ内
に出現するオペレーションｇｅｔ／２　に対して，その
第０引数に出現するデータを要素とする。（例において
，オペレーション引数中の“−”は，その引数値は無視
することを示すものである。）

【００６９】この二つの集合Ａ，Ｂの和集合が空集合で
ある必要がある。 　　　　　　　　　　ＳＥＴ：Ａ＝｛ｘ｜ｓｅｔ（ｘ，
−）∈（Ｍｏｄｕｌｅ　Ａ∪Ｍｏｄｕｌｅ　Ｂ）｝　　
　　　　　　　　ＳＥＴ：Ｂ＝｛ｙ｜ｇｅｔ（ｙ，−）
∈（Ｍｏｄｕｌｅ　Ｃ｝　　　　　　　　　　ＲＥＳＵ
ＬＴ：Ａ∩Ｂ＝＝φ

【００７０】このようなユーザ入力
を得た場合，各情報収集基準，集合演算基準，判定基準
は，それぞれ，以下のような形式となる。 情報収集基準： ＢＥＧＩＮ　　Ａ ＲＥＡＤ：Ｍｏｄｕｌｅ　Ａ，Ｍｏｄｕｌｅ　ＢＯＰＥ
ＲＡＴＩＯＮ：ｓｅｔ／３　 ＤＡＴＡ：ＡＲＩＴＹ（０） ＥＮＤ ＢＥＧＩＮ　　Ｂ ＲＥＡＤ：Ｍｏｄｕｌｅ　Ｃ ＯＰＥＲＡＴＩＯＮ：ｇｅｔ／３　 ＤＡＴＡ：ＡＲＩＴＹ（０） ＥＮＤ 集合演算基準： ＲＥＳＵＬＴ＝Ａ∩Ｂ 判定基準： ＲＥＳＵＬＴ＝＝φ

【００７１】情報収集部１２：情報判定基準を基に，作
成する集合に対するモジュールを読み込む。この読み込
んだオペレーションに対して，一つずつ，情報判定基準
で指定されたオペレーションかどうかを判定する。指定
されたオペレーションならば，情報判定基準で指定され
た，対象となる情報の識別情報を取り出し，同じ識別情
報が既に格納されていないならば，作成する集合にその
要素として格納する。もし，既に同じ識別情報が格納さ
れているならば，その識別情報は格納しない。

【００７２】上記の処理を，情報判定基準で指定された
モジュール（またはモジュール群）のすべてのオペレー
ションに対して行う。これを，情報収集基準で指定され
た，作成すべき全ての集合に対して行い，それぞれ集合
を作成していく。

【００７３】集合演算機構１５：集合演算機構１５では
，集合演算基準に示された集合演算を行う。判定部１６
： 判定部１６では，判定基準に示す通りの結果であるかど
うか判定し，その趣旨を出力する。また必要に応じて，
集合演算結果，ユーザが指定したコメント，等を出力し
てもよい。

【００７４】・前記実施例を利用した仕様書レベルでの
検証システムの実行例を，以下に示す。 入力モジュールの例： Ｍｏｄｕｌｅ　Ａ： （１）　Ａ（ｉ）　の値をＹ（ｎ）　に設定する。 （２）　ｐｃｔ　を進める。

【００７５】Ｍｏｄｕｌｅ　Ｂ： （１）　ＵｎｂｏｕｎｄをＧに設定する。 （２）　Ｇへのｒｅｆｅｒｅｎｃｅ　をＸ（ｎ）　に設
定する。 （３）　Ｇへのｒｅｆｅｒｅｎｃｅ　をＡ（ｎ）　に設
定する。 （４）　ｐｃｔ　を進める。 （５）　Ｇを進める。

【００７６】Ｍｏｄｕｌｅ　Ｃ： （１）　Ｙ（ｎ）　の値を取り出す。 （２）　Ｙ（ｎ）　が変数であればＹ（ｎ）　へのｒｅ
ｆｅｒｅｎｃｅ　をＡ（ｉ）　に設定する。 （３）　そうでなければ，Ｙ（ｎ）　の値をＡ（ｉ）　
に設定する。 （４）　ｐｃｔ　を進める。

【００７７】ユーザ入力の例： 　　　　　　　　　　ＳＥＴ：Ａ＝｛ｘ｜ｘに設定する
∈（Ｍｏｄｕｌｅ　Ａ∪Ｍｏｄｕｌｅ　Ｂ）｝　　　　
　　　　　　ＳＥＴ：Ｂ＝｛ｙ｜ｙの値を∈Ｍｏｄｕｌ
ｅ　Ｃ｝　　　　　　　　　　ＲＥＳＵＬＴ：ＰＲＩＮ
ＴＯＵＴ：＝Ａ∩Ｂ

【００７８】情報収集基準： ＢＥＧＩＮ　　Ａ ＲＥＡＤ：Ｍｏｄｕｌｅ　Ａ，Ｍｏｄｕｌｅ　ＢＯＰＥ
ＲＡＴＩＯＮ：設定する ＤＡＴＡ：ＰＲＥ（に） ＥＮＤ ＢＥＧＩＮ　　Ｂ ＲＥＡＤ：Ｍｏｄｕｌｅ　Ｃ ＯＰＥＲＡＴＩＯＮ：値を ＤＡＴＡ：ＰＲＥ（の） ＥＮＤ

【００７９】集合演算基準： ＲＥＳＵＬＴ＝Ａ∩Ｂ 判定基準： ＰＲＩＮＴＯＵＴ　　ＲＥＳＵＬＴ 集合： Ａ＝｛Ｙ（ｎ），Ｇ，Ｘ（ｎ），Ａ（ｎ），Ａ（ｉ）　
｝Ｂ＝｛Ａ（ｉ），Ｙ（ｎ）　｝ 集合演算結果並びに出力結果： Ａ∩Ｂ＝｛Ｙ（ｎ），Ａ（ｉ）　｝

【００８０】・その他の例（１）前記実施例において，
情報収集基準，集合演算基準，判定基準それぞれが何も
指定されなくてもよい。また，各基準情報が接続してい
なくてもよい。この場合，ユーザ入力中にデフォルト値
を指定する旨が記述されているか，または各基準を作成
するのに必要な情報がない場合，基準作成部１０１にて
，必要に応じてデフォルト値で処理を行う旨をユーザに
示し，基準作成部１０１が保持するデフォルト値を各基
準の値として対応する処理部へそれぞれの基準を渡す。 または，各基準内にデフォルト値である趣旨を記述する
。

【００８１】デフォルト値で処理することを示す各基準
の例を以下に示す。情報収集基準： ＢＥＧＩＮ　　Ａ ＤＥＦＡＵＬＴ ＥＮＤ ＢＥＧＩＮ　　Ｂ ＤＥＦＡＵＬＴ ＥＮＤ 集合演算基準： ＲＥＳＵＬＴ＝ＤＥＦＡＵＬＴ 判定基準： ＤＥＦＡＵＬＴ

【００８２】・その他の例（２）前記実施例において，
さらに，各情報収集部１２，集合演算機構１５，判定部
１６にて，それぞれユーザ入力を受け付けることで，そ
れぞれの実行をリアルタイムに変更させてもよい。

【００８３】次に，請求項４で記載した発明の実現例を
説明する。その構成は，図４に示すとおりである。

【００８４】収集範囲の指定：情報収集部１２にて収集
を行う範囲を指定するものである。範囲の指定方法とし
て，ここでは，生成する集合ごとに，それぞれ，モジュ
ール名とそれぞれの収集開始位置と収集終了位置とを指
定する。範囲の指定を，入力した全てのモジュールに対
する先頭から最後までとすると，請求項１または請求項
２記載の発明と同様の結果が得られる。

【００８５】また，範囲収集の例として，以下のような
指示が可能とする。 　　　　ＢＥＧＩＮ　　Ａ 　　　　ＲＥＡＤ：Ｍｏｄｕｌｅ　Ａ：＝ＴＯＰ　　Ｔ
Ｏ　　ＣＡＬＬ（ｆｕｎｃ／３）　　　　　　　　　　
　　　　Ｍｏｄｕｌｅ　Ｂ：＝ＡＬＬ　　　　ＥＮＤ 　　　　ＢＥＧＩＮ　　Ｂ 　　　　ＲＥＡＤ：Ｍｏｄｕｌｅ　Ｃ：＝ＤＥＦＩＮＩ
ＴＩＯＮ（ｆｕｎｃ／３）　　　　　　　　　　　　　
　Ｍｏｄｕｌｅ　Ｂ：＝ＡＬＬＥＮＤ

【００８６】これは，以下のことを意味する。集合Ａを
作成する場合，モジュールＭｏｄｕｌｅ　Ａ内の先頭か
ら関数ｆｕｎｃ／３の呼び出しまでと，モジュールＭｏ
ｄｕｌｅ　Ｂ内の全てに出現するオペレーションが情報
収集対象である。集合Ｂを作成する場合，モジュールＭ
ｏｄｕｌｅ　Ｃ内の関数ｆｕｎｃ／３の定義に出現する
オペレーションが情報収集対象である。

【００８７】情報収集部１２：情報収集部１２では，範
囲指定に示された各モジュールに対して，それぞれ情報
収集開始位置まで読み飛ばし，そこから，前記実施例に
示した方法等により情報を収集する。読み取りながらそ
れが情報収集終了位置であるかどうか判断し，情報収集
終了位置であるなら読込みを終了する。そうでなければ
，情報の収集を繰り返す。

【００８８】〔文書制御情報インタフェース検証システ
ム〕以下に，請求項２，請求項４で記載した発明の実現
例として，文書制御情報インタフェース検証システムを
説明する。

【００８９】図１１に示す処理方式は，例えば文書作成
システムの一部として組み込まれ，図１２に示すように
ある文書１１０Ａと文書１１０Ｂとが連続してなる第一
の文書の，文書と文書との間に文書１１０Ｃを挿入する
場合，または連続する文書から，部分的に文書を削除す
る場合に，文書の挿入または削除の前後で，文書に対す
るモジュールサイズ，フォント，行下がり，章番号，そ
の他の文書制御情報が一貫性を保持するかをチェックす
る機能を構成するものである。

【００９０】そこで，情報収集部１２は，文書で設定さ
れている文書制御情報と，文書内で設定されている文書
制御情報とを受け取ると，文書制御情報から文書に入力
される文書制御情報の集合としてＡ集合を生成する。ま
た文書に入力される文書制御情報と文書で設定されてい
る文書制御情報とから，文書の終了点で保存され，文書
に入力されるべき文書制御情報の集合としてＢ集合を生
成する。

【００９１】このＡ集合とＢ集合について，検証部１４
が前記と同様に集合演算機構１５による集合演算を実行
し，判定部１６がその演算結果と，演算結果による判定
を出力情報として出力する。但し，この場合には，共通
集合　　Ｃ＝Ａ∩Ｂ 差集合　　　　Ｄ１　＝Ａ−Ｂ および　　　　Ｄ２　＝Ｂ−Ａ を求め， Ｃ≠φ，Ｄ１　＝Ｄ２　＝φ であれば問題はないが，その他の結果を得た場合には，
Ｄ１　およびＤ２　についての影響の有無を調べる必要
があることの警告を発する。

【００９２】次に，請求項５で記載した発明の実現例を
説明する。その構成は，図５に示すとおりである。

【００９３】実行部５０：実行部５０では，指定された
モジュール（またはモジュール群）に記述されたオペレ
ーションの実行を行い，実行単位時間ごとに実行された
オペレーションの実行ログを収集し，情報収集部１２へ
渡す。この実行部５０について，図１７にその構成図を
，図１８にその処理フローを示す。

【００９４】実行部５０は，図１７に示すように，オペ
レーション解析部１７２と，オペレーション実行部１７
３とを持つ。また，オペレーション・ポインタ１７１を
持ち，実行スタック１７５と，変数名とその値とを格納
する変数情報テーブル１７６を持つ。また，実行結果を
出力する実行ログ出力部１７４を持つ。

【００９５】まず，オペレーション列１７０における最
初に実行すべきオペレーションを指すように，オペレー
ション・ポインタ１７１を設定する。そして，以下の処
理を，最後のオペレーション（或いは，実行すべきオペ
レーションがなくなる）まで繰り返す。

【００９６】オペレーション・ポインタ１７１の指すオ
ペレーションを取り出し，そのオペレーションをオペレ
ーション解析部１７２で解析することにより，その処理
を決定し，オペレーション実行部１７３でそのオペレー
ションを実行する。この時，実行したオペレーションの
情報を実行ログ出力部１７４で出力する。

【００９７】この実行したオペレーションが変数に対す
る処理ならば，その結果を変数情報テーブル１７６へ反
映させる。また，実行制御の処理なら，オペレーション
・ポインタ１７１と実行スタック１７５に反映させる。 なお，この実行部５０は既存のトレーサを用いて実現し
てもよい。

【００９８】実行ログ： 実行ログの例を以下に示す。 １：Ｍｏｄｕｌｅ　Ａ（１）　：ｍａｉｎ（ａｒｇｃ，
ａｒｇｖ）　｛２：Ｍｏｄｕｌｅ　Ａ（６）　：ｉｆ（
１＜ａｒｇｃ）｛３：Ｍｏｄｕｌｅ　Ａ（７）　：ｆｕ
ｎｃＡ（ｎｕｍ，ａｒｇｖ，＆ａｒｇｕｍｅｎｔ）；　
４：Ｍｏｄｕｌｅ　Ｂ（１）　：ｆｕｎｃＡ（ｎｕｍ，
ａｒｇｖ，ａｒｇｕｍｅｎｔ＿　ｐ）　｛ ５：Ｍｏｄｕｌｅ　Ｂ（５）　：ｆｏｒ（ｉ＝１；６：
Ｍｏｄｕｌｅ　Ｂ（５）　：ｉ＜ｎｕｍ；　ｉ＋＋）　
｛７：Ｍｏｄｕｌｅ　Ｂ（１０）：ｒｅｔｕｒｎ（１）
　８：Ｍｏｄｕｌｅ　Ａ（８）　：ｆｕｎｃＢ（ｎｕｍ
，ａｒｇｕｍｅｎｔ）；　…

【００９９】情報収集部１２：情報収集部１２では，実
行部５０で作成された実行ログと実行したモジュール（
モジュール群）とを対応させ，所定の識別情報（ここで
は変数名）を収集し，この対応を対応表５１として作成
し，識別情報を要素とする集合を作成する。

【０１００】集合１３：情報収集部１２で生成された集
合の例を示す。ここで，集合Ａは設定される変数名を要
素とする集合であり，集合Ｂは参照する変数名を要素と
する集合であるとする。 Ａ＝｛ａｒｇｃ，ａｒｇｖ，ｎｕｍ，ａｒｇｕｍｅｎｔ
＿ｐ，ｉ，．．．｝Ｂ＝｛ａｒｇｃ，ｎｕｍ，ａｒｇｖ
，ｉ，ａｒｇｕｍｅｎｔ，．．．｝

【０１０１】対応表
５１：

【０１０２】判定部１６： 集合演算機構１５にて， Ｃ１　＝Ａ−Ｂ＝｛ａｒｇｕｍｅｎｔ＿ｐ，…｝Ｃ２　
＝Ｂ−Ａ＝｛ａｒｇｕｍｅｎｔ，…｝Ｃ３　＝Ａ∩Ｂ＝
｛ａｒｇｃ，ａｒｇｖ，ｎｕｍ，ｉ，．．．　｝が得ら
れる。

【０１０３】判定部１６では，集合Ｃ３　の各要素に対
して，対応表から， ａｒｇｃ：Ａ（１），Ｂ（２），… ａｒｇｖ：Ａ（１），Ｂ（３），… ｎｕｍ　：Ｂ（３），Ａ（４），Ｂ（６），Ｂ（８），
…ｉ　：Ａ（５），Ｂ（６），… … という情報を得る。これより，変数ｎｕｍ　が設定より
先に参照していると判断でき，警告メッセージを出力す
る。

【０１０４】・その他の例（１）前記の実施例において
，情報収集部１２にて，プログラム中の変数名を識別情
報として，これを要素とする集合を作成したが，特に，
変数名でなくてもよい。データベース，配列，構造体，
等の意味を持ってまとめられたデータの識別子を，変数
名と同様に，要素とする集合を作成することでも，同様
の効果をあげることができる。

【０１０５】・その他の例（２）前記の実施例において
，プログラムや仕様書等の記述を基に情報収集している
が，プログラムの実行中における割り当てられたメモリ
上のアドレスを基に情報収集を行ってもよい。

【０１０６】・その他の例（３）前記の実施例において
説明したシステムでは，情報収集部１２は一つであるが
，収集する情報ごとに，複数の情報収集部１２が存在し
てよく，これらで同時に集合を作成してもよい。

【０１０７】

【発明の効果】以上説明したように，本発明によれば，
複数のモジュールから構成されるようなシステムにおい
て，・あるモジュールに注目して，そのモジュールが与
えるシステム内，あるいは他モジュールへの影響，・あ
るモジュールに関する仕様と実際の処理プログラムとの
違い，・設計におけるモジュール間のインタフェース，
等の検証を行うことが容易に実現でき，大規模システム
の開発に寄与するところが大きい。

【図面の簡単な説明】

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

【図２】本発明の構成を示すブロック図である。

【図３】本発明の構成を示すブロック図である。

【図４】本発明の構成を示すブロック図である。

【図５】本発明の構成を示すブロック図である。

【図６】本発明の実施例を説明するための集合の関係図
である。

【図７】本発明の実施例のシステム構成図である。

【図８】本発明の実施例のシステム構成図である。

【図９】本発明の実施例のシステム構成図である。

【図１０】本発明の実施例のシステム構成図である。

【図１１】本発明の実施例のシステム構成図である。

【図１２】本発明の実施例に係る文書編集時の検証の説
明図である。

【図１３】本発明の実施例に係る情報収集部の処理フロ
ーを示す図である。

【図１４】本発明の実施例に係る集合演算の処理フロー
を示す図である。

【図１５】本発明の実施例を説明するための３集合の関
係図である。

【図１６】本発明の実施例による実行結果の例を示す図
である。

【図１７】本発明の実施例に係る実行部の構成図である
。

【図１８】本発明の実施例に係る実行部の処理フローを
示す図である。

【符号の説明】

１０　　　　処理装置 １１　　　　モジュール群 １２　　　　情報収集部 １３　　　　集合 １４　　　　検証部 １５　　　　集合演算機構 １６　　　　判定部 １７　　　　出力情報

Claims (5)

【特許請求の範囲】
1. 【請求項１】　　それぞれ，種類と対象とを持つような
   オペレーションが複数個集まって一つのモジュールを構
   成し，このようなモジュールが複数存在して，一つのシ
   ステムを構成している検証対象物のインタフェースの整
   合性を，計算機により検証するインタフェース検証処理
   方式であって，モジュールまたは一つ以上のモジュール
   から構成されるモジュール群（１１）を一つ以上入力し
   ，それぞれのモジュールまたはモジュール群（１１）の
   入力ごとに，所定のオペレーションの対象となる情報の
   識別情報を収集し，これを要素とする集合（１３）を作
   成する情報収集部（１２）と，集合演算機構（１５）と
   判定部（１６）とを持ち，集合演算機構（１５）により
   ，前記情報収集部（１２）で作成された二つ以上の集合
   （１３）を入力して所定の集合演算を行い，判定部（１
   ６）により，対応するオペレーション間の関係が得られ
   る演算結果を出力する検証部（１４）とを備え，モジュ
   ール間のインタフェースを検証することを特徴とするイ
   ンタフェース検証処理方式。
2. 【請求項２】　　それぞれ，種類と対象とを持つような
   オペレーションが複数個集まって一つのモジュールを構
   成し，このようなモジュールが一つ以上存在して，一つ
   のシステムを構成している検証対象物のインタフェース
   の整合性を，計算機により検証するインタフェース検証
   処理方式であって，与えられたモジュールから，所定の
   オペレーションごとに，その対象となる情報の識別情報
   を収集し，この識別情報を要素とする集合（１３）をオ
   ペレーションごとに複数個作成する情報収集部（１２）
   と，集合演算機構（１５）と判定部（１６）とを持ち，
   集合演算機構（１５）により，前記情報収集部（１２）
   で作成された二つ以上の集合（１３）を入力して所定の
   集合演算を行い，判定部（１６）により，モジュール内
   で対応するオペレーション間の関係が得られる演算結果
   を出力する検証部（１４）とを備え，モジュール内のイ
   ンタフェースを検証することを特徴とするインタフェー
   ス検証処理方式。
3. 【請求項３】　　請求項１または請求項２記載のインタ
   フェース検証処理方式において，前記情報収集部（１２
   ）は，情報収集の基準となる収集基準情報（３０）を入
   力することにより，ユーザ定義オペレーションの対象と
   なる情報の識別情報を収集し，これを要素とする集合（
   １３）を複数作成する手段を持ち，前記検証部（１４）
   における集合演算機構（１５）は，前記情報収集部（１
   ２）で作成された二つ以上の複数の集合（１３）と集合
   演算の基準となる演算指示情報（３１）とを入力し，そ
   の演算指示情報（３１）で指定された集合演算を行う手
   段を持ち，前記検証部（１４）における判定部（１６）
   は，　集合演算結果と判定の基準となる判定基準情報（
   ３２）とを入力し，これらを基に，対応するオペレーシ
   ョン間の関係が得られる判定結果を出力する手段を持つ
   ことを特徴とするインタフェース検証処理方式。
4. 【請求項４】　　請求項１または請求項２記載のインタ
   フェース検証処理方式において，前記情報収集部（１２
   ）は，各モジュールまたはモジュール群（１１）内の情
   報を収集する範囲を指定する位置指定（４０）を入力し
   ，その範囲内で所定のオペレーションの対象となる情報
   の識別情報を収集し，これを要素とする集合（１３）を
   作成する手段を持つことを特徴とするインタフェース検
   証処理方式。
5. 【請求項５】　　請求項１または請求項２記載のインタ
   フェース検証処理方式において，モジュールまたはモジ
   ュール群（１１）内のオペレーションを実行し，その実
   行ログを出力する実行部（５０）を備え，　前記情報収
   集部（１２）は，収集する識別情報に，それぞれ対応す
   る実行ログを付加させ，それを要素とする集合（１３）
   を作成する手段を持ち，前記検証部（１４）における判
   定部（１６）は，集合演算機構（１５）で得られた集合
   演算の結果から，その結果の集合の各要素に対して，実
   行ログを基準とした判定を行ない，実行単位時間ごとに
   変化するオペレーション間の関係を示す結果を出力する
   手段を持つことを特徴とするインタフェース検証処理方
   式。