JPH08292881A - プログラム影響範囲表示装置 - Google Patents

Abstract

(57)【要約】 【目的】 特定の命令の影響範囲の表示を可能とし、し
かもそのような表示（その表示のための指定や解析を含
む）を対話的に行うことができるようにする。 【構成】 依存グラフ作成手段５は、データ依存解析お
よび制御依存解析の解析結果を統合して依存グラフを作
成する。命令選択手段８は、起点命令に対応する起点ノ
ードを依存グラフで選択する。データ強調表示手段９
は、影響範囲表示種別がデータ依存関係に関する種別で
ある場合に、起点ノードからの依存グラフの走査に基づ
き、ソースプログラム中で起点命令とデータ依存関係に
ある命令群をプログラムブラウザ７上で強調表示する。
ネスト強調表示手段１０は、影響範囲表示種別が制御依
存関係に関する種別である場合に、起点ノードからの依
存グラフの走査に基づき、ソースプログラム中で起点命
令と制御依存関係にある命令群をプログラムブラウザ７
上で強調表示する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ソースプログラムを解
析して解析結果を表示するプログラム解析表示装置に関
し、特に解析対象のソースプログラムの特定箇所に記述
された命令の影響範囲を対話的に表示するプログラム影
響範囲表示装置に関する。

【０００２】

【従来の技術】従来のプログラム解析表示装置として
は、次のおよびに示すようなものがあった。

【０００３】 特開昭６２−２９０９３３号公報や特
開平５−１８１６５２号公報に開示されているように、
構文解析，制御フロー解析およびデータフロー解析の技
術が用いられることによってソースプログラムが解析さ
れ、その解析結果が表示されるもの

【０００４】 特開平３−７００３９号公報に開示さ
れているように、浮動小数点の誤差伝播に関する解析等
の技術が用いられることにより、ソースプログラム中で
の関数値の不可避的な誤差に対する影響度が解析され、
その解析結果が表示されるもの

【０００５】

【発明が解決しようとする課題】上述のように、従来
は、解析対象のソースプログラムの特定箇所に記述され
た命令の影響範囲（影響を及ぼす当該ソースプログラム
中の処理のまとまり（命令群））を対話的に表示するこ
とを目的とするプログラム解析表示装置、すなわちプロ
グラム影響範囲表示装置は存在しなかった。

【０００６】ここで、上述した従来のプログラム解析表
示装置により、解析対象のソースプログラムの特定箇所
に記述された命令の影響範囲を表示しようとする場合を
考えてみる。この場合には、以下の問題点があった。

【０００７】第１の問題点は、「利用者による特定の命
令の指定によりその命令の影響範囲を対話的に表示す
る」という対話的な処理を行うことができない点であ
る。

【０００８】第２の問題点は、影響範囲を正確に解析で
きない点である。すなわち、の従来技術に関する構文
解析，制御フロー解析およびデータフロー解析の技術の
みでは特定の命令についての制御依存関係に関する影響
範囲を正確に解析できないし、の従来技術に関する浮
動小数点の誤差伝播に関する解析等の技術のみではデー
タ依存関係および制御依存関係に関する影響範囲の正確
な解析を行うことができない。

【０００９】例えば、以下のソースプログラムにおいて
命令（３）は命令（１）に制御依存しているが、制御フ
ローは命令（１）→命令（２）→命令（３）→命令
（４）と流れるため、従来技術では命令（３）と命令
（１）とが直接的に制御依存関係にあることを判断でき
ない。 （１） ＩＦ Ｘ ＞ ０ （２） ＭＯＶＥ Ａ ＴＯ Ｂ （３） ＭＯＶＥ Ｃ ＴＯ Ｄ （４） ＥＮＤ−ＩＦ．

【００１０】ここで、命令についての「制御依存関係」
とは、一の命令が実行されるか否かが他の命令の実行内
容に依存する関係をいう。具体的には、分岐命令Ａの分
岐内容によって、一の場合には命令Ｂが実行され、他の
場合には命令Ｂが実行されないときに、命令Ｂは命令Ａ
に制御依存するという。上述のソースプログラムにおい
ては、命令（３）は命令（１）に制御依存している。

【００１１】なお、データ依存関係に関する影響範囲の
解析は、の従来技術においても、ある程度については
行うことができるが、この従来技術では起点命令の指定
およびその影響範囲の表示という「対話的な処理」を行
うことができなかった。

【００１２】以上のように、従来のプログラム解析表示
装置では、ソースプログラム中の特定の箇所に記述され
た命令の影響範囲を正確に解析することと、その解析結
果の表示を対話的に行うこととを同時に実現することは
できなかった。

【００１３】本発明の目的は、上述の点に鑑み、利用者
がソースプログラム中で指定した特定の命令（起点命
令）に影響を及ぼす処理のまとまり（命令群）を正確に
解析して解析結果を表示することができ、しかもそのよ
うな指定，解析および表示を対話的に行うことができる
プログラム影響範囲表示装置を提供することにある。

【００１４】

【課題を解決するための手段】本発明のプログラム影響
範囲表示装置は、ソースプログラムの構文解析の解析結
果に基づく制御フロー解析により制御フローグラフを作
成する制御フロー解析手段と、前記制御フロー解析手段
により作成された制御フローグラフに対するデータ依存
解析を行うデータ依存解析手段と、前記制御フロー解析
手段により作成された制御フローグラフに対する制御依
存解析を行う制御依存解析手段と、前記データ依存解析
手段によるデータ依存解析の解析結果と前記制御依存解
析手段による制御依存解析の解析結果とを統合して依存
グラフを作成する依存グラフ作成手段と、プログラムブ
ラウザの画面上に解析対象のソースプログラムを表示す
る表示手段と、プログラムブラウザを通じて利用者から
指定された起点命令に対応する起点ノードを前記依存グ
ラフ作成手段により作成された依存グラフにおいて選択
する命令選択手段と、利用者から指定される影響範囲表
示種別がデータ依存関係に関する影響範囲の表示を示す
ものである場合に、前記命令選択手段により選択された
起点ノードからの依存グラフの走査に基づいてソースプ
ログラム中で起点命令とデータ依存関係にある命令群を
プログラムブラウザの画面上で強調表示するデータ強調
表示手段と、利用者から指定される影響範囲表示種別が
制御依存関係に関する影響範囲の表示を示すものである
場合に、前記命令選択手段により選択された起点ノード
からの依存グラフの走査に基づいてソースプログラム中
で起点命令と制御依存関係にある命令群をプログラムブ
ラウザの画面上で強調表示するネスト強調表示手段とを
有する。

【００１５】

【作用】本発明のプログラム影響範囲表示装置では、制
御フロー解析手段がソースプログラムの構文解析の解析
結果に基づく制御フロー解析により制御フローグラフを
作成し、データ依存解析手段が制御フロー解析手段によ
り作成された制御フローグラフに対するデータ依存解析
を行い、制御依存解析手段が制御フロー解析手段により
作成された制御フローグラフに対する制御依存解析を行
い、依存グラフ作成手段がデータ依存解析手段によるデ
ータ依存解析の解析結果と制御依存解析手段による制御
依存解析の解析結果とを統合して依存グラフを作成し、
表示手段がプログラムブラウザの画面上に解析対象のソ
ースプログラムを表示し、命令選択手段がプログラムブ
ラウザを通じて利用者から指定された起点命令に対応す
る起点ノードを依存グラフ作成手段により作成された依
存グラフにおいて選択し、データ強調表示手段が利用者
から指定される影響範囲表示種別がデータ依存関係に関
する影響範囲の表示を示すものである場合に命令選択手
段により選択された起点ノードからの依存グラフの走査
に基づいてソースプログラム中で起点命令とデータ依存
関係にある命令群をプログラムブラウザの画面上で強調
表示し、ネスト強調表示手段が利用者から指定される影
響範囲表示種別が制御依存関係に関する影響範囲の表示
を示すものである場合に命令選択手段により選択された
起点ノードからの依存グラフの走査に基づいてソースプ
ログラム中で起点命令と制御依存関係にある命令群をプ
ログラムブラウザの画面上で強調表示する。

【００１６】

【実施例】次に、本発明について図面を参照して詳細に
説明する。

【００１７】図１は、本発明のプログラム影響範囲表示
装置の第１の実施例の構成を示すブロック図である。

【００１８】本実施例のプログラム影響範囲表示装置
は、構文解析手段１と、制御フロー解析手段２と、デー
タ依存解析手段３と、制御依存解析手段４と、依存グラ
フ作成手段５と、依存グラフ格納手段６と、プログラム
ブラウザ７と、命令選択手段８と、データ強調表示手段
９と、ネスト強調表示手段１０と、表示手段１１とを含
んで構成されている。

【００１９】図２は、本実施例のプログラム影響範囲表
示装置の解析対象のソースプログラムの一例を示す図で
ある。

【００２０】図３は、図２に示すソースプログラムに対
応する制御フローグラフを示す図である。

【００２１】図４（ａ）〜（ｄ）は、図３に示す制御フ
ローグラフに対するデータ依存解析の態様を示す図であ
る。

【００２２】図５（ａ）〜（ｃ）は、図３に示す制御フ
ローグラフに対する制御依存解析の態様を示す図であ
る。

【００２３】図６は、図４（ａ）〜（ｄ）に係るデータ
依存解析の解析結果および図５（ａ）〜（ｃ）に係る制
御依存解析の解析結果に基づいて作成される依存グラフ
を示す図である。

【００２４】図７は、本実施例のプログラム影響範囲表
示装置による強調表示処理を示す流れ図である。この処
理は、位置座標取得ステップ７０１と、起点ノード同定
ステップ７０２と、影響範囲表示種別判定ステップ７０
３と、データ依存アーク指定ステップ７０４と、制御依
存アーク指定ステップ７０５と、データ依存アークおよ
び制御依存アーク指定ステップ７０６と、影響範囲ノー
ドマーク付けステップ７０７と、マーク付けノード存在
判定ステップ７０８と、ノード位置座標計算ステップ７
０９と、強調表示ステップ７１０とからなる。

【００２５】次に、このように構成された本実施例のプ
ログラム影響範囲表示装置の動作について説明する。

【００２６】構文解析手段１は、あるプログラミング言
語で記述されたソースプログラムの構文解析を行う（ど
のプログラミング言語で記述されているかは任意であ
る）。ここでは、図２に示すようなソースプログラム
（Ｃ言語で記述されたソースプログラム）が解析対象に
なるものとする。

【００２７】制御フロー解析手段２は、構文解析手段１
による構文解析の解析結果を入力として制御フロー解析
を行い、当該ソースプログラムの命令がノードで表現さ
れ制御フロー情報がアークで表現された制御フローグラ
フ（図３参照）を作成する。

【００２８】なお、このような構文解析および制御フロ
ー解析は、例えば、「１９９０年，サイエンス社，コン
パイラ原理・技法・ツール，Ａ．Ｖ．エイホ，Ｒ．セシ
ィ，Ｊ．Ｄ．ウルマン共著，原田賢一訳」（以下、参考
文献という）に示されている方法に基づいて行われる。

【００２９】制御フローグラフとは、ソースプログラム
中の制御の流れに単一の入力ノードＳＴＡＲＴと単一の
出力ノードＳＴＯＰとが付加され、さらに、仮想的なノ
ードＥＮＴＥＲと、ＥＮＴＥＲからＳＴＡＲＴへのアー
クおよびＥＮＴＥＲからＳＴＯＰへのアークとが付加さ
れた有向グラフである。

【００３０】図２に示すソースプログラムに対しては、
図３に示すような制御フローグラフが作成される。

【００３１】データ依存解析手段３は、制御フローグラ
フに対するデータ依存解析（当該ソースプログラムにお
けるデータ依存関係の解析）を行う。このデータ依存解
析は、従来より周知であるデータフロー解析の技術によ
って行われる。このようなデータフロー解析は、上述の
参考文献に示されている方法等に基づいて行われる。

【００３２】例えば、データ依存解析手段３は、図３に
示す制御フローグラフに対しては、図４（ａ）〜（ｄ）
に示すような態様で、データ依存解析を行う。以下に、
このデータ依存解析の内容について説明を加える。デー
タ依存解析手段３は、以下の〜の処理を行う。

【００３３】 まず、準備処理を行う。

【００３４】第１に、制御フローグラフの各ノードｎに
ついて、以下の変数集合を求める。 ・ｕｓｅ［ｎ］…ｎにおいて参照（使用）される変数集
合 ・ｄｅｆ［ｎ］…ｎにおいて定義される変数集合

【００３５】第２に、これらの変数集合（ｕｓｅ［ｎ］
およびｄｅｆ［ｎ］）を用いることで、以下の集合を作
成しておく。 ・ｕｓｅ′［ｎ］…ｎとｕｓｅ［ｎ］に含まれる変数
（ｎで参照される変数）とのペアの集合 ・ｄｅｆ′［ｎ］…ｄｅｆ［ｎ］に含まれる変数（ｎで
定義される変数）を参照するノードｍとその変数とのペ
アの集合

【００３６】第３に、各ノードｎ毎に、以下の集合を用
意する。 ・ｉｎ［ｎ］…ノードｎの入口で生きている変数を参照
するノードｋとその変数とのペアの集合 ・ｏｕｔ［ｎ］…ノードｎの出口で生きている変数を参
照するノードｊとその変数とのペアの集合

【００３７】 次に、以上の集合を用いてデータ依存
グラフ（データ依存関係を示すグラフ）を作成する。

【００３８】第１に、ｉｎ［ｎ］を空集合に初期化す
る。

【００３９】第２に、全てのｉｎ［ｎ］に変化がなくな
るまで、以下の漸化式の適用を繰り返す。

【００４０】

【数１】

【００４１】このような漸化式の適用によって、最終的
に得られたｏｕｔ［ｎ］は、先にも述べたように、ノー
ドｎの出口で生きている変数を参照するノードｊとその
変数とのペアの集合になる。

【００４２】 最後に、「ｏｕｔ［ｎ］に含まれるペ
ア（ノードｊと変数とのペア）であって当該変数がｄｅ
ｆ［ｎ］に含まれるペア」を求め、ノードｎから当該ペ
ア中のノードｊにデータ依存アークを張る（生成する）
ことで、データ依存グラフを作成する。

【００４３】以上のアルゴリズムにおいては、漸化式の
適用の繰返しの過程で、どのｎについてもｏｕｔ［ｎ］
は決して小さくはならない。すなわち、ｏｕｔ［ｎ］に
新たなペアが加えられたならば、そのペアが削除される
ことはない。したがって、ｉｎ［ｎ］およびｏｕｔ
［ｎ］は最終的に収束する（ノードと変数とのペアは有
限であるから、漸化式の適用の繰返しにおいて、最終的
に全てのｎについてｉｎ［ｎ］が変化しなくなる）。

【００４４】図２に示すソースプログラムに対するデー
タ依存解析の過程を図４（ａ）〜（ｄ）に示す。なお、
図４（ａ）〜（ｄ）中では、破線によって、図３に示す
制御フローグラフを示している。

【００４５】図４（ａ）は、上述の準備処理によって求
められるｕｓｅ［ｎ］，ｄｅｆ［ｎ］，ｕｓｅ′［ｎ］
およびｄｅｆ′［ｎ］を示す図である。図４（ｂ）は、
上述の漸化式の適用の繰返しの途中の状態を示す図であ
る。図４（ｃ）は、上述の漸化式の適用の繰返しの収束
状態（ｉｎ［ｎ］が変化しなくなった状態）を示す図で
ある。図４（ｄ）は、図４（ｃ）中のｏｕｔ［ｎ］等に
基づいて生成されるデータ依存アークを実線の矢線で示
す図である。

【００４６】制御依存解析手段４は、制御フローグラフ
に対して制御依存解析（当該ソースプログラムにおける
制御依存関係の解析）を行う。

【００４７】この制御依存解析では、制御フローグラフ
から逆支配木が作成された後に、逆支配木から制御依存
関係が求められる。すなわち、制御依存解析手段４は、
以下のようにして制御依存解析を行う。

【００４８】第１に、制御フローグラフから逆支配木を
作成する。

【００４９】逆支配木とは、「制御フローグラフＧにお
いて、ノードＮからノードＳＴＯＰに至る全ての経路に
ノードＭが含まれるならば、Ｇ中でＭはＮを逆支配す
る」という関係を木構造で表現したものである。参考文
献で示されている支配木を求めるアルゴリズムを制御フ
ローグラフの逆グラフに対して適用することにより、逆
支配木を求めることができる。

【００５０】図５（ａ）は、図３に示す制御フローグラ
フに対する逆支配木を示す図である。

【００５１】第２に、逆支配木から制御依存関係を求め
る。ここで、制御フローグラフＧ中のノードＸおよびＹ
に対して、ＹがＸに制御依存するのは、以下のおよび
に示す２つの条件を満たすときである。 ＸからＹに至る経路Ｐ上のどのノードＺ（Ｘおよび
Ｙを除く）もＹに逆支配される（Ｙが逆支配するノード
のみを介してＸからＹに至る経路Ｐがある）。 ＸがＹに逆支配されない。

【００５２】制御依存関係の決定方法を以下に示す。

【００５３】まず、制御フローグラフ中のノードＡから
ノードＢに至るアーク（Ａ，Ｂ）の集合のうち、逆支配
木でＢがＡの祖先とならないような部分集合Ｓを求め
る。

【００５４】図５（ａ）に示す逆支配木では、Ｓ＝
｛（ＥＮＴＥＲ，ＳＴＡＲＴ），（３，４）｝となる
（図５（ｂ）参照）。

【００５５】次に、逆支配木中でＡとＢとの共通の祖先
でかつ最もＡとＢとに近いノードをＬとし、逆支配木中
でＬからＢに至る経路中のノード（ＬおよびＳＴＡＲＴ
を除く）にマーク付けを行う。なお、Ａがループの入口
である時はＬ＝Ａとなるが、このときも同様のマーク付
けを行う。このマーク付けによって、マークの付けられ
たノードがノードＡに制御依存するということが表され
る。

【００５６】図５（ｂ）は、図５（ａ）に示す逆支配木
に対する上述のマーク付けの内容を示す図である。

【００５７】第３に、マーク付けの内容に基づいて、制
御依存グラフ（制御依存関係を示すグラフ）を作成す
る。

【００５８】図５（ｃ）は、図５（ａ）に示す逆支配木
および図５（ｂ）に示すマーク付けの内容に対応する制
御依存グラフを示す図である。

【００５９】図５（ｃ）の制御依存グラフによって、ノ
ードとノードとがノードに制御依存することが示
される。なお、制御依存グラフにおいて、あるノード
（図５（ｃ）ではノード，ノードおよびノード）
がＥＮＴＥＲに制御依存するということは、そのノード
が制御依存するノードが存在しないということを示して
いる。

【００６０】依存グラフ作成手段５は、データ依存解析
手段３の解析結果（データ依存グラフ）と制御依存解析
手段４の解析結果（制御依存グラフ）とを統合して依存
グラフを作成し、その依存グラフを依存グラフ格納手段
６に格納する。

【００６１】図６は、図４（ｄ）に示すデータ依存グラ
フと図５（ｃ）に示す制御依存グラフとが統合されて作
成された依存グラフを示す図である。

【００６２】以上のようにして作成された依存グラフ
（依存グラフ格納手段６内の依存グラフ）の存在を前提
として、解析対象のソースプログラムの強調表示処理が
行われる。以下に、図７を参照して、本実施例のプログ
ラム影響範囲表示装置における強調表示処理時の動作に
ついて説明する。

【００６３】表示手段１１は、解析対象のソースプログ
ラムをプログラムブラウザ７の画面上に表示する。

【００６４】利用者は、プログラムブラウザ７に対し
て、マウス等の入力装置を用いて、以下の〜の内容
を指定する。なお、の指定については、プログラムブ
ラウザ７の画面上の起点命令の位置の指定によって実現
される。また、の指定に関しては、予めその指定内容
を本実施例のプログラム影響範囲表示装置に固有の情報
としておいて、その指定を不要にすることも可能であ
る。 表示すべき影響範囲の起点となる命令である起点命
令 影響範囲表示種別（データ依存関係に関する影響範
囲のみの表示を行うか、制御依存関係に関する影響範囲
のみの表示を行うか、データ依存関係および制御依存関
係の両方に関する影響範囲の表示を行うかを示す情報） 影響範囲として表示すべき範囲を示す情報、すなわ
ち依存グラフにおいてアークを推移的にたどる際の方向
およびアーク数

【００６５】プログラムブラウザ７は、これらの指定を
検知して、プログラムブラウザ７の画面上の起点命令を
示す位置座標（ｘ座標およびｙ座標）を取得する（ステ
ップ７０１）。

【００６６】命令選択手段８は、ステップ７０１で取得
された位置座標によって特定される起点命令に対応する
依存グラフ中のノード（起点ノード）を同定（選択）す
る（ステップ７０２）。

【００６７】一方、プログラムブラウザ７は、利用者に
より指定された影響範囲表示種別を判別する（ステップ
７０３）。すなわち、影響範囲表示種別が、データ依存
関係に関する影響範囲のみの表示を示す種別（以下、単
に「データ依存関係」という）であるか、制御依存関係
に関する影響範囲のみの表示を示す種別（以下、単に
「制御依存関係」という）であるか、データ依存関係お
よび制御依存関係の両方に関する影響範囲の表示を示す
種別（以下、単に「データ依存関係・制御依存関係」と
いう）であるかを判定する。

【００６８】ステップ７０３で「影響範囲表示種別がデ
ータ依存関係である」と判定された場合には、強調表示
の対象のアーク種別（依存グラフ中のデータ依存アーク
または制御依存アークを示す情報）としてデータ依存ア
ークが指定されて、データ強調表示手段９が起動される
（ステップ７０４）。

【００６９】ステップ７０３で「影響範囲表示種別が制
御依存関係である」と判定された場合には、強調表示の
対象のアーク種別として制御依存アークが指定されて、
ネスト強調表示手段１０が起動される（ステップ７０
５）。

【００７０】ステップ７０３で「影響範囲表示種別がデ
ータ依存関係・制御依存関係である」と判定された場合
には、強調表示の対象のアーク種別としてデータ依存ア
ークと制御依存アークとの両方が指定されて、データ強
調表示手段９およびネスト強調表示手段１０が起動され
る（ステップ７０６）。このように、データ強調表示手
段９とネスト強調表示手段１０とを同時に用いることも
可能である。

【００７１】次に、ステップ７０４〜７０６で起動され
たデータ強調表示手段９およびネスト強調表示手段１０
の一方または両方（以下、起動強調表示手段という）
は、起点ノードを出発点（起点）として、依存グラフ中
においてステップ７０４〜７０６で指定されたアーク種
別に合致するアークを逆方向または正方向（どちらの方
向かは利用者からの指定による）に所定のアーク数（ど
れだけのアーク数であるかは利用者からの指定による）
だけ推移的にたどることにより、影響範囲の対象となる
ノード集合に属する各ノードにマーク付けを行う（ステ
ップ７０７）。

【００７２】さらに、起動強調表示手段は、マーク付け
がなされた各ノードに対して以下の処理を繰り返す（ス
テップ７０８で「マーク付けがなされたノードがもう存
在しない」と判定するまで処理を繰り返す）。

【００７３】まず、当該ノードに対応する命令のプログ
ラムブラウザ７の画面上の位置座標を計算する（ステッ
プ７０９）。

【００７４】次に、ステップ７０９で計算した位置座標
で特定される命令の強調表示を行う（ステップ７１
０）。強調表示の態様としては、当該命令を反転表示す
ることや、当該命令の位置の背景色や前景色の色を変化
させること等が考えられる（請求項７記載の発明参
照）。

【００７５】なお、以上の第１の実施例は、請求項３記
載の発明に対応するものである。この実施例について
は、以下のおよびに示すようなバリエーションが考
えられる。

【００７６】 データ依存グラフのみからなる依存グ
ラフが作成され、データ強調表示手段９による強調表示
のみが行われる。なお、データ依存関係に関する影響範
囲の強調表示だけが行われるので、利用者からの影響範
囲表示種別の指定は不要になる。このバリエーション
は、請求項１記載の発明に対応する。

【００７７】 制御依存グラフのみからなる依存グラ
フが作成され、ネスト強調表示手段１０による強調表示
のみが行われる。なお、制御依存関係に関する影響範囲
の強調表示だけが行われるので、利用者からの影響範囲
表示種別の指定は不要になる。このバリエーションは、
請求項２記載の発明に対応する。

【００７８】図８は、本発明のプログラム影響範囲表示
装置の第２の実施例の構成を示すブロック図である。

【００７９】本実施例のプログラム影響範囲表示装置
は、第１の実施例（図１参照）に対して、表示限定手段
１０１が付加されている。

【００８０】次に、このように構成された本実施例のプ
ログラム影響範囲表示装置の動作について説明する。

【００８１】構文解析手段１，制御フロー解析手段２，
データ依存解析手段３，制御依存解析手段４，依存グラ
フ作成手段５および依存グラフ格納手段６に関する動作
（依存グラフの作成に関する動作）は、第１の実施例と
同様である。

【００８２】依存グラフ格納手段６内の依存グラフの存
在を前提として、解析対象のソースプログラムの強調表
示処理が行われる。以下に、本実施例のプログラム影響
範囲表示装置における強調表示処理時の動作について説
明する。

【００８３】表示手段１１は、解析対象のソースプログ
ラムを内部データ領域に内部データとして出力する。

【００８４】表示限定手段１０１は、利用者から指定さ
れる限定情報（解析対象のソースプログラム中の特定の
モジュールまたは特定の段落等を示す情報）を受け取
り、内部データ領域内のソースプログラム中で当該限定
情報に合致した部分のみをプログラムブラウザ７の画面
上に表示する。

【００８５】利用者は、プログラムブラウザ７に対し
て、マウス等の入力装置を用いて、第１の実施例の説明
で述べた〜の内容の指定を行う。

【００８６】命令選択手段８は、第１の実施例と同様
に、プログラムブラウザ７を通じて起点命令の指定を受
け取ると、依存グラフ格納手段６内の依存グラフにおい
て起点ノードを選択する。

【００８７】データ強調表示手段９は、利用者からの
「データ依存関係」または「データ依存関係・制御依存
関係」を示す影響範囲表示種別の指定によって起動さ
れ、起点ノードを出発点として依存グラフを走査するこ
とにより、表示限定手段１０１による限定（利用者から
指定された限定情報）に合致した範囲で、データ依存関
係に関する起点命令の影響範囲（利用者からの「影響範
囲として表示すべき範囲を示す情報」の指定に応じた影
響範囲）に含まれる命令群をプログラムブラウザ７の画
面上で強調表示する。ここで、強調表示の態様は、第１
の実施例と同様である。

【００８８】ネスト強調表示手段１０は、利用者からの
「制御依存関係」または「データ依存関係・制御依存関
係」を示す影響範囲表示種別の指定によって起動され、
起点ノードを出発点として依存グラフを走査することに
より、表示限定手段１０１による限定（利用者から指定
された限定情報）に合致した範囲で、制御依存関係に関
する起点命令の影響範囲（利用者からの「影響範囲とし
て表示すべき範囲を示す情報」の指定に応じた影響範
囲）に含まれる命令群をプログラムブラウザ７の画面上
で強調表示する。ここで、強調表示の態様は、第１の実
施例と同様である。

【００８９】なお、第１の実施例で述べたように、デー
タ強調表示手段９とネスト強調表示手段１０とを同時に
起動することも可能である。また、第１の実施例で言及
したバリエーションと同様のバリエーションが、第２の
実施例でも考えられる。

【００９０】図９は、本発明のプログラム影響範囲表示
装置の第３の実施例の構成を示すブロック図である。

【００９１】本実施例のプログラム影響範囲表示装置
は、第１の実施例（図１参照）に対して、強調情報転送
手段２０１と編集手段２０２とが付加されている。

【００９２】次に、このように構成された本実施例のプ
ログラム影響範囲表示装置の動作について説明する。

【００９３】構文解析手段１，制御フロー解析手段２，
データ依存解析手段３，制御依存解析手段４，依存グラ
フ作成手段５および依存グラフ格納手段６に関する動作
（依存グラフの作成に関する動作）は、第１の実施例と
同様である。

【００９４】また、プログラムブラウザ７を通じて行わ
れる命令選択手段８，データ強調表示手段９，ネスト強
調表示手段１０および表示手段１１の動作（強調表示処
理時の動作）も、第１の実施例と同様である。

【００９５】強調情報転送手段２０１は、プログラムブ
ラウザ７の画面上で強調表示されているソースプログラ
ム中の命令群（当該ソースプログラムの部分集合）を編
集手段２０２に転送する。

【００９６】編集手段２０２は、その命令群（ソースプ
ログラムの部分集合）に対する編集，追加，削除，変更
および印刷等の機能を有し、当該編集等を行う。このよ
うな編集等は、既存のソースプログラムから仕様書を作
成する作業等を効率化するために有益となる。

【００９７】図１０は、本発明のプログラム影響範囲表
示装置の第４の実施例の構成を示すブロック図である。

【００９８】本実施例のプログラム影響範囲表示装置
は、第３の実施例（図９参照）に対して、日本語化手段
３０１と日本語情報格納手段３０２とが付加されてい
る。

【００９９】次に、このように構成された本実施例のプ
ログラム影響範囲表示装置の動作について説明する。

【０１００】構文解析手段１，制御フロー解析手段２，
データ依存解析手段３，制御依存解析手段４，依存グラ
フ作成手段５および依存グラフ格納手段６に関する動作
（依存グラフの作成に関する動作）は、第３の実施例、
すなわち第１の実施例と同様である。

【０１０１】また、プログラムブラウザ７を通じて行わ
れる命令選択手段８，データ強調表示手段９，ネスト強
調表示手段１０および表示手段１１の動作（強調表示処
理時の動作）も、第３の実施例、すなわち第１の実施例
と同様である。

【０１０２】日本語化手段３０１は、構文解析手段１の
解析結果である中間データ中の変数を、利用者から指定
される情報または予め設定されている情報を基に、対話
的に日本語に変換し、変換前後の情報を日本語情報格納
手段３０２に格納する。

【０１０３】強調情報転送手段２０１は、プログラムブ
ラウザ７の画面上で強調表示されているソースプログラ
ムの部分集合の中に、日本語情報格納手段３０２に格納
されている変数が存在するか否かを判定する。

【０１０４】強調情報転送手段２０１は、この判定で日
本語情報格納手段３０２内の変数を当該部分集合におい
て検出した場合には、日本語情報格納手段３０２内の情
報に基づいてその変数を日本語に変換してから、変換後
の部分集合を編集手段２０２に転送する（上述の判定で
日本語情報格納手段３０２内の変数を当該部分集合にお
いて検出しなかった場合には、当該部分集合をそのまま
編集手段２０２に転送する）。

【０１０５】編集手段２０２は、第３の実施例と同様
に、その部分集合に対する編集，追加，削除，変更およ
び印刷等の処理を行う。

【０１０６】なお、第２の実施例における限定表示と第
３の実施例または第４の実施例における編集等とを組み
合わせることも可能である。

【０１０７】

【発明の効果】以上説明したように本発明は、利用者か
らの起点命令の指定に基づいて依存グラフ格納手段内の
依存グラフを検索・走査することにより、利用者がソー
スプログラム中で指定した特定の命令（起点命令）の影
響範囲の解析およびその解析結果の表示が可能となり、
しかもそのような指定，解析および表示を対話的に行う
ことができるという効果を有する。

【０１０８】なお、依存グラフ格納手段内の依存グラフ
は制御フローグラフに対するデータ依存解析手段による
データ依存解析と制御依存解析手段による制御依存解析
とに基づいて作成され、その依存グラフが使用されて上
述の影響範囲の解析および表示が行われるので、このよ
うな影響範囲の解析および表示を正確に行うことが保証
される。

【０１０９】以上のような効果により、ソースプログラ
ムの理解作業，保守作業および改造作業等を効率化する
ことができるようになる。

【０１１０】また、表示限定手段を設けることにより
（請求項４記載の発明および第２の実施例参照）、効率
的な強調表示を実現することができるという効果があ
る。

【０１１１】さらに、強調情報転送手段および編集手段
を設けてソースプログラム中の影響範囲の編集等を可能
にすることにより（請求項５および請求項６記載の発明
ならびに第３および第４の実施例参照）、既存のソース
プログラムから仕様書を作成する作業等を効率化するこ
とができるという効果がある。

【図面の簡単な説明】

【図１】本発明のプログラム影響範囲表示装置の第１の
実施例の構成を示すブロック図である。

【図２】図１，図８，図９および図１０に示すプログラ
ム影響範囲表示装置における解析対象のソースプログラ
ムの一例を示す図である。

【図３】図１，図８，図９および図１０中の制御フロー
解析手段で生成される制御フローグラフの一例を示す図
である。

【図４】図１，図８，図９および図１０中のデータ依存
解析手段におけるデータ依存解析の態様の一例を示す図
である。

【図５】図１，図８，図９および図１０中の制御依存解
析手段における制御依存解析の態様の一例を示す図であ
る。

【図６】図１，図８，図９および図１０中の依存グラフ
作成手段で作成される依存グラフの一例を示す図であ
る。

【図７】図１に示すプログラム影響範囲表示装置による
強調表示処理を示す流れ図である。

【図８】本発明のプログラム影響範囲表示装置の第２の
実施例の構成を示すブロック図である。

【図９】本発明のプログラム影響範囲表示装置の第３の
実施例の構成を示すブロック図である。

【図１０】本発明のプログラム影響範囲表示装置の第４
の実施例の構成を示すブロック図である。

【符号の説明】

１ 構文解析手段 ２ 制御フロー解析手段 ３ データ依存解析手段 ４ 制御依存解析手段 ５ 依存グラフ作成手段 ６ 依存グラフ格納手段 ７ プログラムブラウザ ８ 命令選択手段 ９ データ強調表示手段 １０ ネスト強調表示手段 １１ 表示手段 １０１ 表示限定手段 ２０１ 強調情報転送手段 ２０２ 編集手段 ３０１ 日本語化手段 ３０２ 日本語情報格納手段

───────────────────────────────────────────────────── フロントページの続き (51)Int.Cl.⁶ 識別記号 庁内整理番号 ＦＩ 技術表示箇所 Ｇ０６Ｆ 11/28 7737−5Ｂ Ｇ０６Ｆ 9/44 ３２２Ｂ

Claims (7)

【特許請求の範囲】
1. 【請求項１】 ソースプログラムの構文解析の解析結果
   に基づく制御フロー解析により制御フローグラフを作成
   する制御フロー解析手段と、 前記制御フロー解析手段により作成された制御フローグ
   ラフに対するデータ依存解析を行うデータ依存解析手段
   と、 前記データ依存解析手段によるデータ依存解析に基づい
   て依存グラフを作成する依存グラフ作成手段と、 プログラムブラウザの画面上に解析対象のソースプログ
   ラムを表示する表示手段と、 プログラムブラウザを通じて利用者から指定された起点
   命令に対応する起点ノードを前記依存グラフ作成手段に
   より作成された依存グラフにおいて選択する命令選択手
   段と、 前記命令選択手段により選択された起点ノードからの依
   存グラフの走査に基づいてソースプログラム中で起点命
   令とデータ依存関係にある命令群をプログラムブラウザ
   の画面上で強調表示するデータ強調表示手段とを有する
   ことを特徴とするプログラム影響範囲表示装置。
2. 【請求項２】 ソースプログラムの構文解析の解析結果
   に基づく制御フロー解析により制御フローグラフを作成
   する制御フロー解析手段と、 前記制御フロー解析手段により作成された制御フローグ
   ラフに対する制御依存解析を行う制御依存解析手段と、 前記制御依存解析手段による制御依存解析に基づいて依
   存グラフを作成する依存グラフ作成手段と、 プログラムブラウザの画面上に解析対象のソースプログ
   ラムを表示する表示手段と、 プログラムブラウザを通じて利用者から指定された起点
   命令に対応する起点ノードを前記依存グラフ作成手段に
   より作成された依存グラフにおいて選択する命令選択手
   段と、 前記命令選択手段により選択された起点ノードからの依
   存グラフの走査に基づいてソースプログラム中で起点命
   令と制御依存関係にある命令群をプログラムブラウザの
   画面上で強調表示するネスト強調表示手段とを有するこ
   とを特徴とするプログラム影響範囲表示装置。
3. 【請求項３】 ソースプログラムの構文解析の解析結果
   に基づく制御フロー解析により制御フローグラフを作成
   する制御フロー解析手段と、 前記制御フロー解析手段により作成された制御フローグ
   ラフに対するデータ依存解析を行うデータ依存解析手段
   と、 前記制御フロー解析手段により作成された制御フローグ
   ラフに対する制御依存解析を行う制御依存解析手段と、 前記データ依存解析手段によるデータ依存解析の解析結
   果と前記制御依存解析手段による制御依存解析の解析結
   果とを統合して依存グラフを作成する依存グラフ作成手
   段と、 プログラムブラウザの画面上に解析対象のソースプログ
   ラムを表示する表示手段と、 プログラムブラウザを通じて利用者から指定された起点
   命令に対応する起点ノードを前記依存グラフ作成手段に
   より作成された依存グラフにおいて選択する命令選択手
   段と、 利用者から指定される影響範囲表示種別がデータ依存関
   係に関する影響範囲の表示を示すものである場合に、前
   記命令選択手段により選択された起点ノードからの依存
   グラフの走査に基づいてソースプログラム中で起点命令
   とデータ依存関係にある命令群をプログラムブラウザの
   画面上で強調表示するデータ強調表示手段と、 利用者から指定される影響範囲表示種別が制御依存関係
   に関する影響範囲の表示を示すものである場合に、前記
   命令選択手段により選択された起点ノードからの依存グ
   ラフの走査に基づいてソースプログラム中で起点命令と
   制御依存関係にある命令群をプログラムブラウザの画面
   上で強調表示するネスト強調表示手段とを有することを
   特徴とするプログラム影響範囲表示装置。
4. 【請求項４】 ソースプログラムのプログラムブラウザ
   への表示の代わりに、ソースプログラムを内部データ領
   域に内部データとして出力する表示手段と、 利用者から指定される限定情報を受け取り、内部データ
   領域内のソースプログラム中で当該限定情報に合致した
   部分のみをプログラムブラウザの画面上に表示し、強調
   表示についても当該限定情報に合致した部分のみの強調
   表示を行う表示限定手段とを有することを特徴とする請
   求項１，請求項２または請求項３記載のプログラム影響
   範囲表示装置。
5. 【請求項５】 プログラムブラウザの画面上で強調表示
   されているソースプログラムの部分集合に対する編集，
   追加，削除，変更および印刷を行う編集手段と、 プログラムブラウザの画面上で強調表示されているソー
   スプログラムの部分集合を前記編集手段に転送する強調
   情報転送手段とを有することを特徴とする請求項１，請
   求項２または請求項３記載のプログラム影響範囲表示装
   置。
6. 【請求項６】 ソースプログラムの構文解析の解析結果
   である中間データ中の変数を日本語に変換し、変換前後
   の情報を日本語情報格納手段に格納する日本語化手段
   と、 プログラムブラウザの画面上で強調表示されているソー
   スプログラムの部分集合の中に前記日本語情報格納手段
   に格納されている変数が存在する場合に、前記日本語情
   報格納手段内の情報に基づいてその変数を日本語に変換
   してから当該部分集合を編集手段に転送する強調情報転
   送手段とを有することを特徴とする請求項５記載のプロ
   グラム影響範囲表示装置。
7. 【請求項７】 強調表示の態様が「強調表示の対象の命
   令を反転表示すること」および「当該命令の位置の背景
   色や前景色の色を変化させること」のいずれかであるこ
   とを特徴とする請求項１，請求項２，請求項３，請求項
   ４，請求項５または請求項６記載のプログラム影響範囲
   表示装置。