JP3305949B2 - プログラム解析装置 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は，プログラムの仕様
としてのデータ型定義を，プログラムを解析して抽出す
るプログラム解析装置に関するものである。特に，デー
タ宣言部の記述から得られる型情報だけではなく，デー
タ間の関連に着目してデータを分類し，特定の制約条件
を持ったドメイン定義を抽出することを可能にしたもの
である。

【０００２】ここで，ドメインとは，同じ対象を表現す
るものであって，例えば変数「受注日付」と「納品日
付」とが，どちらも年，月，日で表現される場合，「受
注日付」と「納品日付」とは「年月日」を表現する変数
であり，このような変数の「表現される対象」をドメイ
ンという。

【０００３】また，ドメイン定義とは，上記のようなド
メインの「表現される対象」を，制約条件（値域）で定
義付けたものをいう。例えば，ドメイン「年月日」は，
さらに細かく分けるとドメイン「年」，「月」，「日」
で構成されており，「日」は「１以上３１以下の整数」
というドメイン定義で表現される。

【０００４】これらの情報を既存のプログラムから自動
的に抽出することができれば，プログラムの理解に極め
て有用であり，デバッグ，保守，改良等に役立つ。ま
た，複数のプログラムにわたるドメイン間の関係情報お
よび変数の代入関係の情報を視覚的にわかりやすく表示
することにより，プログラムの理解をさらに容易にする
支援が可能になる。

【０００５】

【従来の技術】プログラムの処理を詳細に理解するため
には，変数の宣言時の情報や変数が保持する値を，具体
的に追うことが必要不可欠となる。従来のプログラム解
析では，変数名や型，大きさ等，変数宣言時の静的な情
報のみが，変数毎にプログラム単位で解析されるだけで
あり，プログラムの保守や改良を行うための貢献は少な
かった。

【０００６】図４４は，従来技術を説明するための図で
ある。従来のプログラム解析では，データ個々の宣言文
からデータ型およびデータの大きさを分析するにとどま
っており，具体的には，例えば，図４４（Ａ）に示すＣ
ＯＢＯＬプログラムのデータ宣言部のデータ個々の宣言
文から，データ型解析結果として，図４４（Ｂ）に示す
ような各データの型と大きさについての情報を得るだけ
であった。

【０００７】

【発明が解決しようとする課題】図４４（Ｂ）に示すよ
うな従来のデータ型解析結果から，例えば「受注月」，
「受注日」，「納品月」，「納品日」は，データ型と大
きさが同じであることがわかる。しかし，これらが各々
どのような制約条件（値域）を持つかというようなこと
はわからない。

【０００８】例えば「受注日」と「納品日」とは，デー
タのとる値の範囲が「１以上３１以下」という共通の制
約条件を持つ。これらのデータは，「日：範囲（１以上
３１以下）」という同一ドメインのデータである。一
方，「受注日」と「受注月」とは，データ型と大きさは
同じであるが，制約条件は，それぞれ「１以上３１以下
の整数」，「１以上１２以下の整数」と異なるため，ド
メインが異なる。

【０００９】従来技術では，このようなドメインの観点
から変数をグループ分けできなかった。また，変数個々
の制約条件を抽出できず，さらには，ドメインを特徴づ
ける制約条件の抽出を行うことができなかった。

【００１０】本発明は上記問題点の解決を図り，プログ
ラム中の変数に対して与えられた制約条件を自動抽出す
ること，ドメインの観点から変数をグループ分けするこ
と，制約条件の抽出結果と変数の分類結果とからドメイ
ン定義情報を得ることにより，プログラムの解読に有用
な情報を得る手段を提供することを目的とする。

【００１１】また，本発明は，プログラム単位で得られ
たドメインの分類情報から，複数のプログラムにわたる
ドメイン間の関係情報を解析し，それをわかりやすく表
示する手段を提供することにより，プログラムの理解を
一層容易にする手段を提供することを目的とする。

【００１２】

【課題を解決するための手段】上記の課題を解決するた
め，本発明は，図１および図２に示すような手段を用い
る。

【００１３】図１は，本発明に係るプログラム解析装置
の構成例を示す図であり，１はプログラム解析装置，１
１はプログラムの構文情報・制御フロー情報を含む解析
対象プログラム情報，１２はエラー処理判定支援情報，
１３は制約条件抽出手段，１３１はエラー判定条件抽出
手段，１３２は条件式／制約条件変換手段，１４は抽出
された制約条件を記憶する制約条件表（テーブル），１
５は変数分類手段，１６は変数の分類情報を記憶する変
数分類表（テーブル），１７はドメイン定義抽出手段，
１８はドメイン定義情報，２はプログラム解析表示装置
を表す。

【００１４】プログラム解析装置１は，プログラムを解
析するための情報として，解析対象プログラム情報１１
とエラー処理判定支援情報１２とを入力する。解析対象
プログラム情報１１としては，プログラムの構文を解析
して得られる構文情報と，プログラムの実行順序に従っ
た文のつながりを示す制御フロー情報を利用する。これ
らは変数がどの文で利用されているか，それがどのよう
な条件下で実行されるかがわかるものである。これらの
情報は既存技術で得られるものであるので，詳細な説明
は省略する。エラー処理判定支援情報１２は，エラー処
理手続き名やエラー処理の行番号などの情報であり，プ
ログラム作成者または解読者等がプログラム設計情報や
ソースプログラムをもとに作成する。

【００１５】制約条件抽出手段１３は，エラー判定条件
抽出手段１３１および条件式／制約条件変換手段１３２
を持つ。エラー判定条件抽出手段１３１は，解析対象プ
ログラム情報１１およびエラー処理判定支援情報１２を
もとにプログラムのエラー処理部分を認識し，エラー処
理を行う条件を抽出する手段である。条件式／制約条件
変換手段１３２は，エラー判定条件抽出手段１３１の出
力を分析して条件式を制約条件に変換することにより，
特定の変数の制約条件を得る手段である。抽出した制約
条件は，制約条件表１４として出力し，必要であれば外
部記憶装置，プリンタまたはディスプレイ等にも出力す
る。

【００１６】変数分類手段１５は，解析対象プログラム
情報１１をもとに，プログラムのある実行文中で複数の
変数が用いられている場合に，それらの変数の関係をそ
の実行文の種類またはオペランドの種類によって分析
し，変数の値が同じドメインを表現するかどうかによっ
てグループに分け，プログラム中の変数を同じドメイン
を表現するかどうかによって分類した情報を出力する手
段である。変数の分類結果は，変数分類表１６として出
力し，必要であれば外部記憶装置，プリンタまたはディ
スプレイ等にも出力する。

【００１７】ドメイン定義抽出手段１７は，制約条件抽
出手段１３から得た変数の制約条件を記憶する制約条件
表１４と，変数分類手段１５から得た複数の変数が共通
に表現するドメインに関する分類情報を記憶する変数分
類表１６とから，同じ対象を表現するドメインに関する
定義情報を抽出し，ドメイン定義情報１８として出力す
る手段である。

【００１８】プログラム解析装置１は，制約条件抽出手
段１３により，プログラムのエラー処理部分を認識し，
エラー処理を行う条件を抽出し，エラー判定条件式を分
析して特定の変数の制約条件を得て，条件式から制約条
件への変換を行い，また，変数分類手段１５により，プ
ログラムのある実行文中で複数の変数が用いられている
場合に，それらの変数の関係をその実行文の種類または
オペランドの種類によって分析し，変数の値が同じドメ
インを表現するかどうかによってグループに分け，変数
分類手段１５から得た複数の変数が共通に表現するドメ
インに関する分類情報と制約条件抽出手段１３から得た
変数の制約条件とから，同じ対象を表現するドメインに
関する定義情報を抽出してプログラムの解析結果として
ドメイン定義情報１８を出力する。

【００１９】図１に示すプログラム解析装置１によって
ドメイン定義情報１８を自動抽出することにより，同様
な対象を表す変数群を容易に把握できるようになる。図
２は，本発明に係るプログラム解析表示装置の構成例を
示す図であり，図１と同符号のものは図１に示すものに
対応し，２１はドメイン解析手段，２２は解析結果を表
示する表示処理手段，２３はドメイン要素の関係出力手
段，２４はジョブ制御言語（ＪＣＬ），２５はプログラ
ム間の呼び出し関係を示すＣＡＬＬ情報，２６はユーザ
が入力し指定したユーザ入力情報，２７は複数のプログ
ラムから得たドメインを分類した結果のドメイン間の関
係を示すドメイン関係情報，２８はディスプレイを表
す。

【００２０】図２に示すプログラム解析表示装置２は，
プログラム解析装置１が解析対象プログラム情報１１か
ら各プログラム毎に得たドメインについて，ドメイン解
析手段２１，表示処理手段２２，ドメイン要素の関係出
力手段２３によって，ドメイン間の関係を解析して表示
する装置である。

【００２１】ジョブ制御言語２４は，ユーザが書いたプ
ログラムや予め用意されたユーティリティプログラム等
を，どのような手順で実行するかを記述したものであ
る。ドメイン解析手段２１は，各プログラム毎のドメイ
ンに分類された変数情報１８’（またはドメイン定義情
報１８）と，ジョブ制御言語２４とを入力し，複数のプ
ログラムから得られたプログラム毎のドメイン間の関係
を解析する。解析した結果をドメイン関係情報２７とし
て出力する。

【００２２】また，ドメイン解析手段２１は，複数のプ
ログラムから得られたプログラム毎のドメイン間の関係
を解析するために，各プログラム中に書かれているＣＡ
ＬＬ文による呼び出し関係の情報（ＣＡＬＬ情報２５）
を用いることもできる。

【００２３】ＣＡＬＬ文を用いてプログラムの呼び出し
を行う場合，例えばＣＯＢＯＬプログラム等ではＵＳＩ
ＮＧ指定を明記することにより，呼ぶ側のプログラム中
の変数の値を，呼ばれる側のプログラム中の変数に引き
渡すことができる。呼ぶ側のＵＳＩＮＧ指定中に書かれ
た変数と，呼ばれる側のＵＳＩＮＧ指定中に書かれた変
数とは，ＵＳＩＮＧ指定中に書かれた順に対応付けられ
て実行される。このことは即ち，対応付けられた変数同
士は実は同等なものであることを意味する。これから，
双方の変数を持つドメイン同士も実は同等であることが
わかる。

【００２４】したがって，ドメイン解析手段２１は，Ｃ
ＡＬＬ情報２５から各プログラムの呼び出し関係を得
て，ドメイン間の関係を解析することができる。同様
に，ドメイン解析手段２１は，複数のプログラムから得
られたプログラム毎のドメイン間の関係を解析するため
に，ユーザが入力したユーザ入力情報２６を用いること
もできる。

【００２５】プログラム中に記述されている変数は，一
時的に用いるためだけの変数もあるが，目的とするある
処理のために意味を持たせられて，所定の規約に従って
命名された変数もある。そこで，その規約に基づいた条
件をユーザが入力指定することにより，その指定に見合
った変数を持つドメイン同士に関係を見いだすことがで
きる。

【００２６】表示処理手段２２は，ドメイン解析手段２
１によって解析したドメイン関係情報２７および各ドメ
インに属する変数の代入関係の情報をディスプレイ２８
に表示する。このとき，視覚的にグラフ表示することに
より，複数プログラム間に跨がるドメイン間の関係や，
各ドメインに属する変数の代入の関係が把握しやすくな
るように表示する。

【００２７】変数の代入の関係に関する情報としては，
各プログラム中に出現する全変数について，プログラ
ム名，変数名，プログラム内出現位置（出現行番
号），代入の式（代入元の変数），ドメインＩＤ
（ドメイン名）等の情報を対応付けて保持する。これら
の情報のうち，〜は，プログラムの構文解析時に既
知の技術によって得ることができる。のドメインＩＤ
は，プログラム解析装置１によって変数をドメインに分
類した際に，各ドメインに対して識別子（ＩＤ）を付与
することによって得られる。

【００２８】表示処理手段２２は，変数について保持さ
れた〜の情報をもとに，(a) ドメインを中心にした
グラフ表示，(b) 変数の代入関係を中心にしたグラフ表
示等を行う。

【００２９】さらに，表示処理手段２２は，上述のプ
ログラム内出現位置（出現行番号），代入の式（代入
元の変数）の情報を保持することにより，グラフ表示上
のある要素が指定されたときに，その要素が表す変数が
出現するソースプログラム内行番号をリストアップした
り，エディタ画面（ソースリスト表示画面）上に表示さ
れたソースプログラムの対応行を表示したりする処理を
行う。

【００３０】また逆に，表示処理手段２２は，ソースプ
ログラム表示上のある行が指定された場合に，その行に
含まれる変数を表す図形をグラフ表示上で強調表示す
る。すなわち，グラフ表示上で該当する変数の色，明度
または輝度等を変化させて目立つように表示する。

【００３１】ドメイン要素の関係出力手段２３は，ドメ
インの要素または要素の一部としての変数または変数群
がユーザによって指定された場合に，ドメイン解析手段
２１が解析したドメイン関係情報２７に基づいて，同一
関係にあるドメインに含まれる指定された変数または変
数群に対応するすべての変数または変数群を，ディスプ
レイ２８に表示する処理を行う。このとき，表示処理手
段２２との連携により，ドメイン関係情報２７に関する
グラフ表示上で，該当する変数または変数群の強調表示
を行うようにすることもできる。

【００３２】一般にプログラムを理解しようとする場合
に，１つのプログラムだけでなく，複数のプログラムが
連携して動作するアプリケーションのようなものでは，
１つのプログラム内でのドメイン分類だけでは十分では
ないことがある。具体的に，複数のプログラム間の変数
の関係を追ってみると，あるドメインと他のドメインと
が実は同一のドメインと見なせるような場合があるから
である。

【００３３】そこで，図２に示すプログラム解析表示装
置２を用いることにより，ドメイン間の関係を解析し解
析結果を表示すれば，複数のプログラムに跨がるドメイ
ン間の関係を把握し，変数の解析をより効率的に行うこ
とができるようになる。

【００３４】また，この際にドメイン間の関係および変
数の代入関係をグラフ表示によって図示することによ
り，変数の持つ情報を視覚的に容易に得ることができ，
より高度なプログラム理解の支援を実現することが可能
になる。

【００３５】

【発明の実施の形態】以下，本発明の実施の形態を図を
用いて説明する。図３は，図１に示す制約条件抽出手段
１３の構成例を示す図である。

【００３６】エラー判定条件抽出手段１３１は，エラー
判定条件式がその変数の制約条件を表している場合が多
いことを利用するものである。すなわち，業務用の応用
プログラム等では，通常，例えば入力データの変数の値
が正しいかどうかをプログラム中で判定し，もし正しい
値でなければ入力エラーのメッセージの出力と再入力処
理等を行う。このエラー処理への分岐のためのエラー判
定条件式を解析すれば，変数の制約条件を自動抽出する
ことができる。

【００３７】このため，エラー判定条件抽出手段１３１
は，エラー処理手続き名やエラー処理の行番号などを記
録したエラー処理判定支援情報ファイル１２１を読み，
解析対象プログラム情報１１の制御フロー情報をトラバ
ース（全実行文へアクセス）しながらエラー処理を行う
実行文を検索する。続いて，制御フロー情報を逆トラバ
ースして，実行文の直前の条件式を得る。なお，この制
御フロー情報を用いた検索処理は，周知の技術によって
容易に実現できる。

【００３８】エラー処理判定支援情報ファイル１２１
は，例えば事前にプログラム作成者または解析者等がエ
ディタ等を用いて作成しておけばよい。または会話処理
等により解析時にエラー処理判定支援情報を入力する実
施も可能である。

【００３９】条件式／制約条件変換手段１３２は，エラ
ー判定条件抽出手段１３１から得たエラー判定条件式
を，（）や論理記号ＯＲで分割して部分条件式を作成
し，各部分条件式について，中に変数が１つのみ存在す
るものだけ，「データ名：値域」のように表した制約条
件の形式に変換し，制約条件表１４へ保存する。制約条
件は，その変数の値域を表していることが多い。

【００４０】図４は，エラー判定条件抽出処理の例を示
す図であり，図４（Ａ）は，エラー処理判定支援情報フ
ァイル１２１の例を示している。エラー処理判定支援情
報ファイル１２１には，エラー処理手続き名（ＬＡＢＥ
Ｌ）やエラー処理の行番号（ＬＩＮＥ−ＮＵＭ）等が定
義されている。

【００４１】図４（Ｂ）は，解析対象プログラム情報１
１に記録されている制御フローの例を示している。エラ
ー判定条件抽出手段１３１は，例えばプログラムの「Ｇ
ＯＴＯ 日付−エラー処理．」がエラー処理実行文であ
ることを判定すると，制御フローを逆トラバースして直
前のＩＦ文の条件式「受注日＜１ ＯＲ ３１＜受注
日」を得て，条件式／制約条件変換手段１３２へ渡す。
図４（Ｃ）に，エラー処理の実行文Ａ「ＧＯ ＴＯ 日
付−エラー処理．」と，その直前のＩＦ文の条件式Ｂ
「受注日＜１ ＯＲ ３１＜受注日」の例を示す。

【００４２】図５は，条件式／制約条件変換処理の例を
示す図であり，図５（Ａ）は，エラー判定条件式から制
約条件への変換例を示している。条件式／制約条件変換
手段１３２は，エラー判定条件抽出手段１３１から得た
条件式Ｂを（）や論理記号ＯＲで分割して，部分条件式
Ｃ１｛受注日＜１｝，Ｃ２｛３１＜受注日｝を作成す
る。さらに部分条件式Ｃ１，Ｃ２の補集合条件式を求め
て，制約条件Ｄ１｛受注日，１≦＠≦３１｝（＠はこの
箇所に変数名が入ることを意味する）を得る。

【００４３】図５（Ｂ）は，条件式Ｂが複数の変数を含
む場合のエラー判定条件式から制約条件への変換処理例
を示している。条件式Ｂが「（データ＜データ）Ｏ
Ｒ（データ＜１）」であるとき，（データ＜データ
）の複数の変数を含む部分は変換の対象としないで，
（データ＜１）の部分のみを変換の対象とする。条件
式Ｂから，部分条件式Ｃ１｛データ＜１｝を作成し，
制約条件Ｄ１｛データ，１≦＠｝を得る。これらの制
約条件は，図５（Ｃ）に示すように制約条件表１４に記
録される。

【００４４】図６は制約条件抽出手段１３の処理フロー
チャートである。図６のフローチャート中で，ステップ
Ｓ１〜ステップＳ４は，エラー判定条件抽出手段１３１
の処理，ステップＳ５〜ステップＳ７は，条件式／制約
条件変換手段１３２の処理である。

【００４５】ステップＳ１では，エラー処理判定支援情
報ファイル１２１を読み，エラー処理判定支援情報を入
力する。ステップＳ２では，解析対象プログラム情報１
１の制御フロー情報をトラバース（全実行文へアクセ
ス）しながらエラー処理を行う実行文を検索する。

【００４６】ステップＳ３では，１つの実行文Ａがエラ
ー処理かどうかを判定する。実行文Ａがエラー処理であ
ればステップＳ４以降の処理を行い，実行文Ａがエラー
処理でなければ次の実行文について処理に移る。

【００４７】ステップＳ４では，解析対象プログラム情
報１１の制御フロー情報を逆にトラバースし，実行文Ａ
が実行される直前の条件式Ｂを得る。ステップＳ５で
は，条件式Ｂから，ある１つの変数に関する条件式を表
している全ての部分条件式Ｃ１，Ｃ２，…，を抽出す
る。

【００４８】ステップＳ６では，部分条件式Ｃ１，Ｃ
２，…，を制約条件形式Ｄ１，Ｄ２，…，に変換する。
ステップＳ７では，制約条件形式Ｄ１，Ｄ２，…，を制
約条件表１４へ登録する。以上のステップＳ２〜Ｓ７を
全実行文について繰り返したならば処理を終了する。

【００４９】次に，変数分類手段１５の処理を説明す
る。図７は，変数分類手段１５の処理フローチャートお
よびデータ構造の例を示す図である。

【００５０】変数分類手段１５は，プログラムの実行文
中で複数の変数が用いられている場合に，それらの変数
の関係がその実行文の種類やオペランドの種類から推定
できることがあることを利用するものである。

【００５１】例えば，代入関係のある実行文「ＭＯＶＥ
入力日 ＴＯ 納品日」における左辺（代入先）の変
数「入力日」と右辺（代入元）の変数「納品日」とは，
通常，同一ドメイン内の変数である。また，比較｛単価
Ａ＜金額Ｂ｝では，不等号の左右の変数「単価Ａ」，
「金額Ｂ」が同一ドメイン内の変数である。実行文中に
このような代入関係，比較が表れた時点で，変数を同一
ドメイン内変数としてグループ化する。ここで，どのよ
うな関係を持った変数をグループ化するかはユーザが決
定することができる。

【００５２】実行文「ＣＯＭＰＵＴＥ Ａ＝Ｂ＋Ｃ」や
「（Ａ＋Ｂ）＜（Ｃ＋Ｄ）」のように，左辺，右辺の変
数が単一でない場合には，左辺，右辺の全ての変数が同
一ドメインであると言えないこともある。このような場
合には，例えば，右辺の変数が全て同一ドメインである
場合だけ，左辺，右辺の変数を全て同一ドメインとする
ような方式を採る。この場合，実行文「ＣＯＭＰＵＴＥ
Ａ＝Ｂ＋Ｃ」は，「Ｂ∈δ ∧ Ｃ∈δ ならば，
Ａ，Ｂ，Ｃ∈δ（δ：あるドメイン）」となる。すなわ
ち，ＢとＣとが同一ドメインδならば，Ａ，Ｂ，Ｃは全
て同一ドメインδであるとみなす。

【００５３】図７において，［］は１ドメインを表し，
｛｝は同ドメイン内のメンバ変数の候補を表し，例え
ば，ドメイン［Ａ，｛Ｂ，Ｃ｝］は，Ｂ，Ｃが同ドメイ
ンの変数ならば，Ａ，Ｂ，Ｃは全て同ドメイン内の変数
であることを示す。

【００５４】ステップＳ２１では，ステップＳ２２以降
の処理をプログラム内の全実行文に対して繰り返し，全
実行文について処理したならば終了する。ステップＳ２
２では，プログラムから実行文Ａを取る。

【００５５】ステップＳ２３では，実行文Ａについて，
後述する『処理１』を行い，使われている変数のうち同
一ドメインの変数の集合であるドメインＤ１，Ｄ２，
…，Ｄｎを得る。

【００５６】ステップＳ２４では，ドメインＤが１つ以
上存在するかどうかを判定し，存在するならばステップ
Ｓ２５の処理を行い，存在しないならばステップＳ２２
へ戻って次の実行文の処理を行う。

【００５７】ステップＳ２５では，ステップＳ２６以降
の処理を全ドメインＤ１，Ｄ２，…，Ｄｎについて繰り
返す。ステップＳ２６では，既存の変数分類表Ｔ内で，
ドメインＤｉ中の変数を持つドメインＤ″が存在するか
どうかを判定する。ドメインＤ″が存在する場合にはス
テップＳ２７の処理を行い，ドメインＤ″が存在しない
場合にはステップＳ２８の処理を行う。

【００５８】ステップＳ２７では，ドメインＤｉの変数
のうちドメインＤ″にない変数をドメインＤ″に追加
し，ドメインＤｉを消去する。ステップＳ２８では，ド
メインＤｉを変数分類表Ｔへ追加する。

【００５９】ステップＳ２９では，ステップＳ２７また
はＳ２８で更新した新しい変数分類表Ｔ′を得る。ステ
ップＳ３０では，変数分類表Ｔ′内の全既存ドメインＤ
について，後述する『処理２』を行い，ドメイン内の変
数候補が同一ドメインかどうかを変数分類表Ｔ′全体を
見て調査する。

【００６０】ステップＳ３１では，新しい変数分類表
Ｔ″を得る。例えば，ステップＳ２２で取った実行文Ａ
が，「ＣＯＭＰＵＴＥ Ａ＝Ｂ＋Ｃ」であるとすると，
後述する『処理１』を行い，ドメインＤ１［Ａ，｛Ｂ，
Ｃ｝］を得る。ここで，既存の変数分類表Ｔ中には，ド
メインＤ１内変数である「Ａ」を持つドメインＤ″
［Ａ，Ｘ］が存在するので，ドメインＤ１の変数候補
｛Ｂ，Ｃ｝をドメインＤ″へ追加し，ドメインＤ″
［Ａ，Ｘ，｛Ｂ，Ｃ｝］とし，ドメインＤ１を消去し
て，新しい変数分類表Ｔ′を得る。

【００６１】次に，新しい変数分類表Ｔ′内には，ドメ
インＤ″［Ａ，Ｘ，｛Ｂ，Ｃ｝］の変数候補｛Ｂ，Ｃ｝
を全て含むドメイン［Ｂ，Ｃ，Ｄ］があることから，
「Ｂ，Ｃ」は同一ドメインと判定して，ドメインＤ″
［Ａ，Ｘ，｛Ｂ，Ｃ｝］とドメイン［Ｂ，Ｃ，Ｄ］とを
マージして，ドメイン［Ａ，Ｘ，Ｂ，Ｃ，Ｄ］とする。
一方，ドメイン［Ｋ，Ｌ，｛Ｍ，Ｎ｝］の変数候補
｛Ｍ，Ｎ｝は同一ドメインかどうか不明なのでそのまま
にして，新しい変数分類表Ｔ″とする。

【００６２】次に，図７に示すステップＳ２３で実行す
る『処理１』について，図８および図９に示す処理フロ
ーチャートを用いて説明する。図８のステップＳ１０１
では，実行文Ａを入力する。

【００６３】ステップＳ１０２では，実行文Ａに代入系
演算式があるかどうかを判定する。実行文Ａに演算式が
ある場合にはステップＳ１０３の処理を行い，実行文Ａ
に演算式がない場合にはステップＳ１０９（図９）の処
理を行う。

【００６４】ステップＳ１０３では，演算式全てについ
てステップＳ１０４〜ステップＳ１０８の処理を繰り返
す。ステップＳ１０４では，式の左辺（代入先）と右辺
（代入元）の変数を得て，左辺の変数の集合をＳ_L と
し，右辺の変数の集合をＳ_R とする。ただし，右辺の式
で，乗算，除算オペランドを含む項に含まれている変数
は，オペランドの片側が定数である場合を除いて抽出し
ない。

【００６５】同じドメインを表現する場合でも，ドメイ
ン「日」が文字列でも整数でも表現できるように，デー
タ型は変数によって異なる場合が多い。しかし，データ
型が違う変数は違うドメインとしてみなしたい場合に
は，オプションとしてステップＳ１０５を行う。このス
テップＳ１０５を行うか否かはユーザが指定する。ステ
ップＳ１０５を行わない場合には，ステップＳ１０６へ
続く。

【００６６】ステップＳ１０５では，集合Ｓ_L ，Ｓ_R の
中の変数が全て同じデータ型であるかどうかをプログラ
ムの変数宣言部をみて判定する。集合Ｓ_L ，Ｓ_R の中の
変数が全て同じデータ型である場合には，ステップＳ１
０６の処理を行い，データ型が同じでない場合には次の
演算式の処理へ移る。

【００６７】ステップＳ１０６では，集合Ｓ_R に含まれ
る変数が１つかどうかを判定する。変数が１つであれば
ステップＳ１０７の処理を行い，変数が１つでない場合
にはステップＳ１０８を行う。

【００６８】ステップＳ１０７では，集合Ｓ_L と集合Ｓ
_R とを合わせてドメインとし，保存する。ステップＳ１
０８では，集合Ｓ_L と集合Ｓ_R とを結び付けてドメイン
とする。ここで，マージは行わない。

【００６９】以上の処理を全ての演算式について繰り返
したならば，図９のステップＳ１０９へ進む。上記ステ
ップＳ１０１〜Ｓ１０８の処理において，例えば，実行
文Ａとして「ＩＦ文」を入力し，この実行文Ａに，(1)
「ＭＯＶＥ Ａ ＴＯ Ｂ」，(2) 「ＣＯＭＰＵＴＥ
Ｃ＝Ｄ＋Ｅ」の代入系演算式があるとすると，まず，演
算式(1) 「ＭＯＶＥ Ａ ＴＯ Ｂ」について，左辺
（代入先）の変数の集合Ｓ_L ：［Ａ］，右辺（代入元）
の変数の集合Ｓ_R ：［Ｂ］とする。

【００７０】同一ドメイン内の変数は同一のデータ型を
持つとユーザが指定した場合に限り，オプションとし
て，プログラムの変数宣言部を見て，集合Ｓ_L ：［Ａ］
と集合Ｓ_R ：［Ｂ］のメンバ変数が全て同一のデータ型
であるかどうかを調べ，同一のデータ型であることを確
認する。集合Ｓ_L と集合Ｓ_R とを合わせてドメイン
Ｄ_j：［Ａ，Ｂ］とする。

【００７１】演算式(2) 「ＣＯＭＰＵＴＥ Ｃ＝Ｄ＋
Ｅ」の場合，同様の処理を行い，集合Ｓ_L ：［Ｃ］と集
合Ｓ_R ：［｛Ｄ，Ｅ｝］とを抽出する。この場合，集合
Ｓ_R のメンバ変数は１つではないので，集合Ｓ_L と集合
Ｓ_R とを単に結び付けて（マージしないで），ドメイン
Ｄ_j ：［Ｃ，｛Ｄ，Ｅ｝］とする。

【００７２】図９のステップＳ１０９では，実行文Ａに
比較条件式があるかどうかを判定する。実行文Ａに比較
条件式がある場合には，ステップＳ１１０の処理を行
い，比較条件式がない場合にはステップＳ１１７の処理
を行う。

【００７３】ステップＳ１１０では，比較条件式を（）
や論理記号で分割する。ステップＳ１１１では，ステッ
プＳ１１０で分割した式を単位として比較条件式の全て
についてステップＳ１１２〜ステップＳ１１６の処理を
繰り返す。

【００７４】ステップＳ１１２では，比較記号の左辺と
右辺の変数を得る。左辺の変数の集合をＳ_L ，右辺の変
数の集合をＳ_R とする。ただし，両辺の式で，乗算，除
算オペランドを含む項に含まれる変数は，オペランドの
片側が定数である場合を除いて抽出しない。これは複数
の変数同士の乗算または除算の場合，それらの変数が同
一ドメインであるとは限らないからである。

【００７５】同一ドメイン内の変数は同一データ型を持
つとユーザが指定した場合に限り，オプションとして，
ステップＳ１１３をステップＳ１１４の前に行う。ステ
ップＳ１１３では，集合Ｓ_L ，Ｓ_R の中の変数が全て同
じデータ型であるかどうかをプログラムの変数宣言部を
見て判定する。集合Ｓ_L ，Ｓ_R の中の変数が全て同じデ
ータ型である場合には，ステップＳ１１４の処理を行
い，データ型が同じでない場合にはステップＳ１１７の
処理を行う。

【００７６】ステップＳ１１４では，集合Ｓ_L と集合Ｓ
_R に含まれる変数が１つかどうかを判定する。それぞれ
の変数が１つでなければステップＳ１１５の処理を行
い，変数がともに１つであればステップＳ１１６の処理
を行う。

【００７７】ステップＳ１１５では，集合Ｓ_L と集合Ｓ
_R とをマージしてドメインＤ_j とし，保存する。ステッ
プＳ１１６では，集合Ｓ_L と集合Ｓ_R とを結び付けてド
メインＤ_j とする。ここで，マージは行わない。

【００７８】全ての比較条件式について繰り返したなら
ば，ステップＳ１１７では，得られたドメインを全て返
す。例えば，実行文Ａとして「ＩＦ文」を入力し，この
実行文Ａに，「（Ｈ＋Ｉ）＞（Ｊ＋Ｋ）‖（Ｘ＜Ｙ）」
の比較条件式があるとすると，比較条件式を（）や論理
記号で分割し，(4) 「（Ｈ＋Ｉ）＞（Ｊ＋Ｋ）」と(5)
「（Ｘ＜Ｙ）」とする。分割した単位毎に，左辺の変数
の集合Ｓ_L ，右辺の変数の集合Ｓ_R を抽出する。

【００７９】まず，(4) 「（Ｈ＋Ｉ）＞（Ｊ＋Ｋ）」に
ついて，集合Ｓ_L ：［Ｈ，Ｉ］および集合Ｓ_R ：［Ｊ，
Ｋ］を抽出する。同一ドメイン内の変数は同一のデータ
型を持つとユーザが指定した場合に限り，オプションと
して，プログラムの変数宣言部より，集合Ｓ_L と集合Ｓ
_R のメンバ変数が全て同一のデータ型であることを確認
する。集合Ｓ_L と集合Ｓ_R のメンバ変数が１つ以上なの
で，集合Ｓ_L と集合Ｓ _R を結び付けて，ドメインＤ_j ：
［｛Ｈ，Ｉ｝，｛Ｊ，Ｋ｝］とする。

【００８０】次に，(5) 「（Ｘ＜Ｙ）」について，集合
Ｓ_L ：［Ｘ］，集合Ｓ_R ：［Ｙ］を抽出する。同一ドメ
イン内の変数は同一のデータ型を持つとユーザが指定し
た場合に限り，オプションとして，プログラムの変数宣
言部より，集合Ｓ_L と集合Ｓ _R のメンバ変数が全て同一
のデータ型であることを確認する。集合Ｓ_L ，集合Ｓ _R
のメンバ変数が１つなので，集合Ｓ_L と集合Ｓ_R を合わ
せてドメインＤ_j ：［Ｘ，Ｙ］とする。

【００８１】図１０は，演算式および条件式と，変数分
類手段１５の『処理１』から得られるドメインの例を示
す図である。図１０（Ａ）は，単一オペランドを持つ実
行文の例，図１０（Ｂ）は，複合オペランドを持つ実行
文の例を示している。

【００８２】図１０（Ｂ）において，代入系演算式「Ｃ
ＯＭＰＵＴＥ Ａ＝Ｂ＊Ｃ」のように，乗算オペランド
を含む項の変数は，オペランドの片側が定数でない限
り，ドメインを生成するための変数の集合を抽出しない
ので，得られるドメインはない。一方，「ＭＵＬＴＩＰ
ＬＹ Ｉ ＢＹ 定数 ＧＩＶＩＮＧ Ｋ」（Ｋ＝Ｉ＊
定数）を意味する）のように，乗算オペランドを含む項
の変数であっても，オペランドの片側が定数の場合に
は，ドメインが得られる。

【００８３】図１１は，図７に示すステップＳ３０にお
いて行われる『処理２』の処理フローチャートである。
ステップＳ２０１により，入力した変数分類表Ｔ′の全
ドメインＤ１，Ｄ２，…，Ｄｎについて以下の処理を繰
り返す。

【００８４】ステップＳ２０２では，ドメインＤｉ中に
変数候補の集合Ｓがあるかどうかを判定する。変数候補
の集合とは，｛ ｝で囲まれた変数群である。変数候補
の集合Ｓがある場合にはステップＳ２０３の処理を行
い，変数候補の集合Ｓがない場合には，次のドメインの
処理へ移る。

【００８５】ステップＳ２０３では，ドメインＤｉ以外
の変数分類表Ｔ′中のドメインを参照し，変数候補の集
合Ｓのメンバ変数を全て含むドメインＤ′を探す。ステ
ップＳ２０４では，変数候補の集合Ｓのメンバ変数を全
て含むドメインＤ′が存在するかどうかを判定する。ド
メインＤ′が存在する場合には，ステップＳ２０５の処
理を行い，ドメインＤ′が存在しない場合には，次のド
メインの処理に移る。

【００８６】ステップＳ２０５では，ドメインＤｉのメ
ンバ変数のうち，ドメインＤ′にないものを，ドメイン
Ｄ′へ追加し，ドメインＤｉを消去する。ステップＳ２
０６では，新しいドメインＤ′のメンバ変数のみで構成
されている変数候補の集合を持つドメインが変数分類表
Ｔ′にあるかどうかを判定する。そのようなドメインが
変数分類表Ｔ′にある場合にはステップＳ２０７の処理
を行う。ない場合には，次のドメインの処理へ移る。

【００８７】ステップＳ２０７では，該当する全てのド
メインをドメインＤ′にマージする。全ドメインについ
て以上の処理を実行したならば，ステップＳ２０８によ
り，新しい変数分類表Ｔ″を出力する。例えば，ドメイ
ン［Ａ，｛Ｂ，Ｃ｝］，［Ｂ，Ｃ，Ｄ］，［Ｋ，Ｌ，
｛Ａ，Ｂ｝］，…を含む変数分類表Ｔ′が入力された場
合，以下のように処理される。ドメインＤｉ：［Ａ，
｛Ｂ，Ｃ｝］が処理対象のとき，ドメインＤｉの変数候
補の集合Ｓ：｛Ｂ，Ｃ｝を全て含むドメインＤ′：
［Ｂ，Ｃ，Ｄ］が存在するので，ドメインＤ′：［Ｂ，
Ｃ，Ｄ］にドメインＤｉのメンバ変数「Ａ」を追加して
新たなドメインＤ′：［Ａ，Ｂ，Ｃ，Ｄ］とし，ドメイ
ンＤｉ：［Ａ，｛Ｂ，Ｃ｝］を消去する。

【００８８】さらに，新たなドメインＤ′のメンバ変数
のみで構成されている変数候補の集合を持つドメイン
［Ｋ，Ｌ，｛Ａ，Ｂ｝］があるので，これをドメイン
Ｄ′にマージして，ドメインＤ′［Ａ，Ｂ，Ｃ，Ｄ，
Ｋ，Ｌ］とする。ここで，ドメイン［Ａ，Ｂ，Ｃ，Ｄ，
Ｋ，Ｌ］，…を含む変数分類表Ｔ′を新たな変数分類表
Ｔ″として出力する。

【００８９】図１２は，ドメイン定義抽出手段１７の処
理フローチャートおよびデータ構造の例を示す図であ
る。ステップＳ４１では，制約条件抽出手段１３から得
た制約条件表１４と，変数分類手段１５から得た変数分
類表１６とを入力する。

【００９０】ステップＳ４２では，変数分類表１６の各
変数グループに制約条件を付加してドメイン表９を作
る。各ドメインの制約条件は，該当変数の制約条件の和
（ＯＲ）とする。ここで，必要であれば，ドメイン名等
をキーボード等の入力手段によりユーザが登録する。

【００９１】ステップＳ４３では，プログラムのデータ
宣言部を読み，従属する変数がそれぞれ共通のドメイン
に属しているような変数があれば，１ドメインとして，
ドメイン表９に追加する。例えば，図４４（Ａ）に示す
ＣＯＢＯＬプログラムの場合，「受注日付」，「納品日
付」は，ともにドメイン「日」，「月」，「年」内の変
数で構成されているので，ドメイン「年月日」をドメイ
ン表９に追加する。

【００９２】次に，プログラム解析装置１による処理の
具体例を説明する。図１３〜図１５は，プログラム解析
装置１が処理対象として入力するＣＯＢＯＬプログラム
の例，図１６は，本実施例において用いるエラー処理判
定支援情報ファイル１２１の例，図１７は，プログラム
解析装置１により出力されたドメイン定義抽出結果の例
を示す。

【００９３】図１６に示すように，エラー処理判定支援
情報ファイル１２１には，「ＬＡＢＥＬ：エラー処理」
と定義されているので，これによりプログラム中のエラ
ー処理を判定する。図１３〜図１５のＣＯＢＯＬプログ
ラムについて作成された制御フローをトラバースするこ
とにより，「ＧＯ ＴＯ エラー処理」の実行文から直
前の条件式を得る。これによって，次のような条件式が
得られる。

【００９４】(1) 「オーダ番号ＧＥＴ＜＝０」 (2) 「品目番号＜＝０ ＯＲ 品目番号 ＩＳ ＮＯＴ
ＮＵＭＥＲＩＣ」 (3) 「（受注数量Ｅ＞未引当在庫数量ＳＭ） ＡＮＤ
（商品区分ＳＭ＝“０”）」 (4) 「（納入予定年月日＜受注年月日＋１４） ＡＮＤ
（商品区分ＳＭ＝“１”）」 これらの条件式から，「オーダ番号ＧＥＴ＞０」，「品
目番号＞０」，「品目番号 ＩＳ ＮＵＭＥＲＩＣ」の
制約条件が得られる。

【００９５】また，変数分類手段１５による変数のグル
ープ化によって，図１７の左側の欄に変数名リストとし
て示すような変数分類結果が得られ，この変数分類結果
と上記制約条件とから図１７に示すようなドメイン定義
情報が得られる。

【００９６】このドメイン定義情報の出力は，プログラ
ムの解読等に非常に有用であるが，上記制約条件の出力
または変数分類結果の出力だけでも，プログラムの解読
等に十分に有用であることは言うまでもない。

【００９７】次に，図２に示すプログラム解析表示装置
２の詳細について説明する。最初に，図１８〜図２３に
従って，ドメイン解析手段２１によりジョブ制御言語２
４を用いてドメイン間の関係を得る処理について説明す
る。

【００９８】図１８および図１９は解析対象となるＣＯ
ＢＯＬプログラムの例，図２０は各プログラム中に出現
する変数をドメインに分類した例，図２１はジョブ制御
言語（ＪＣＬ）の例，図２２はＣＯＢＯＬプログラムが
扱うファイルレコードの相対番地の例，図２３はジョブ
制御言語を用いた場合のドメイン間の関係を解析する処
理の流れを示している。

【００９９】図１８に示すＣＯＢＯＬプログラムのファ
イルＦＩＬＥ＿１は，プログラムＰＲＯＧ＿Ａ, プログ
ラムＰＲＯＧ＿Ｂを持ち，図１９に示すＣＯＢＯＬプロ
グラムのファイルＦＩＬＥ＿２は，プログラムＰＲＯＧ
＿Ｃを持つ。

【０１００】プログラム解析装置１によって，事前に図
２１に示すように，各プログラムＰＲＯＧ＿Ａ, ＰＲＯ
Ｇ＿Ｂ毎の変数がドメインに分類されているとする。こ
のドメイン分類では，図１８に示すプログラム中の行番
号が４１の文に出現する代入関係により，変数ＶＡＲ＿
Ａ１と変数ＶＡＲ＿Ａ２が，また行番号が４２の文によ
り変数ＶＡＲ＿Ａ１と変数ＶＡＲ＿Ａ３が同一ドメイン
に分類されることが示されている。同様に，プログラム
中の行番号が８６の文に出現する代入関係により，変数
ＶＡＲ＿Ｂ１と変数ＶＡＲ＿Ｂ２が同一ドメインに分類
されることが示されている。

【０１０１】しかし，図２０に示すドメイン分類では，
プログラムという単位毎のドメインの分類は把握できて
も，「プログラムＰＲＯＧ＿Ａ, ＰＲＯＧ＿Ｂに対する
ドメインに，どのような関係があるか」までは，このま
までは把握できない。

【０１０２】そこで，ドメイン解析手段２１では，図２
１に示すようなジョブ制御言語（ＪＣＬ）を用いて，ド
メイン間の関係を解析する。図２１に示すＪＣＬは，
「プログラムＰＲＯＧ＿Ａ, プログラムＰＲＯＧ＿Ｂを
この順で実行する」ことを記述したものであり，この記
述から，プログラムＰＲＯＧ＿ＡとプログラムＰＲＯＧ
＿Ｂの入力ファイル（論理ファイル名＝ＩＮ＿ＦＩＬ
Ｅ) が共に「ＦＩＬＥ＿２」であることがわかる。

【０１０３】このことから，プログラムＰＲＯＧ＿Ａの
入力ファイルＩＮＦＩＬＥ＿Ａ（図１８の行番号１２参
照）と，プログラムＰＲＯＧ＿Ｂの入力ファイルＩＮＦ
ＩＬＥ＿Ｂ（図１８の行番号５２参照）とが等しいこと
がわかり，従って，入力ファイルＩＮＦＩＬＥ＿Ａ，Ｉ
ＮＦＩＬＥ＿Ｂの各々の定義（図１８の行番号２２〜２
８，行番号６２〜６９）により，変数ＶＡＲ＿Ａ１と変
数ＶＡＲ＿Ｂ１とが，実は同一の相対番地を占める変数
であることが得られる。図２２は，入力ファイルＩＮＦ
ＩＬＥ＿ＡとＩＮＦＩＬＥ＿Ｂの同じ相対番地に割り当
てられている変数の関係を示している。

【０１０４】変数ＶＡＲ＿Ａ１と変数ＶＡＲ＿Ｂ１とが
同じドメインに属することがわかることにより，さら
に，図２０に示すドメイン分類によって，ドメインＤＯ
ＭＡＩＮ＿Ａ１とＤＯＭＡＩＮ＿Ｂ１とが，実は同じド
メインであることがわかる。

【０１０５】ジョブ制御言語を用いた場合のドメイン解
析手段２１によるドメイン間の関係解析処理の流れを，
図２３に従って説明する。ステップＳ５１では，プログ
ラム解析装置１を用いて，各プログラム毎に変数をドメ
インに分類する。この結果をリストＸ１として保持す
る。リストＸ１は，例えばプログラム名，ドメイン名，
各ドメインに属する変数名等の対応情報を持つ。

【０１０６】ステップＳ５２では，ジョブ制御言語を読
み込み，実行する各プログラムの各論理ファイル名（Ｉ
Ｎ＿ＦＩＬＥ, ＯＵＴ−ＦＩＬＥ等）に対して，物理フ
ァイル名（ＦＩＬＥ＿２，ＦＩＬＥ＿Ｎ等）を取り出
し，リストＸ２にその対応情報を保持する。

【０１０７】次に，ステップＳ５３では，各論理ファイ
ル名に対して，同一の物理ファイル名を持つプログラム
を探し出し，ファイル名をリストＸ３に保持する。この
例では，物理ファイル名＝ＦＩＬＥ＿２が等しいプログ
ラムＰＲＯＧ＿Ａ, プログラムＰＲＯＧ＿Ｂのそれぞれ
の論理ファイルＩＮ＿ＦＩＬＥに対応するＩＮＦＩＬＥ
＿ＡとＩＮＦＩＬＥ＿Ｂのリストが得られる。

【０１０８】ステップＳ５４では，リストＸ３を参照
し，同一物理ファイル名を持つプログラムが存在するか
どうかを判定する。存在する場合には，ステップＳ５５
を実行し，存在しない場合またはすべての物理ファイル
に対する処理を終了したならば，ステップＳ５６へ進
む。

【０１０９】ステップＳ５５では，プログラム等のＤＡ
ＴＡ ＤＩＶＩＳＩＯＮの定義を参照して，共通の相対
番地を持つ変数のグループを拾い出し，リストＸ４に保
持する。この例では，変数ＶＡＲ＿Ａ１と変数ＶＡＲ＿
Ｂ１とが同じ相対番地を持つ変数として抽出され，リス
トＸ４に格納される。その後，ステップＳ５４へ戻り，
次の同一物理ファイル名を持つプログラムに対して同様
に処理を繰り返す。

【０１１０】ステップＳ５６では，リストＸ４に保持し
た各変数グループに対して，その変数が含まれるリスト
Ｘ１内のドメイン同士を同一ドメインとする。この例で
は，リストＸ１とリストＸ４とから，ドメインＤＯＭＡ
ＩＮ＿Ａ１とドメインＤＯＭＡＩＮ＿Ｂ１とが同一ドメ
インであることが得られる。

【０１１１】以上のようにして，これまではわからなか
った複数プログラム間のドメインの関係が，ジョブ制御
言語を用いることにより，プログラムという枠を越えて
容易に得られるようになる。

【０１１２】ドメイン間の関係をジョブ制御言語を用い
るのではなく，プログラムの呼び出し関係の情報，すな
わち図２に示すＣＡＬＬ情報２５を用いることにより解
析することもできる。

【０１１３】次に図２４〜図２８に従って，ドメイン解
析手段２１によりＣＡＬＬ情報２５を用いてドメイン間
の関係を得る処理について説明する。図２４および図２
５は解析対象となるＣＯＢＯＬプログラムの例，図２６
はプログラムの呼び出し関係の例，図２７は各プログラ
ム中に出現する変数をドメインに分類した例，図２８は
ＣＡＬＬ情報（プログラムの呼び出し関係の情報）を用
いた場合のドメイン間の関係を解析する処理の流れを示
している。

【０１１４】この例では，図２４に示すプログラムＰＲ
ＯＧ＿ＡとプログラムＰＲＯＧ＿Ｂとから，図２５に示
すプログラムＳＵＢ＿ＰＲＯＧが呼び出されている。す
なわち，各プログラム間に図２６に示すようなプログラ
ムの呼び出し関係がある。

【０１１５】このプログラムの呼び出しの際に，ＵＳＩ
ＮＧ指定がなされていることにより，プログラムＰＲＯ
Ｇ＿Ａの変数ＶＡＲ＿Ｘ１, ＶＡＲ＿Ｘ２, ＶＡＲ＿Ｘ
３の値が，それぞれプログラムＳＵＢ＿ＰＲＯＧの変数
ＶＡＲ＿Ａ，ＶＡＲ＿Ｂ，ＶＡＲ＿Ｃに引き渡され，プ
ログラムＳＵＢ＿ＰＲＯＧ内で具体的な計算が行われ
る。同様に，プログラムＰＲＯＧ＿Ｂの変数ＶＡＲ＿Ｙ
１, ＶＡＲ＿Ｙ２, ＶＡＲ＿Ｙ３の値が，それぞれプロ
グラムＳＵＢ＿ＰＲＯＧの変数ＶＡＲ＿Ａ，ＶＡＲ＿
Ｂ，ＶＡＲ＿Ｃに引き渡され，プログラムＳＵＢ＿ＰＲ
ＯＧ内で処理される。

【０１１６】一方，各プログラム毎のドメインの分類
は，プログラム解析装置１によって，例えば図２７に示
すように求めることができる。このドメイン分類によれ
ば，プログラムＰＲＯＧ＿Ａにおいては変数ＶＡＲ＿Ｘ
３と変数ＶＡＲ＿Ｘ４とが，同一ドメインに含まれ，プ
ログラムＳＵＢ＿ＰＲＯＧにおいては変数ＶＡＲ＿Ａ，
ＶＡＲ＿Ｂ，ＶＡＲ＿Ｃが同一ドメインに含まれること
がわかるので，呼び出し元のプログラムＰＲＯＧ＿Ａに
おいても，実は変数ＶＡＲ＿Ｘ１, ＶＡＲ＿Ｘ２, ＶＡ
Ｒ＿Ｘ３が同一ドメインであることがわかる。すなわ
ち， DOMAIN-A1 ＝［VAR-X3, VAR-X4］ ＝［VAR-X1, VAR-X2, VAR-X3, VAR-X4］ であり，ドメインＤＯＭＡＩＮ＿Ａ１とドメインＤＯＭ
ＡＩＮ＿ＳＵＢ１とが同等であることがわかる。

【０１１７】DOMAIN-A1 ＝ DOMAIN-SUB1 また，プログラムＰＲＯＧ＿Ｂにおいては変数ＶＡＲ＿
Ｙ１, ＶＡＲ＿Ｙ２,ＶＡＲ＿Ｙ３が同一ドメインに含
まれているので，ＵＳＩＮＧ指定により，プログラムＰ
ＲＯＧ＿Ａの場合と同様にして， DOMAIN-B1 ＝ DOMAIN-SUB1 であることがわかり，これから，ドメインＤＯＭＡＩＮ
＿ＳＵＢ１を仲立ちとして， DOMAIN-A1 ＝ DOMAIN-B1 という関係も得られる。

【０１１８】プログラムの呼び出し関係の情報（ＣＡＬ
Ｌ情報）を用いた場合のドメイン解析手段２１によるド
メイン間の関係解析処理の流れを，図２８に従って説明
する。

【０１１９】ステップＳ５０１では，プログラム解析装
置１を用いて，各プログラム毎に変数をドメインに分類
する。この結果をリストＹ１として保持する。リストＹ
１は，例えばプログラム名，ドメイン名，各ドメインに
属する変数名等の対応情報を持つ。

【０１２０】ステップＳ５０２では，ＣＡＬＬの呼び出
し関係をもとに，値の引き渡しが行われる変数の組のリ
ストを，リストＹ２に保持する。この例では，ＶＡＲ＿
Ｘ１, ＶＡＲ＿Ｘ２, ＶＡＲ＿Ｘ３とＶＡＲ＿Ａ，ＶＡ
Ｒ＿Ｂ，ＶＡＲ＿Ｃのそれぞれの組，またＶＡＲ＿Ｙ
１, ＶＡＲ＿Ｙ２, ＶＡＲ＿Ｙ３とＶＡＲ＿Ａ，ＶＡＲ
＿Ｂ，ＶＡＲ＿Ｃのそれぞれの組のリストが得られる。

【０１２１】次に，ステップＳ５０３では，リストＹ２
に保持した各変数グループに対して，その変数が含まれ
るリストＹ１内のドメイン同士を同一ドメインとする。
この例では， DOMAIN-A1 ＝ DOMAIN-SUB1 DOMAIN-B1 ＝ DOMAIN-SUB1 が得られ，さらに，これらから， DOMAIN-A1 ＝ DOMAIN-B1 が得られる。

【０１２２】以上のように，プログラム単位ではわから
なかった変数のドメインへの分類が，ＣＡＬＬの呼び出
し関係を用いることによって，新たにわかるようにな
り，新たな統合された分類が可能になる。

【０１２３】さらに，ユーザ入力情報（図２のユーザ入
力情報２６）を用いて，ドメイン間の関係を得ることも
できる。図２９〜図３２に従って，ドメイン解析手段２
１によりユーザ入力情報を用いてドメイン間の関係を得
る処理について説明する。

【０１２４】図２９および図３０は解析対象となるＣＯ
ＢＯＬプログラムの例，図３１は各プログラム中に出現
する変数をドメインに分類した例，図３２はユーザ入力
情報を用いた場合のドメイン間の関係を解析する処理の
流れを示している。

【０１２５】図２９および図３０に示すようなファイル
ＦＩＬＥ＿１とＦＩＬＥ＿２に格納されたプログラムＰ
ＲＯＧＲＡＭ１とＰＲＯＧＲＡＭ２とについて，ユーザ
入力情報からドメイン間の関係情報を得るものとする。
図３１に示すように，各プログラム毎のドメイン分類
は，図１に示すプログラム解析装置１によって求められ
る。

【０１２６】この例のような場合，プログラムＰＲＯＧ
ＲＡＭ１とプログラムＰＲＯＧＲＡＭ２で行われている
処理は共に明らかであるので，ユーザにとってはプログ
ラム毎のドメイン分類を得るだけでなく，全体をまとめ
ての「日付」，「各科目の得点」，「平均点」という観
点からの分類を得ることが望まれる。この点に鑑みて，
本例では，ユーザによる関係付け条件の指定を可能と
し，ユーザが入力した関係付けの条件によって全体のド
メイン間の関係情報を得る。

【０１２７】例えば，ユーザが「各科目の得点」という
観点から，キーワード「ＫＡＭＯＫＵ」を与えたとす
る。ドメイン解析手段２１は，キーワード「ＫＡＭＯＫ
Ｕ」を変数名（または変数名の一部）に持つ変数群と，
その変数群を含むドメインを全プログラムから探し出
し，各プログラムに対して得られたドメイン群を同等な
ものとみなす処理を行う。

【０１２８】以上の，ユーザ入力情報を用いた場合のド
メイン解析手段２１によるドメイン間の関係解析処理の
流れを，図３２に従って説明する。ステップＳ５１１で
は，プログラム解析装置１を用いて，各プログラム毎に
変数をドメインに分類する。この結果をリストＺ１とし
て保持する。リストＺ１は，例えばプログラム名，ドメ
イン名，各ドメインに属する変数名等の対応情報を持
つ。

【０１２９】ステップＳ５１２では，ユーザ入力によ
り，ドメインの関係付け情報Ｚ２を得る。この例では，
ユーザは関係付け情報Ｚ２としてキーワードを入力する
ものとし，そのキーワードを変数名の先頭に含む変数を
同一ドメインに属するものとして扱うようにしている。
他にユーザの関係付け情報として，ある特定範囲の数字
を含む変数名，ある特定の文字を含む変数名というよう
に，プログラム作成時に変数名の命名規則として規定さ
れた種々の条件を，関係付け情報として用いることも可
能である。

【０１３０】ステップＳ５１３では，入力された関係付
け情報Ｚ２に当てはまる変数をリストＺ１内から探し出
し，該当するリストＺ１内のドメイン同士を同一のドメ
インとする。これによって，プログラムＰＲＯＧＲＡＭ
１のドメインＤＯＭＡＩＮ１＿２とプログラムＰＲＯＧ
ＲＡＭ２のドメインＤＯＭＡＩＮ２＿２とが同一のドメ
インであることがわかる。

【０１３１】DOMAIN1-2 ＝ DOMAIN2-2 以上のように，ユーザの要求に従ってドメイン間の関係
を得ることも可能である。

【０１３２】次に，図２に示す表示処理手段２２による
グラフ表示処理について説明する。図３３は，ドメイン
間の関係および変数の代入関係の表示をグラフ表示した
例を示す図である。

【０１３３】ドメイン間の関係と変数の代入関係の情報
から，(a) ドメインを中心にしたグラフ表示，(b) 変数
の代入関係を中心にしたグラフ表示を行うことができ
る。いずれも次のような表示を行う。

【０１３４】(1) 各変数を丸や矩形等の図形で表す。 (2) ある変数から他の変数への代入を，例えば図３３
（Ａ）に示すように，代入元変数を表す図形から代入先
変数を表す図形への矢印で表す。あるいは，図３３
（Ｂ）に示すように，代入元変数の図形を左側に，代入
先変数の図形を必ずその右側に描くという規約を設けた
上で，代入元変数の図形と代入される変数の図形とを線
で繋ぐ。

【０１３５】(3) 図３３（Ｃ）に示すように，同一のド
メインに含まれる変数／変数とその代入関係を描き，そ
れらの変数（図形）全てを取り囲むようにして，ドメイ
ンを表す図形を描く。

【０１３６】(4) 図３３（Ｄ）に示すように，同一ドメ
イン同士を線で結ぶ。特に，ドメインを中心にしたグラ
フ表示では，例えば図３３（Ｅ）に示すように，同一の
ドメインに分類されたドメイン同士を線で結ぶ。その際
に，変数の代入関係は別段意識して描くことはせず，そ
のドメインに含まれる変数を，変数名や簡単な図形等で
書き表す。各変数については，必要に応じてその詳細な
情報を得て表示することも可能である。この場合，変数
について必要と思われる情報を，変数情報の追加項目と
して保持しておけばよい。

【０１３７】また，変数の代入関係を中心にしたグラフ
表示では，例えば図３３（Ｆ）に示すように，代入元の
変数を表す図形から代入先の変数を表す図形への流れを
きちんと描くことを重視し，複数プログラムに跨がって
同一の変数とみなせる変数を同一であることがわかるよ
うな形で表す。変数が同一とみなせることを表すには，
ドメインを描いて線で結ぶというような表現，またはそ
の変数同士を直接，線で結ぶなどの表現が可能である。

【０１３８】図３４は変数とドメインの情報（対応表）
の例，図３５はドメイン関係情報の例，図３６はドメイ
ン間の関係と変数代入関係のグラフ表示例を示す。図３
４に示す対応表は，図１８および図１９に示すＣＯＢＯ
Ｌプログラム中に出現する全変数とドメインについての
情報を保持しており，プログラム解析装置１によって得
られたものである。これらの情報からドメイン解析手段
２１によって，前述したドメイン間の関係を解析する処
理により図３５に示すようなドメイン関係情報が得られ
る。

【０１３９】図３４および図３５に示す情報をもとにし
て，図１８および図１９に示すＣＯＢＯＬプログラムに
対するドメイン間の関係と変数の代入関係をグラフ表示
したものが，図３６である。このグラフ表示において，
楕円は変数を表し，楕円を結ぶ矢印が代入元と代入先を
表す。変数の代入の関係を囲む矩形（枠）は，その変数
を含むドメインであり，矩形間を結ぶ線は同等なものと
分類されたドメイン同士であることを表している。

【０１４０】すなわち，図３６に示すグラフ表示は，プ
ログラムＰＲＯＧ＿ＡのドメインＤＡ１は，変数ＶＡＲ
＿Ａ１, ＶＡＲ＿Ａ２, ＶＡＲ＿Ａ３を持ち，ＶＡＲ＿
Ａ２およびＶＡＲ＿Ａ３には，ＶＡＲ＿Ａ１の値が代入
されることを表している。また，プログラムＰＲＯＧ＿
ＢのドメインＤＢ１は，変数ＶＡＲ＿Ｂ１, ＶＡＲ＿Ｂ
２を持ち，ＶＡＲ＿Ｂ２からＶＡＲ＿Ｂ１へ値が代入さ
れることを表している。

【０１４１】一方，図３５のドメイン関係情報からドメ
インＤＡ１とドメインＤＢ１とを同一とみなし，またド
メインＤＡ２とドメインＤＢ３とを同一とみなすことが
できるので，ドメインＤＡ１とドメインＤＢ１の矩形同
士, およびドメインＤＡ２とドメインＤＢ３の矩形同士
をそれぞれ線で結んで表す。

【０１４２】図３７は，表示処理手段２２によるドメイ
ンを中心にしたグラフ表示の処理フローチャートであ
る。まず，ステップＳ６１では，図３４に示すような対
応表において，処理対象のプログラムがあるかどうかを
判定する。プログラムがある場合，ステップＳ６２以下
の処理を行い，プログラムがない場合，ステップＳ６４
へ進む。

【０１４３】次のステップＳ６２では，着目したプログ
ラムに対して未処理のドメインがあるかどうかを判定す
る。未処理のドメインがない場合，ステップＳ６１へ戻
って次のプログラムについての処理へ移る。

【０１４４】未処理のドメインがある場合，ステップＳ
６３によって，そのドメインを矩形の枠で描画し，その
内側に変数名または変数を表すものを描く。その後，ス
テップＳ６３へ戻り，他のドメインについて同様に処理
を繰り返す。

【０１４５】ステップＳ６４では，描画したドメインの
関係を見て，関係のあるドメイン同士を線で結ぶことに
より，ドメイン間の関係を表示する。図３８は，表示処
理手段２２による変数の代入関係を中心にしたグラフ表
示の処理フローチャートである。

【０１４６】ステップＳ６０１では，図３４に示すよう
な対応表において，処理対象のプログラムがあるかどう
かを判定する。プログラムがある場合，ステップＳ６０
２以下の処理を行い，プログラムがない場合，ステップ
Ｓ６０５へ進む。

【０１４７】次のステップＳ６０２では，着目したプロ
グラムに対して未処理のドメインがあるかどうかを判定
する。未処理のドメインがない場合，ステップＳ６０１
へ戻って次のプログラムについての処理へ移る。

【０１４８】未処理のドメインがある場合，ステップＳ
６０３によって，さらにそのドメインについて代入関係
にある変数があるかどうかを判定する。代入関係にある
変数がない場合，ステップＳ６０２へ戻り，次のドメイ
ンについて同様に処理を繰り返す。

【０１４９】代入関係にある変数がある場合，ステップ
Ｓ６０４により，それらの変数の代入関係を描く。次
に，ステップＳ６０３へ戻り，同様に処理を繰り返す。
すべてのプログラムについての以上の処理が終了したな
らば，次に，ステップＳ６０５により，ドメインを描く
かどうかを判定し，ドメインを描く場合，ステップＳ６
０６を実行し，ドメインを描かない場合には，ステップ
Ｓ６０７を実行する。ドメインを描くか描かないかは，
ユーザの指定情報によって判断する。

【０１５０】ドメインを描く場合，ステップＳ６０６に
よりドメインを描き，同一ドメインを線で結ぶ。一方，
ドメインを描かない場合には，ステップＳ６０７により
同等な変数を線で結ぶ処理を行う。

【０１５１】次に，図２に示す表示処理手段２２による
対応ソースコードの表示処理について説明する。図３９
は，ソースコードと出現行番号の表示例を示す。前述し
た図３６のドメイン・グラフ表示画面において，ユーザ
が変数ＶＡＲ＿Ａ１の図形（楕円）を，マウス等のポイ
ンティング・デバイスにより選択すると，図３９に示す
ソースリスト表示画面のように，その変数ＶＡＲ＿Ａ１
が出現するソースの行をハイライト表示する。または，
図３９に示す出現行番号表示画面のように，変数ＶＡＲ
＿Ａ１が出現するソースの行番号をリストアップしたも
のを表示する。必要に応じてその双方を表示するように
してもよい。これによって，変数ＶＡＲ＿Ａ１が行番号
４１と４２の文に出現することがわかる。

【０１５２】図４０は，表示処理手段２２によるソース
コード表示処理のフローチャートである。まず，ステッ
プＳ７１では，ユーザからの入力または事前の環境設定
情報により，強調表示の表示方法として，枠囲み，アン
ダーライン，反転，色別等を設定する。また，出現行番
号表示画面による行番号表示を行うか，ソースリスト表
示画面によるソースコードそのものの表示を行うかを設
定する。

【０１５３】ステップＳ７２では，グラフ表示画面にお
いて選択されたドメインまたは変数の指定を入力する。
ステップＳ７３では，図３４に示すような対応表を参照
し，指定されたドメイン／変数に対応する行番号のリス
トを表示する。またはソースコードの行をステップＳ７
１で設定された表示方法に従って表示する。

【０１５４】一方，図３９に示すソースコード表示処理
とは逆に，ソースリスト表示画面で指定された文に含ま
れる変数やドメインを，ドメイン・グラフ表示画面にお
いて，強調表示することも可能である。

【０１５５】図４１は，図２に示す表示処理手段２２に
よるグラフの強調表示例を示す。例えば，図４１に示す
ようなソースリスト表示画面において，行番号８６のソ
ースコードがマウス等によりクリックされると，その行
に含まれる変数の関係とその変数が含まれるドメインと
が，図４１に示すドメイン・グラフ表示画面のように，
強調して表示される。すなわち，行番号８６に含まれる
変数が，図３４の対応表からＶＡＲ＿Ｂ１とＶＡＲ＿Ｂ
２であることがわかるため，これらを表す楕円およびこ
れらを含むドメインＤＢ１の矩形がハイライト表示され
る。

【０１５６】図４２は，表示処理手段２２によるドメイ
ン／変数強調表示処理のフローチャートである。まず，
ステップＳ８１では，ユーザからの入力または事前の環
境設定情報により，強調表示の表示方法として，枠囲
み，反転，色別等を設定する。また，強調表示の表示対
象として，ドメイン，変数またはこれらの双方のいずれ
かを設定する。

【０１５７】ステップＳ８２では，エディタ等によるソ
ースリスト表示画面において指定された行の行番号を入
力する。ステップＳ８３では，図３４に示すような対応
表を参照し，指定された行番号に対応するドメイン／変
数を，ステップＳ８１で設定された表示方法に従って表
示する。

【０１５８】次に，図２に示すドメイン要素の関係出力
手段２３によるドメイン要素の関係情報出力処理の例を
説明する。例えば，図１８および図１９に示すＣＯＢＯ
Ｌプログラムにおいて，変数ＶＡＲ＿Ａ１３に対応する
他の変数を，全てのプログラムの中から探し出す場合
に，本処理が有効となる。本処理では，具体的には，変
数「年」「月」「日」がまとめて変数「年月日」として
構造化されているような場合に，変数「年月日」が属す
るドメインの関係情報を利用して，変数「年」等に対応
する他のすべての変数の情報を自動抽出するような処理
を行う。

【０１５９】図４３は，そのドメイン要素の関係情報出
力処理のフローチャートである。ステップＳ９１では，
指定された変数（ドメイン要素）が属するドメインを求
める。例えば図１８に示すＣＯＢＯＬプログラムにおい
て変数ＶＡＲ＿Ａ１３が指定された場合，変数ＶＡＲ＿
Ａ１３が変数ＶＡＲ＿Ａ１に含まれることから，図３４
に示す対応表をもとにドメインＤＡ１を得る。

【０１６０】ステップＳ９２では，求めたドメインと同
一関係にあるドメインがあるかどうかを調べる。同一関
係にあるドメインがある場合には，ステップＳ９３の処
理を行い，他にない場合にはステップＳ９４へ進む。こ
の例では，図３５に示すドメイン関係情報から，ドメイ
ンＤＡ１と同一関係にあるドメインＤＢ１があることが
わかるので，これについてステップＳ９３が実行され
る。

【０１６１】ステップＳ９３では，同一関係にある他の
ドメイン中の対応する変数（ドメイン要素）をすべて抽
出する。この例では，ドメインＤＢ１に属する変数ＶＡ
Ｒ＿Ｂ１が求められ，さらに変数ＶＡＲ＿Ａ１と変数Ｖ
ＡＲ＿Ｂ１の関係から，図２２に示すような相対番地が
考慮され，変数ＶＡＲ＿Ａ１３に対応する変数ＶＡＲ＿
Ｂ１２が求められる。

【０１６２】次にステップＳ９２へ戻り，同様に処理を
繰り返し，すべての同一関係にあるドメインについての
処理が終了したならば，ステップＳ９４によって，ステ
ップＳ９３により抽出した変数（ドメイン要素）の対応
関係情報を表示する。この例では，変数ＶＡＲ＿Ａ１３
が変数ＶＡＲ＿Ｂ１２に対応することが表示され，これ
らは擬似的なドメインを構成することが示される。

【０１６３】変数の対応関係として，同一の関係だけで
はなく，例えば図１８に示す変数ＶＡＲ＿Ａ１１または
変数ＶＡＲ＿Ａ１２と，変数ＶＡＲ＿Ｂ１１の関係のよ
うに，包含関係を自動抽出して表示することも可能であ
る。ドメイン分類情報を利用することにより，これらの
処理を容易に行うことができる。

【０１６４】図２に示すプログラム解析表示装置２は，
図１に示すプログラム解析装置１が抽出したプログラム
毎のドメイン定義情報もしくはドメインに分類した変数
情報に基づいて処理を行うが，例えば１つのプログラム
においてドメインを構成しない単独の変数であっても，
他のプログラムとの関係ではドメインを構成することも
ある。

【０１６５】この場合，プログラム解析装置１におい
て，予め単独の変数についても１つのドメインを構成す
るとして，それにドメインＩＤを与えて処理してもよ
く，また，プログラム解析表示装置２において，必要に
なったときに，各プログラム中に単独で現れる変数に対
してドメインＩＤを与えて処理してもよい。例えば，複
数のプログラムにおいて，同じ名前の外部変数名は，同
一関係にあるドメインとして扱うことができる。同じ名
前のデータベース・スキーマ名を持つ変数なども同様で
ある。

【０１６６】

【発明の効果】一般に，プログラムの仕様としてドメイ
ンを定義付けることを，そのドメイン内の変数のエラー
処理条件，変数が表現する対象や，利用制約などを明確
にするために，プログラムの開発・作成時に，プログラ
ム設計者が行っている。しかし，既存のプログラムに
は，このようなドメイン定義情報がないことがあり，ま
たドメイン定義情報がある場合でも，人間が作成したも
のであるので，正確に反映されていない可能性もある。

【０１６７】本発明のプログラム解析装置によれば，ド
メイン定義が明確に行われていなかった既存プログラム
を解析し，ドメイン定義情報を自動抽出することによ
り，プログラムの理解を助けるという効果を奏する。例
えば，「年」を表現する変数を一律に２桁から４桁に修
正したい場合，プログラムからこのような「年」を表現
する変数を容易に検索することができるようになる。す
なわち，既存のプログラムのデバッグ，保守，改良等の
際に，種々の名前を持つ変数を制約条件に基づいたカテ
ゴリーに分けた情報を利用することができるようになる
ので，プログラミングあるいはプログラムの理解を速く
かつ容易に行えるようになる。

【０１６８】また，大規模なプログラムは，通常，その
処理内容に応じて複数のプログラムから構成される。し
かも，大抵の場合において，それらの個々のプログラム
は異なる人によって書かれるため，作成規約を設けては
いても，全体的な処理の中でどのような変数を用いて情
報が流れていくかを把握するのは難しい。

【０１６９】また，本発明のプログラム解析装置によれ
ば，複数プログラムの各々において異なる文字列で表さ
れていた変数の関係を解析し，すなわち，複数のプログ
ラムにわたって同等な関係にある変数群を自動抽出し，
その解析結果をグラフ表示によって視覚的にわかりやす
く表示することができるため，特に多数のプログラムか
らなる一連の処理流れを容易に理解することが可能にな
る。

【０１７０】また，ある変数がソースリスト（ソースコ
ード）上のどこで使われているのか，逆に，ソースリス
ト上のある変数と関係のある変数がどれであるかなど
を，容易に把握することができるようになるという点で
も，プログラムの理解を支援する技術として大きく貢献
する。

【図面の簡単な説明】

【図１】本発明に係るプログラム解析装置の構成例を示
す図である。

【図２】本発明に係るプログラム解析表示装置の構成例
を示す図である。

【図３】制約条件抽出手段の構成例を示す図である。

【図４】エラー判定条件抽出処理の例を示す図である。

【図５】条件式／制約条件変換処理の例を示す図であ
る。

【図６】制約条件抽出手段の処理フローチャートであ
る。

【図７】変数分類手段の処理フローチャートおよびデー
タ構造を示す図である。

【図８】『処理１』のフローチャート（その１）であ
る。

【図９】『処理１』のフローチャート（その２）であ
る。

【図１０】『処理１』から得られるデータ構造の例を示
す図である。

【図１１】『処理２』のフローチャートである。

【図１２】ドメイン定義抽出手段の処理フローチャート
およびデータ構造を示す図である。

【図１３】入力するプログラム例（その１）を示す図で
ある。

【図１４】入力するプログラム例（その２）を示す図で
ある。

【図１５】入力するプログラム例（その３）を示す図で
ある。

【図１６】エラー処理判定支援情報ファイルの例を示す
図である。

【図１７】ドメイン定義抽出結果の例を示す図である。

【図１８】解析対象となるＣＯＢＯＬプログラムの例を
示す図である。

【図１９】解析対象となるＣＯＢＯＬプログラムの例を
示す図である。

【図２０】各プログラム中に出現する変数をドメインに
分類した例を示す図である。

【図２１】ジョブ制御言語（ＪＣＬ）の例を示す図であ
る。

【図２２】ＣＯＢＯＬプログラムが扱うファイルレコー
ドの相対番地の例を示す図である。

【図２３】ジョブ制御言語を用いた場合のドメイン間の
関係を解析する処理の流れを示す図である。

【図２４】解析対象となるＣＯＢＯＬプログラムの例を
示す図である。

【図２５】解析対象となるＣＯＢＯＬプログラムの例を
示す図である。

【図２６】プログラムの呼び出し関係の例を示す図であ
る。

【図２７】各プログラム中に出現する変数をドメインに
分類した例を示す図である。

【図２８】プログラムの呼び出し関係の情報を用いた場
合のドメイン間の関係を解析する処理の流れを示す図で
ある。

【図２９】解析対象となるＣＯＢＯＬプログラムの例を
示す図である。

【図３０】解析対象となるＣＯＢＯＬプログラムの例を
示す図である。

【図３１】各プログラム中に出現する変数をドメインに
分類した例を示す図である。

【図３２】ユーザ入力情報を用いた場合のドメイン間の
関係を解析する処理の流れを示す図である。

【図３３】ドメイン間の関係および変数の代入関係の表
示をグラフ表示した例を示す図である。

【図３４】変数とドメインの情報（対応表）の例を示す
図である。

【図３５】ドメイン関係情報の例を示す図である。

【図３６】ドメイン間の関係と変数代入関係のグラフ表
示例を示す図である。

【図３７】表示処理手段によるドメインを中心にしたグ
ラフ表示の処理フローチャートである。

【図３８】表示処理手段による変数の代入関係を中心に
したグラフ表示の処理フローチャートである。

【図３９】ソースコードと出現行番号の表示例を示す図
である。

【図４０】表示処理手段によるソースコード表示処理の
フローチャートである。

【図４１】表示処理手段によるグラフの強調表示例を示
す図である。

【図４２】表示処理手段によるドメイン／変数強調表示
処理のフローチャートである。

【図４３】ドメイン要素の関係出力手段によるドメイン
要素の関係情報出力処理のフローチャートである。

【図４４】従来技術の説明図である。

【符号の説明】

１ プログラム解析装置 １１ 解析対象プログラム情報 １２ エラー処理判定支援情報 １３ 制約条件抽出手段 １３１ エラー判定条件抽出手段 １３２ 条件式／制約条件変換手段 １４ 制約条件表 １５ 変数分類手段 １６ 変数分類表 １７ ドメイン定義抽出手段 １８ ドメイン定義情報 ２ プログラム解析表示装置 ２１ ドメイン解析手段 ２２ 表示処理手段 ２３ ドメイン要素の関係出力手段 ２４ ジョブ制御言語（ＪＣＬ） ２５ ＣＡＬＬ情報 ２６ ユーザ入力情報 ２７ ドメイン関係情報 ２８ ディスプレイ

───────────────────────────────────────────────────── フロントページの続き (72)発明者 長橋 賢児 神奈川県川崎市中原区上小田中４丁目１ 番１号 富士通株式会社内 (72)発明者 上原 三八 神奈川県川崎市中原区上小田中４丁目１ 番１号 富士通株式会社内 (56)参考文献 特開 平５−324283（ＪＰ，Ａ) 特開 平３−24639（ＪＰ，Ａ) (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 9/06,9/44

Claims (9)

(57)【特許請求の範囲】
1. 【請求項１】 プログラムを解析し，プログラム中の変
   数に関する解析情報を出力するプログラム解析装置であ
   って， プログラムのエラー処理部分を認識し，エラー処理を行
   う条件を抽出するエラー判定条件抽出手段と， このエラー判定条件抽出手段の出力を分析して特定の変
   数の制約条件を得る条件式／制約条件変換手段とを備
   え， プログラム中の変数に対して与えられた制約条件を抽出
   して出力することを特徴とするプログラム解析装置。
2. 【請求項２】 プログラムを解析し，プログラム中の変
   数に関する解析情報を出力するプログラム解析装置であ
   って， プログラムのエラー処理部分を認識し，エラー処理を行
   う条件を抽出するエラー判定条件抽出手段とこのエラー
   判定条件抽出手段の出力を分析して特定の変数の制約条
   件を得る条件式／制約条件変換手段とからなる制約条件
   抽出手段と， プログラムのある実行文中で複数の変数が用いられてい
   る場合に，それらの変数の関係をその実行文の種類また
   はオペランドの種類によって分析し，それらの変数の値
   が同じドメインを表現するかどうかによってグループに
   分ける変数分類手段と， 前記変数分類手段から得た複数の変数が共通に表現する
   ドメインに関する分類情報と前記制約条件抽出手段から
   得た変数の制約条件とから，同じ対象を表現するドメイ
   ンに関する定義情報を抽出するドメイン定義抽出手段と
   を備え， プログラムの解析結果としてドメイン定義情報を出力す
   ることを特徴とするプログラム解析装置。
3. 【請求項３】 請求項２記載のプログラム解析装置にお
   いて，前記変数分類手段により 各プログラム毎にドメインに分
   類された変数情報とそれらの各プログラムを実行させる
   制御情報を記述したジョブ制御言語の情報とをもとに，
   複数のプログラムにおけるドメイン間の関係を解析する
   ドメイン解析手段と， 解析したドメイン間の関係を表示する表示処理手段とを
   備えたことを特徴とするプログラム解析装置。
4. 【請求項４】 請求項２記載のプログラム解析装置にお
   いて，前記変数分類手段により 各プログラム毎にドメインに分
   類された変数情報とそれらの各プログラムの呼び出し関
   係の情報とをもとに，複数のプログラムにおけるドメイ
   ン間の関係を解析するドメイン解析手段と， 解析したドメイン間の関係を表示する表示処理手段とを
   備えたことを特徴とするプログラム解析装置。
5. 【請求項５】 請求項２記載のプログラム解析装置にお
   いて，前記変数分類手段により 各プログラム毎にドメインに分
   類された変数情報とユーザの入力による情報とをもと
   に，複数のプログラムにおけるドメイン間の関係を解析
   するドメイン解析手段と， 解析したドメイン間の関係を表示する表示処理手段とを
   備えたことを特徴とするプログラム解析装置。
6. 【請求項６】 請求項３，請求項４または請求項５記載
   のプログラム解析装置において， 各プログラムにおける変数間の代入の関係を保持する手
   段を有し， 前記表示処理手段は，複数のプログラムに跨がるドメイ
   ン間の関係と，それらの各ドメインに含まれる変数間の
   代入の関係とを，グラフの形態で視覚的に表示する手段
   を持つことを特徴とするプログラム解析装置。
7. 【請求項７】 請求項６記載のプログラム解析装置にお
   いて， 各プログラムにおけるドメインを構成する変数の代入文
   または代入式の出現位置を保持する手段を有し， 前記表示処理手段は，前記グラフの表示におけるドメイ
   ンまたは変数の指示に対し，指示されたドメインまたは
   変数を含むプログラム中の対応するソースコードまたは
   その出現位置情報を表示する手段を持つことを特徴とす
   るプログラム解析装置。
8. 【請求項８】 請求項６記載のプログラム解析装置にお
   いて， 各プログラムにおけるドメインを構成する変数の代入文
   または代入式の出現位置を保持する手段を有し， 前記表示処理手段は， 指定されたプログラムのソースコードを表示する手段
   と， 表示したプログラムのソースコード中で文または変数が
   指定された場合に，その文に出現する変数または指定さ
   れた変数を表す図形を，前記グラフの表示上で強調表示
   する手段を持つことを特徴とするプログラム解析装置。
9. 【請求項９】 請求項３，請求項４または請求項５記載
   のプログラム解析装置において， ドメインの要素に含まれる変数または変数群の指定によ
   り，前記ドメイン解析手段が解析したドメイン間の関係
   情報に基づいて，同一関係にあるドメインの要素に含ま
   れる指定された変数または変数群に対応するすべての変
   数または変数群を表示するドメイン要素の関係出力手段
   を備えたことを特徴とするプログラム解析装置。