JP2002082802A - 影響解析装置および方法、記録媒体、プログラム - Google Patents
影響解析装置および方法、記録媒体、プログラムInfo
- Publication number
- JP2002082802A JP2002082802A JP2001194829A JP2001194829A JP2002082802A JP 2002082802 A JP2002082802 A JP 2002082802A JP 2001194829 A JP2001194829 A JP 2001194829A JP 2001194829 A JP2001194829 A JP 2001194829A JP 2002082802 A JP2002082802 A JP 2002082802A
- Authority
- JP
- Japan
- Prior art keywords
- variable
- information
- table information
- analysis
- source code
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Landscapes
- Stored Programmes (AREA)
Abstract
(57)【要約】
【課題】 与えられたソースコード群の中でユーザがリ
ンク単位を意識しなくても影響範囲の解析を行うことが
できるようにする。 【解決手段】 解析対象となるソースコード１-1〜１-n
のそれぞれに対応する変数情報３-1〜３-nを用いて、代
入または参照された変数とその存在場所との対応関係を
表す複数のテーブル情報６-1〜６-3を生成するテーブル
情報生成部５と、その複数のテーブル情報６-1〜６-3を
用いて変数の影響範囲を求める解析部７とを設け、各変
数情報３-1〜３-nの全体を対象としてテーブル情報６-1
〜６-3を求め、そのテーブル情報６-1〜６-3を用いて、
変数の代入および参照関係を辿ることによって影響解析
を行うようにすることにより、複数のソースコード１-1
〜１ -nのうちどの組み合わせでリンク単位を構成するか
を意識することなく、関係のあるソースコード間で所望
の変数の影響範囲を解析できるようにする。
ンク単位を意識しなくても影響範囲の解析を行うことが
できるようにする。 【解決手段】 解析対象となるソースコード１-1〜１-n
のそれぞれに対応する変数情報３-1〜３-nを用いて、代
入または参照された変数とその存在場所との対応関係を
表す複数のテーブル情報６-1〜６-3を生成するテーブル
情報生成部５と、その複数のテーブル情報６-1〜６-3を
用いて変数の影響範囲を求める解析部７とを設け、各変
数情報３-1〜３-nの全体を対象としてテーブル情報６-1
〜６-3を求め、そのテーブル情報６-1〜６-3を用いて、
変数の代入および参照関係を辿ることによって影響解析
を行うようにすることにより、複数のソースコード１-1
〜１ -nのうちどの組み合わせでリンク単位を構成するか
を意識することなく、関係のあるソースコード間で所望
の変数の影響範囲を解析できるようにする。
Description
【０００１】
【発明の属する技術分野】本発明は影響解析装置および
方法、更にはこれらをソフトウェアの機能で実現するた
めのプログラム、および上記プログラムを格納した記録
媒体に関し、特に、一般的なプログラム言語で記述され
たソースコードを解析する際に利用される影響解析装置
および方法に用いて好適なものである。
方法、更にはこれらをソフトウェアの機能で実現するた
めのプログラム、および上記プログラムを格納した記録
媒体に関し、特に、一般的なプログラム言語で記述され
たソースコードを解析する際に利用される影響解析装置
および方法に用いて好適なものである。
【０００２】
【従来の技術】従来、例えば既存のソフトウェア資産を
利用してより良いコンピュータシステムを構築すること
が一般的に行われている。この場合、既に構築されてい
る既存のソースコード（ソースプログラム）をデバッグ
して保守したり、あるいはソースコードが無いときには
リバース・エンジニリアリングを行ったりしている。こ
のプログラムの保守やリバース・エンジニリアリングで
は、プログラム中のある変数およびその変数に関係する
部分については修正せず、これら以外の部分だけを修正
したいという場合もある。
利用してより良いコンピュータシステムを構築すること
が一般的に行われている。この場合、既に構築されてい
る既存のソースコード（ソースプログラム）をデバッグ
して保守したり、あるいはソースコードが無いときには
リバース・エンジニリアリングを行ったりしている。こ
のプログラムの保守やリバース・エンジニリアリングで
は、プログラム中のある変数およびその変数に関係する
部分については修正せず、これら以外の部分だけを修正
したいという場合もある。
【０００３】ところが、プログラムの内容によっては、
その変数がプログラムの他の部分に影響を与えている場
合がある。したがって、ある変数に対して修正を加える
ときに、その影響がそのプログラムのどの部分まで及ぶ
のかを調べることなく無闇に行うと、予測し得ないエラ
ー等が発生して、そのプログラムが正常に動作しなくな
ってしまうことがある。
その変数がプログラムの他の部分に影響を与えている場
合がある。したがって、ある変数に対して修正を加える
ときに、その影響がそのプログラムのどの部分まで及ぶ
のかを調べることなく無闇に行うと、予測し得ないエラ
ー等が発生して、そのプログラムが正常に動作しなくな
ってしまうことがある。
【０００４】したがって、ソースコードの解析・修正作
業においては、変数の影響がどの範囲まで及び、どの部
分には及ばないかを解析することが、プログラムを開発
する上において極めて重要となる。そこで本出願人は、
このような解析を行うための装置として、例えば特願平
１０−２４３５５号に記載の変数影響解析装置を提案し
た。この装置は、プログラム中での影響範囲を解析する
ものである。
業においては、変数の影響がどの範囲まで及び、どの部
分には及ばないかを解析することが、プログラムを開発
する上において極めて重要となる。そこで本出願人は、
このような解析を行うための装置として、例えば特願平
１０−２４３５５号に記載の変数影響解析装置を提案し
た。この装置は、プログラム中での影響範囲を解析する
ものである。
【０００５】
【発明が解決しようとする課題】ところで、１つのプロ
グラムは、例えば機能単位毎に分割した個々のモジュー
ルに対応する複数のソースコードを夫々コンパイルし、
それらをリンクすることによって作成されることが多
い。以下では、このように１つの実行プログラムを作る
に当たってリンクするために必要なソースコード群の単
位を「リンク単位」と呼ぶ。さらに、複数のリンク単位
の実行プログラムが連携して１つのコンピュータシステ
ムを構築している場合も多い。
グラムは、例えば機能単位毎に分割した個々のモジュー
ルに対応する複数のソースコードを夫々コンパイルし、
それらをリンクすることによって作成されることが多
い。以下では、このように１つの実行プログラムを作る
に当たってリンクするために必要なソースコード群の単
位を「リンク単位」と呼ぶ。さらに、複数のリンク単位
の実行プログラムが連携して１つのコンピュータシステ
ムを構築している場合も多い。
【０００６】通常、プログラムを保守する際にはソース
コードやそのリンク単位等をユーザが理解しており、こ
れをもとに保守作業を行うことが多い。しかしながら、
これらの情報をユーザが必ず理解しているとは限らな
い。従来の変数影響解析装置では、ユーザがこれらリン
ク単位等の情報を理解していることを前提に作られてい
るため、ユーザはリンク単位を意識しておく必要があ
り、リンク単位が不明である場合には解析できなかっ
た。
コードやそのリンク単位等をユーザが理解しており、こ
れをもとに保守作業を行うことが多い。しかしながら、
これらの情報をユーザが必ず理解しているとは限らな
い。従来の変数影響解析装置では、ユーザがこれらリン
ク単位等の情報を理解していることを前提に作られてい
るため、ユーザはリンク単位を意識しておく必要があ
り、リンク単位が不明である場合には解析できなかっ
た。
【０００７】また、別の課題として、リンク単位となっ
ている複数のソースファイルに渡って影響解析を行う場
合、例えば対象となるソースファイル自体が数千、数万
ファイルになることがある。その場合、従来の変数影響
解析装置では全ての影響解析を行っていたために解析結
果を得るためには非常に時間がかかり、実質的には使い
物にならなかった。さらに、従来の変数影響解析装置で
は、影響解析できる範囲は１つのリンク単位内に限られ
ており、複数のリンク単位が連携して構築されるような
システムに関しては解析できないという課題があった。
ている複数のソースファイルに渡って影響解析を行う場
合、例えば対象となるソースファイル自体が数千、数万
ファイルになることがある。その場合、従来の変数影響
解析装置では全ての影響解析を行っていたために解析結
果を得るためには非常に時間がかかり、実質的には使い
物にならなかった。さらに、従来の変数影響解析装置で
は、影響解析できる範囲は１つのリンク単位内に限られ
ており、複数のリンク単位が連携して構築されるような
システムに関しては解析できないという課題があった。
【０００８】本発明は、このような問題を解決するため
に成されたものであり、与えられたソースコード群の中
でユーザがリンク単位を意識しなくても影響範囲の解析
を行うことができるようにすることを目的とする。ま
た、本発明は、解析対象となるソースファイルが多くな
った場合にも高速に影響解析を行うことができるように
することを目的とする。さらに、本発明は、１つのリン
ク単位を越えて影響範囲の解析を行うことができるよう
にすることも目的としている。
に成されたものであり、与えられたソースコード群の中
でユーザがリンク単位を意識しなくても影響範囲の解析
を行うことができるようにすることを目的とする。ま
た、本発明は、解析対象となるソースファイルが多くな
った場合にも高速に影響解析を行うことができるように
することを目的とする。さらに、本発明は、１つのリン
ク単位を越えて影響範囲の解析を行うことができるよう
にすることも目的としている。
【０００９】
【課題を解決するための手段】本発明の影響解析装置
は、解析の対象となる少なくとも１つ以上のソースコー
ド毎に生成された、変数のデータ依存関係に関する少な
くとも１つ以上の変数情報を対象として、代入または参
照が行われた変数とその存在場所との対応関係を表す複
数のテーブル情報を生成するテーブル生成手段と、上記
テーブル生成手段により生成された複数のテーブル情報
を用いて、変数の代入および参照関係を辿ることによっ
て変数の影響範囲を求める解析手段とを備える。
は、解析の対象となる少なくとも１つ以上のソースコー
ド毎に生成された、変数のデータ依存関係に関する少な
くとも１つ以上の変数情報を対象として、代入または参
照が行われた変数とその存在場所との対応関係を表す複
数のテーブル情報を生成するテーブル生成手段と、上記
テーブル生成手段により生成された複数のテーブル情報
を用いて、変数の代入および参照関係を辿ることによっ
て変数の影響範囲を求める解析手段とを備える。
【００１０】ここで、上記テーブル生成手段は、例え
ば、それぞれのソースコード毎に生成された各変数情報
を対象として、変数とその代入が行われた文との対応関
係を表す第１のテーブル情報、変数とその参照が行われ
た文との対応関係を表す第２のテーブル情報、文とそこ
で代入が行われた変数との対応関係を表す第３のテーブ
ル情報を生成する。
ば、それぞれのソースコード毎に生成された各変数情報
を対象として、変数とその代入が行われた文との対応関
係を表す第１のテーブル情報、変数とその参照が行われ
た文との対応関係を表す第２のテーブル情報、文とそこ
で代入が行われた変数との対応関係を表す第３のテーブ
ル情報を生成する。
【００１１】本発明の他の態様では、上記テーブル生成
手段は、それぞれのソースコード中に含まれる同じ名前
の変数を全て同じ変数であるとして上記複数のテーブル
情報を生成する。また、本発明のその他の態様では、上
記テーブル生成手段は、それぞれのソースコード中に含
まれる変数がどこかで代入された場合に、その変数の全
ての参照がその代入に依存しているものとして上記複数
のテーブル情報を生成する。
手段は、それぞれのソースコード中に含まれる同じ名前
の変数を全て同じ変数であるとして上記複数のテーブル
情報を生成する。また、本発明のその他の態様では、上
記テーブル生成手段は、それぞれのソースコード中に含
まれる変数がどこかで代入された場合に、その変数の全
ての参照がその代入に依存しているものとして上記複数
のテーブル情報を生成する。
【００１２】本発明のその他の態様では、上記解析の対
象となる少なくとも１つ以上のソースコードを読み込
み、それぞれのソースコード毎に上記変数情報を生成す
る変数情報生成手段と、上記変数情報生成手段により生
成された各変数情報を保存する記憶手段とを備え、上記
テーブル生成手段および解析手段は、上記変数情報生成
手段によりあらかじめ生成されて上記記憶手段に保存さ
れている各変数情報を用いて、上記複数のテーブル情報
の生成およびそれらを用いた影響解析を実行する。
象となる少なくとも１つ以上のソースコードを読み込
み、それぞれのソースコード毎に上記変数情報を生成す
る変数情報生成手段と、上記変数情報生成手段により生
成された各変数情報を保存する記憶手段とを備え、上記
テーブル生成手段および解析手段は、上記変数情報生成
手段によりあらかじめ生成されて上記記憶手段に保存さ
れている各変数情報を用いて、上記複数のテーブル情報
の生成およびそれらを用いた影響解析を実行する。
【００１３】また、本発明の影響解析方法は、解析の対
象となる少なくとも１つ以上のソースコード毎に生成さ
れた、変数のデータ依存関係に関する少なくとも１つ以
上の変数情報を対象として、代入または参照が行われた
変数とその存在場所との対応関係を表す複数のテーブル
情報を生成するテーブル生成ステップと、上記生成され
た複数のテーブル情報を用いて、変数の代入および参照
関係を辿ることによって変数の影響範囲を求める解析ス
テップとを有する。
象となる少なくとも１つ以上のソースコード毎に生成さ
れた、変数のデータ依存関係に関する少なくとも１つ以
上の変数情報を対象として、代入または参照が行われた
変数とその存在場所との対応関係を表す複数のテーブル
情報を生成するテーブル生成ステップと、上記生成され
た複数のテーブル情報を用いて、変数の代入および参照
関係を辿ることによって変数の影響範囲を求める解析ス
テップとを有する。
【００１４】また、本発明のコンピュータ読み取り可能
な記録媒体は、解析の対象となる少なくとも１つ以上の
ソースコード毎に生成された、変数のデータ依存関係に
関する少なくとも１つ以上の変数情報を対象として、代
入または参照が行われた変数とその存在場所との対応関
係を表す複数のテーブル情報を生成するテーブル生成手
段と、上記テーブル生成手段により生成された複数のテ
ーブル情報を用いて、変数の代入および参照関係を辿る
ことによって変数の影響範囲を求める解析手段としてコ
ンピュータを機能させるためのプログラムを記録する。
な記録媒体は、解析の対象となる少なくとも１つ以上の
ソースコード毎に生成された、変数のデータ依存関係に
関する少なくとも１つ以上の変数情報を対象として、代
入または参照が行われた変数とその存在場所との対応関
係を表す複数のテーブル情報を生成するテーブル生成手
段と、上記テーブル生成手段により生成された複数のテ
ーブル情報を用いて、変数の代入および参照関係を辿る
ことによって変数の影響範囲を求める解析手段としてコ
ンピュータを機能させるためのプログラムを記録する。
【００１５】また、本発明のプログラムは、解析の対象
となる少なくとも１つ以上のソースコード毎に生成され
た、変数のデータ依存関係に関する少なくとも１つ以上
の変数情報を対象として、代入または参照が行われた変
数とその存在場所との対応関係を表す複数のテーブル情
報を生成するテーブル生成手段と、上記テーブル生成手
段により生成された複数のテーブル情報を用いて、変数
の代入および参照関係を辿ることによって変数の影響範
囲を求める解析手段としてコンピュータを機能させる。
となる少なくとも１つ以上のソースコード毎に生成され
た、変数のデータ依存関係に関する少なくとも１つ以上
の変数情報を対象として、代入または参照が行われた変
数とその存在場所との対応関係を表す複数のテーブル情
報を生成するテーブル生成手段と、上記テーブル生成手
段により生成された複数のテーブル情報を用いて、変数
の代入および参照関係を辿ることによって変数の影響範
囲を求める解析手段としてコンピュータを機能させる。
【００１６】
【発明の実施の形態】以下、本発明の一実施形態を図面
に基づいて説明する。図１は、本実施形態による影響解
析装置の主要な機能構成を示すブロック図である。
に基づいて説明する。図１は、本実施形態による影響解
析装置の主要な機能構成を示すブロック図である。
【００１７】図１において、１-1〜１-nは影響範囲解析
の対象となるｎ個のソースコードであり、これらの中の
何れかの組み合わせによってリンク単位が構成される。
また、これらｎ個のソースコード１-1〜１-nの中に複数
のリンク単位が含まれていても良い。解析の対象として
与えられるこれらｎ個のソースコード１-1〜１-nは、そ
の中の何れの組み合わせによってリンク単位が構成され
ているのかが不明であっても良い。
の対象となるｎ個のソースコードであり、これらの中の
何れかの組み合わせによってリンク単位が構成される。
また、これらｎ個のソースコード１-1〜１-nの中に複数
のリンク単位が含まれていても良い。解析の対象として
与えられるこれらｎ個のソースコード１-1〜１-nは、そ
の中の何れの組み合わせによってリンク単位が構成され
ているのかが不明であっても良い。
【００１８】２は変数情報生成部であり、解析の対象と
なる上記ｎ個のソースコード１-1〜１-nを読み込み、そ
れぞれのソースコード毎に構文解析して、変数の代入・
参照関係を表す変数情報３-1〜３-nをそれぞれ生成す
る。すなわち、例えば第１のソースコード１-1から第１
の変数情報３-1を生成し、第ｎのソースコード１-nから
第ｎの変数情報３-nを生成する。生成した変数情報３-1
〜３-nは、各ソースコード毎に１つのファイルに入れて
それぞれ記憶部４に保存する。
なる上記ｎ個のソースコード１-1〜１-nを読み込み、そ
れぞれのソースコード毎に構文解析して、変数の代入・
参照関係を表す変数情報３-1〜３-nをそれぞれ生成す
る。すなわち、例えば第１のソースコード１-1から第１
の変数情報３-1を生成し、第ｎのソースコード１-nから
第ｎの変数情報３-nを生成する。生成した変数情報３-1
〜３-nは、各ソースコード毎に１つのファイルに入れて
それぞれ記憶部４に保存する。
【００１９】５はテーブル情報生成部であり、上記変数
情報生成部２によりそれぞれのソースコード毎に生成さ
れて記憶部４に保存された各変数情報３-1〜３-nを対象
として、代入または参照が行われた変数とその存在場所
との対応関係を表す複数のテーブル情報を生成する。こ
こでは、例えば変数とその代入が行われた文との対応関
係を表す第１のテーブル情報６-1と、変数とその参照が
行われた文との対応関係を表す第２のテーブル情報６-2
と、文とそこで代入が行われた変数との対応関係を表す
第３のテーブル情報６-3とを生成する。
情報生成部２によりそれぞれのソースコード毎に生成さ
れて記憶部４に保存された各変数情報３-1〜３-nを対象
として、代入または参照が行われた変数とその存在場所
との対応関係を表す複数のテーブル情報を生成する。こ
こでは、例えば変数とその代入が行われた文との対応関
係を表す第１のテーブル情報６-1と、変数とその参照が
行われた文との対応関係を表す第２のテーブル情報６-2
と、文とそこで代入が行われた変数との対応関係を表す
第３のテーブル情報６-3とを生成する。
【００２０】７は解析部であり、上記テーブル情報生成
部５により生成された３つのテーブル情報６-1〜６-3を
用いて、変数の代入および参照関係を辿ることによって
所望の変数の影響範囲を解析する。例えば、第１のテー
ブル情報６-1を起点として、以降第２のテーブル情報６
-2と第３のテーブル情報６-3とを交互にアクセスして変
数の代入および参照の関係を辿ることにより、当該変数
の影響範囲を求める。そして、その解析結果をリスト８
として出力する。
部５により生成された３つのテーブル情報６-1〜６-3を
用いて、変数の代入および参照関係を辿ることによって
所望の変数の影響範囲を解析する。例えば、第１のテー
ブル情報６-1を起点として、以降第２のテーブル情報６
-2と第３のテーブル情報６-3とを交互にアクセスして変
数の代入および参照の関係を辿ることにより、当該変数
の影響範囲を求める。そして、その解析結果をリスト８
として出力する。
【００２１】以下に、上記のように構成した影響解析装
置の動作を、具体例を挙げながら説明する。なお、ここ
では説明の簡単のため、変数の影響解析の対象とするソ
ースコードが２つの場合について説明する。図２は、そ
の２つのソースコード１-1，１-2およびこれから生成さ
れる変数情報３-1，３-2の一部構成例を示す図である。
置の動作を、具体例を挙げながら説明する。なお、ここ
では説明の簡単のため、変数の影響解析の対象とするソ
ースコードが２つの場合について説明する。図２は、そ
の２つのソースコード１-1，１-2およびこれから生成さ
れる変数情報３-1，３-2の一部構成例を示す図である。
【００２２】図２において、第１のソースコード１-1で
は、１行目において変数Ａに"１"が代入され、２行目に
おいて変数Ｂが参照されてその値が変数Ｘに代入され、
３行目において変数Ａが参照されてその値が変数Ｂに代
入されている。また、４行目においては２つの変数Ｂ，
Ｙが参照され、６行目においては変数Ｂが参照されてそ
の値が変数Ｃに代入されている。一方、第２のソースコ
ード１-2では、１行目において変数Ａに"０"が代入さ
れ、２行目において変数Ｄが参照されてその値が変数Ｘ
に代入され、３行目において２つの変数Ｂ，Ｘが参照さ
れている。
は、１行目において変数Ａに"１"が代入され、２行目に
おいて変数Ｂが参照されてその値が変数Ｘに代入され、
３行目において変数Ａが参照されてその値が変数Ｂに代
入されている。また、４行目においては２つの変数Ｂ，
Ｙが参照され、６行目においては変数Ｂが参照されてそ
の値が変数Ｃに代入されている。一方、第２のソースコ
ード１-2では、１行目において変数Ａに"０"が代入さ
れ、２行目において変数Ｄが参照されてその値が変数Ｘ
に代入され、３行目において２つの変数Ｂ，Ｘが参照さ
れている。
【００２３】変数情報生成部２は、このような２個のソ
ースコード１-1，１-2を読み込み、それぞれのソースコ
ード中に含まれる各変数の代入・参照関係を解析して、
変数の代入・参照関係に関する変数情報３-1，３-2をそ
れぞれのソースコード毎に生成する。例えば、第１のソ
ースコード１-1に関しては、変数Ａは１行目で代入され
るとともに３行目で参照され、変数Ｂは２，４，６行目
で参照されるとともに３行目で代入され、変数Ｃは６行
目で代入され、変数Ｘは２行目で代入され、変数Ｙは４
行目で参照されているという変数情報を生成する。第２
のソースコード１-2に関しても同様である。
ースコード１-1，１-2を読み込み、それぞれのソースコ
ード中に含まれる各変数の代入・参照関係を解析して、
変数の代入・参照関係に関する変数情報３-1，３-2をそ
れぞれのソースコード毎に生成する。例えば、第１のソ
ースコード１-1に関しては、変数Ａは１行目で代入され
るとともに３行目で参照され、変数Ｂは２，４，６行目
で参照されるとともに３行目で代入され、変数Ｃは６行
目で代入され、変数Ｘは２行目で代入され、変数Ｙは４
行目で参照されているという変数情報を生成する。第２
のソースコード１-2に関しても同様である。
【００２４】このようにして生成された変数情報３-1，
３-2は、それぞれ別個のファイルとして記憶部４に保存
される。テーブル情報生成部５は、記憶部４に保存され
た各変数情報３-1，３-2を用いて、上述の３つのテーブ
ル情報６-1〜６-3を生成する。図３は、上記図２に示し
た２つのソースコード１-1，１-2を解析対象とした場合
に生成される３つのテーブル情報６-1〜６-3を示す図で
ある。
３-2は、それぞれ別個のファイルとして記憶部４に保存
される。テーブル情報生成部５は、記憶部４に保存され
た各変数情報３-1，３-2を用いて、上述の３つのテーブ
ル情報６-1〜６-3を生成する。図３は、上記図２に示し
た２つのソースコード１-1，１-2を解析対象とした場合
に生成される３つのテーブル情報６-1〜６-3を示す図で
ある。
【００２５】図３において、第１のテーブル情報６
-1は、変数とその代入が行われた文との対応関係を表す
ものである。この第１のテーブル情報６-1に含まれる各
変数Ａ，Ｂ，Ｃ，Ｘは、解析対象とする全ソースコード
１-1，１-2の中で代入が行われている全ての変数であ
る。また、それらに対応する文は、その変数の代入が行
われているソースコード中の場所を示すものである。例
えば変数Ａは、第１のソースコード１-1の１行目（１−
１で表記）と、第２のソースコード１-2の１行目（２−
１で表記）とで代入が行われている。
-1は、変数とその代入が行われた文との対応関係を表す
ものである。この第１のテーブル情報６-1に含まれる各
変数Ａ，Ｂ，Ｃ，Ｘは、解析対象とする全ソースコード
１-1，１-2の中で代入が行われている全ての変数であ
る。また、それらに対応する文は、その変数の代入が行
われているソースコード中の場所を示すものである。例
えば変数Ａは、第１のソースコード１-1の１行目（１−
１で表記）と、第２のソースコード１-2の１行目（２−
１で表記）とで代入が行われている。
【００２６】また、第２のテーブル情報６-2は、変数と
その参照が行われた文との対応関係を表すものである。
この第２のテーブル情報６-2に含まれる各変数Ａ，Ｂ，
Ｄ，Ｘ，Ｙは、解析対象とする全ソースコード１-1，１
-2の中で参照が行われている全ての変数である。また、
それらに対応する文は、その変数の参照が行われている
ソースコード中の場所を示すものである。例えば変数Ａ
は、第１のソースコード１-1の３行目（１−３で表記）
で参照が行われている。
その参照が行われた文との対応関係を表すものである。
この第２のテーブル情報６-2に含まれる各変数Ａ，Ｂ，
Ｄ，Ｘ，Ｙは、解析対象とする全ソースコード１-1，１
-2の中で参照が行われている全ての変数である。また、
それらに対応する文は、その変数の参照が行われている
ソースコード中の場所を示すものである。例えば変数Ａ
は、第１のソースコード１-1の３行目（１−３で表記）
で参照が行われている。
【００２７】また、第３のテーブル情報６-3は、文とそ
こで代入が行われた変数との対応関係を表すものであ
る。この第３のテーブル情報６-3に含まれる各文１−
１，１−２，１−３，１−６，２−１，２−２は、解析
対象とする全ソースコード１-1，１-2の中で代入が行わ
れている全ての場所を表すものであり、それらの場所で
代入されている変数が夫々対応して示されている。例え
ば第１のソースコード１-1の１行目では、変数Ａの代入
が行われている。
こで代入が行われた変数との対応関係を表すものであ
る。この第３のテーブル情報６-3に含まれる各文１−
１，１−２，１−３，１−６，２−１，２−２は、解析
対象とする全ソースコード１-1，１-2の中で代入が行わ
れている全ての場所を表すものであり、それらの場所で
代入されている変数が夫々対応して示されている。例え
ば第１のソースコード１-1の１行目では、変数Ａの代入
が行われている。
【００２８】なお、この図３の例では、変数の代入や参
照が行われた文を１−１，１−２…などで表記している
が、１つの文が複数行に渡って記述されることもあるの
で、これらの表記は単純な行番号を示すものではない。
実際には、各テーブル情報６ -1〜６-3中の文を表す部分
に対して、各ソースコード１-1，１-2の各文ごとにユニ
ークな文ＩＤを与え、この文ＩＤとそれが存在するソー
スコード中の場所との関係を表すもう１つのテーブル情
報を備えている。
照が行われた文を１−１，１−２…などで表記している
が、１つの文が複数行に渡って記述されることもあるの
で、これらの表記は単純な行番号を示すものではない。
実際には、各テーブル情報６ -1〜６-3中の文を表す部分
に対して、各ソースコード１-1，１-2の各文ごとにユニ
ークな文ＩＤを与え、この文ＩＤとそれが存在するソー
スコード中の場所との関係を表すもう１つのテーブル情
報を備えている。
【００２９】解析部７は、テーブル情報生成部５により
生成された図３に示した３つのテーブル情報６-1〜６-3
を用いて、例えば対象変数リスト９にリストアップされ
ているユーザにより指定された所望の変数の代入および
参照関係を辿ることによって影響範囲を解析し、その解
析結果をリスト８として出力する。
生成された図３に示した３つのテーブル情報６-1〜６-3
を用いて、例えば対象変数リスト９にリストアップされ
ているユーザにより指定された所望の変数の代入および
参照関係を辿ることによって影響範囲を解析し、その解
析結果をリスト８として出力する。
【００３０】例えば、変数Ａの影響範囲を解析したい場
合は、まず第１のテーブル情報６-1を見て、その変数Ａ
が各ソースコード１-1，１-2の中のどの場所で代入され
ているかを調べる。ここでは、第１のソースコード１-1
の１行目と、第２のソースコード１-2の１行目において
変数Ａの代入が行われていることが分かる。この時点
で、その検出した代入場所を解析結果リスト８に登録す
る。
合は、まず第１のテーブル情報６-1を見て、その変数Ａ
が各ソースコード１-1，１-2の中のどの場所で代入され
ているかを調べる。ここでは、第１のソースコード１-1
の１行目と、第２のソースコード１-2の１行目において
変数Ａの代入が行われていることが分かる。この時点
で、その検出した代入場所を解析結果リスト８に登録す
る。
【００３１】次に、第２のテーブル情報６-2を見て、指
定された変数Ａが各ソースコード１ -1，１-2の中のどの
場所で参照されているかを調べる。ここでは、第１のソ
ースコード１-1の３行目において変数Ａの参照が行われ
ていることが分かる。この時点で、その検出した参照場
所を解析結果リスト８に追加する。次に、第３のテーブ
ル情報６-3を見て、上記第２のテーブル情報６-2に記述
されている場所で参照された変数Ａがどの変数に代入さ
れているかを調べる。ここでは、第１のソースコード１
-1の３行目において参照された変数Ａが変数Ｂに代入さ
れていることが分かる。
定された変数Ａが各ソースコード１ -1，１-2の中のどの
場所で参照されているかを調べる。ここでは、第１のソ
ースコード１-1の３行目において変数Ａの参照が行われ
ていることが分かる。この時点で、その検出した参照場
所を解析結果リスト８に追加する。次に、第３のテーブ
ル情報６-3を見て、上記第２のテーブル情報６-2に記述
されている場所で参照された変数Ａがどの変数に代入さ
れているかを調べる。ここでは、第１のソースコード１
-1の３行目において参照された変数Ａが変数Ｂに代入さ
れていることが分かる。
【００３２】この場合、変数Ａの値は変数Ｂに代入され
てさらに他の部分に影響を及ぼすことになるので、次に
変数Ｂの影響範囲も調べる必要がある。そこで、第２の
テーブル情報６-2を再び見て、その変数Ｂが各ソースコ
ード１-1，１-2の中のどの場所で参照されているかを調
べる。ここでは、第１のソースコード１-1の２，４，６
行目と、第２のソースコード１-2の３行目において変数
Ｂの参照が行われていることが分かる。この時点で、そ
れらの検出した参照場所を解析結果リスト８に追加す
る。
てさらに他の部分に影響を及ぼすことになるので、次に
変数Ｂの影響範囲も調べる必要がある。そこで、第２の
テーブル情報６-2を再び見て、その変数Ｂが各ソースコ
ード１-1，１-2の中のどの場所で参照されているかを調
べる。ここでは、第１のソースコード１-1の２，４，６
行目と、第２のソースコード１-2の３行目において変数
Ｂの参照が行われていることが分かる。この時点で、そ
れらの検出した参照場所を解析結果リスト８に追加す
る。
【００３３】さらに、第３のテーブル情報６-3を見て、
上記第２のテーブル情報６-2に記述されている場所で参
照された変数Ｂがそれぞれどの変数に代入されているか
を調べる。ここでは、第１のソースコード１-1の２行目
において参照された変数Ｂが変数Ｘに代入されるととも
に、第１のソースコード１-1の６行目において参照され
た変数Ｂが変数Ｃに代入されていることが分かる。な
お、第１のソースコード１-1の４行目において参照され
た変数Ｂと、第２のソースコード１-2の３行目において
参照された変数Ｂは何れの変数にも代入されていないの
で、これらについてはここで処理が終了する。
上記第２のテーブル情報６-2に記述されている場所で参
照された変数Ｂがそれぞれどの変数に代入されているか
を調べる。ここでは、第１のソースコード１-1の２行目
において参照された変数Ｂが変数Ｘに代入されるととも
に、第１のソースコード１-1の６行目において参照され
た変数Ｂが変数Ｃに代入されていることが分かる。な
お、第１のソースコード１-1の４行目において参照され
た変数Ｂと、第２のソースコード１-2の３行目において
参照された変数Ｂは何れの変数にも代入されていないの
で、これらについてはここで処理が終了する。
【００３４】ここで変数Ｂの値が代入されている新たな
変数Ｘ，Ｃについては、更にその影響範囲を調べるため
に、再び第２のテーブル情報６-2を見て、その変数Ｘ，
Ｃが各ソースコード１-1，１-2の中のどの場所で参照さ
れているかを調べる。ここでは、第２のソースコード１
-2の３行目において変数Ｘの参照が行われていることが
分かる。ただし、この参照場所は解析結果リスト８に既
に登録されているので、解析結果リスト８への追加は行
わない。
変数Ｘ，Ｃについては、更にその影響範囲を調べるため
に、再び第２のテーブル情報６-2を見て、その変数Ｘ，
Ｃが各ソースコード１-1，１-2の中のどの場所で参照さ
れているかを調べる。ここでは、第２のソースコード１
-2の３行目において変数Ｘの参照が行われていることが
分かる。ただし、この参照場所は解析結果リスト８に既
に登録されているので、解析結果リスト８への追加は行
わない。
【００３５】さらに、第３のテーブル情報６-3を見て、
上記第２のテーブル情報６-2に記述されている場所で参
照された変数Ｘがどの変数に代入されているかを調べ
る。ここでは、変数Ｘは何れの変数にも代入されていな
いので、ここで全ての解析処理が終了する。以上のよう
に、第１のテーブル情報６-1を起点として、以降第２の
テーブル情報６-2と第３のテーブル情報６-3とを交互に
アクセスして変数の代入および参照関係を辿ることによ
り、変数Ａの影響範囲を求めることができる。このとき
得られた変数Ａの影響範囲の解析結果リスト８を示す
と、図４のようになる。
上記第２のテーブル情報６-2に記述されている場所で参
照された変数Ｘがどの変数に代入されているかを調べ
る。ここでは、変数Ｘは何れの変数にも代入されていな
いので、ここで全ての解析処理が終了する。以上のよう
に、第１のテーブル情報６-1を起点として、以降第２の
テーブル情報６-2と第３のテーブル情報６-3とを交互に
アクセスして変数の代入および参照関係を辿ることによ
り、変数Ａの影響範囲を求めることができる。このとき
得られた変数Ａの影響範囲の解析結果リスト８を示す
と、図４のようになる。
【００３６】なお、今の例では生じていないが、第３の
テーブル情報６-3から第２のテーブル情報６-2に戻る際
に既に解析済の変数が指定された場合には、その変数に
ついて続けて解析しても以前と同じ結果が得られるだけ
なので、そこで解析処理を終了する。そのために、どの
変数について解析を行ったかの履歴情報を保持するよう
にして、常にこの履歴情報を更新および参考にしながら
上述のような処理を実行する。
テーブル情報６-3から第２のテーブル情報６-2に戻る際
に既に解析済の変数が指定された場合には、その変数に
ついて続けて解析しても以前と同じ結果が得られるだけ
なので、そこで解析処理を終了する。そのために、どの
変数について解析を行ったかの履歴情報を保持するよう
にして、常にこの履歴情報を更新および参考にしながら
上述のような処理を実行する。
【００３７】以上の説明から分かるように、本実施形態
の影響解析装置では、それぞれのソースコード１-1，１
-2中に含まれる同じ名前の変数は、全て同じ変数である
ものとしている。これは、複数のソースコード間に渡っ
て影響範囲の解析を行う変数は、殆どの場合が大域変数
（グローバル変数）であり、全てのソースコードで名前
を統一して使われているため、同じ名前の変数を同一視
しても問題がないからである。
の影響解析装置では、それぞれのソースコード１-1，１
-2中に含まれる同じ名前の変数は、全て同じ変数である
ものとしている。これは、複数のソースコード間に渡っ
て影響範囲の解析を行う変数は、殆どの場合が大域変数
（グローバル変数）であり、全てのソースコードで名前
を統一して使われているため、同じ名前の変数を同一視
しても問題がないからである。
【００３８】また、本実施形態の影響解析装置では、そ
れぞれのソースコード１-1，１-2中に含まれる変数がど
こかの場所で代入されたら、その変数の全ての参照はそ
の代入に依存しているものと考えている。つまり、プロ
グラムの制御フローは全く無視している。例えば、第１
のソースコード１-1において制御フローも考慮して変数
Ａの影響範囲を解析すると２行目は影響範囲に入らない
が、本実施形態のように制御フローを無視した場合には
この２行目も影響範囲に入る（図４において１−２も影
響範囲のリストとして登録されている）。
れぞれのソースコード１-1，１-2中に含まれる変数がど
こかの場所で代入されたら、その変数の全ての参照はそ
の代入に依存しているものと考えている。つまり、プロ
グラムの制御フローは全く無視している。例えば、第１
のソースコード１-1において制御フローも考慮して変数
Ａの影響範囲を解析すると２行目は影響範囲に入らない
が、本実施形態のように制御フローを無視した場合には
この２行目も影響範囲に入る（図４において１−２も影
響範囲のリストとして登録されている）。
【００３９】図５および図６は、本実施形態による影響
解析方法の処理手順を示すフローチャートである。この
うち図５は、図１の記憶部４に保存されている変数情報
３-1〜３-nから３つのテーブル情報６-1〜６-3を生成す
るテーブル情報生成部５の処理、すなわち、解析部７に
よる影響解析の前処理の手順を示す。
解析方法の処理手順を示すフローチャートである。この
うち図５は、図１の記憶部４に保存されている変数情報
３-1〜３-nから３つのテーブル情報６-1〜６-3を生成す
るテーブル情報生成部５の処理、すなわち、解析部７に
よる影響解析の前処理の手順を示す。
【００４０】図５において、まずステップＳ１で、ユー
ザがテーブル情報生成部５に対して影響解析を行う対象
のソースコード群を指定する。ここでは、特にリンク単
位を意識することなく、任意のソースコードを指定する
ことが可能である。また、与えられた全てのソースコー
ド１-1〜１-nを指定することも可能である。次に、ステ
ップＳ２でテーブル情報生成部５は、上記指定されたソ
ースコード群の各々に対応する変数情報をそれぞれ記憶
部４から読み込む。
ザがテーブル情報生成部５に対して影響解析を行う対象
のソースコード群を指定する。ここでは、特にリンク単
位を意識することなく、任意のソースコードを指定する
ことが可能である。また、与えられた全てのソースコー
ド１-1〜１-nを指定することも可能である。次に、ステ
ップＳ２でテーブル情報生成部５は、上記指定されたソ
ースコード群の各々に対応する変数情報をそれぞれ記憶
部４から読み込む。
【００４１】すなわち、複数のソースコード１-1〜１-n
の各々に対応する変数情報３-1〜３ -nがあらかじめ変数
情報生成部２により生成されて記憶部４に保存されてい
るので、その中から指定されたソースコード群に対応す
る変数情報を読み込む。そして、ステップＳ３で、その
読み込んだ変数情報の全体を対象として、上述した第１
〜第３のテーブル情報６-1〜６-3を生成する。
の各々に対応する変数情報３-1〜３ -nがあらかじめ変数
情報生成部２により生成されて記憶部４に保存されてい
るので、その中から指定されたソースコード群に対応す
る変数情報を読み込む。そして、ステップＳ３で、その
読み込んだ変数情報の全体を対象として、上述した第１
〜第３のテーブル情報６-1〜６-3を生成する。
【００４２】図６は、上記テーブル情報生成部５により
生成された３つのテーブル情報６-1〜６-3を用いて変数
の影響解析を行う解析部７の処理手順を示す。なお、こ
の図６のフローチャートに入る前に、別途ユーザがどの
変数に対して影響解析を行いたいかという指定をしてお
き、対象変数リスト９にその変数がリスト化されている
ものとする。図６において、まずステップＳ１１で、ユ
ーザから影響解析を行いたい変数の指定があったか否か
を判断する（図３の例では、変数Ａを指定している）。
変数の指定があった場合は、ステップＳ１２で第１のテ
ーブル情報６-1を見て、ステップＳ１３で上記指定され
た変数が第１のテーブル情報６-1内に存在するか否かを
判断する。
生成された３つのテーブル情報６-1〜６-3を用いて変数
の影響解析を行う解析部７の処理手順を示す。なお、こ
の図６のフローチャートに入る前に、別途ユーザがどの
変数に対して影響解析を行いたいかという指定をしてお
き、対象変数リスト９にその変数がリスト化されている
ものとする。図６において、まずステップＳ１１で、ユ
ーザから影響解析を行いたい変数の指定があったか否か
を判断する（図３の例では、変数Ａを指定している）。
変数の指定があった場合は、ステップＳ１２で第１のテ
ーブル情報６-1を見て、ステップＳ１３で上記指定され
た変数が第１のテーブル情報６-1内に存在するか否かを
判断する。
【００４３】ここで、指定された変数が第１のテーブル
情報６-1内に有る場合は、ステップＳ１４に進み、その
変数に対応して第１のテーブル情報６-1内に記述されて
いる代入が行われた文（図３の例では、１−１、２−１
の２つの代入文）を解析結果リスト８に登録する。次
に、ステップＳ１５で第２のテーブル情報６-2を見て、
ステップＳ１６で上記指定された変数が第２のテーブル
情報６-2内に存在するか否かを判断する。
情報６-1内に有る場合は、ステップＳ１４に進み、その
変数に対応して第１のテーブル情報６-1内に記述されて
いる代入が行われた文（図３の例では、１−１、２−１
の２つの代入文）を解析結果リスト８に登録する。次
に、ステップＳ１５で第２のテーブル情報６-2を見て、
ステップＳ１６で上記指定された変数が第２のテーブル
情報６-2内に存在するか否かを判断する。
【００４４】ここで、指定された変数が第２のテーブル
情報６-2内に有る場合は、ステップＳ１７に進み、その
変数に対応して第２のテーブル情報６-2内に記述されて
いる参照が行われた文（図３の例では、１−３の参照
文）を解析結果リスト８に追加する。さらに、ステップ
Ｓ１８で第３のテーブル情報６-3を見て、ステップＳ１
９で上記第２のテーブル情報６-2内に記述されている参
照文が第３のテーブル情報６-3内に存在するか否かを判
断する。
情報６-2内に有る場合は、ステップＳ１７に進み、その
変数に対応して第２のテーブル情報６-2内に記述されて
いる参照が行われた文（図３の例では、１−３の参照
文）を解析結果リスト８に追加する。さらに、ステップ
Ｓ１８で第３のテーブル情報６-3を見て、ステップＳ１
９で上記第２のテーブル情報６-2内に記述されている参
照文が第３のテーブル情報６-3内に存在するか否かを判
断する。
【００４５】ここで、上記第２のテーブル情報６-2内に
記述されている参照文が第３のテーブル情報６-3内に有
る場合は、ステップＳ２０に進み、最初に指定された変
数（図３の例では変数Ａ）を上記参照文に対応して記述
されている代入が行われた変数（図３の例では変数Ｂ）
に置き換える。このように、以降の影響解析処理で対象
とする変数名を変更した後、ステップＳ１５に戻り、再
び第２のテーブル情報６-2を見て以下同様の処理を繰り
返し行う。
記述されている参照文が第３のテーブル情報６-3内に有
る場合は、ステップＳ２０に進み、最初に指定された変
数（図３の例では変数Ａ）を上記参照文に対応して記述
されている代入が行われた変数（図３の例では変数Ｂ）
に置き換える。このように、以降の影響解析処理で対象
とする変数名を変更した後、ステップＳ１５に戻り、再
び第２のテーブル情報６-2を見て以下同様の処理を繰り
返し行う。
【００４６】なお、上記ステップＳ１９で、上記第２の
テーブル情報６-2内に記述されている参照文が第３のテ
ーブル情報６-3内に複数有る場合、ステップＳ２０で
は、以降の処理で対象とする変数を複数設定する。そし
て、以降のステップＳ１５〜Ｓ１９の処理では、設定さ
れた複数の変数のそれぞれに対して同様の処理を実行す
る。このとき、ステップＳ１６およびステップＳ１９で
は、該当するものが１つでも有れば、その該当するもの
に関してＹｅｓの分岐に従って処理を進める。
テーブル情報６-2内に記述されている参照文が第３のテ
ーブル情報６-3内に複数有る場合、ステップＳ２０で
は、以降の処理で対象とする変数を複数設定する。そし
て、以降のステップＳ１５〜Ｓ１９の処理では、設定さ
れた複数の変数のそれぞれに対して同様の処理を実行す
る。このとき、ステップＳ１６およびステップＳ１９で
は、該当するものが１つでも有れば、その該当するもの
に関してＹｅｓの分岐に従って処理を進める。
【００４７】また、上記ステップＳ１３，Ｓ１６，Ｓ１
９の何れかにおいて、第１のテーブル情報６-1および第
２のテーブル情報６-2内に指定された変数が存在しない
場合や、上記第２のテーブル情報６-2内に記述されてい
る参照文が第３のテーブル情報６-3内に存在しない場合
には、影響解析の処理を終了する。このようにして影響
解析の処理を終了したときに解析結果リスト８に記述さ
れている内容が、求めたい変数の影響範囲を表している
ことになる。
９の何れかにおいて、第１のテーブル情報６-1および第
２のテーブル情報６-2内に指定された変数が存在しない
場合や、上記第２のテーブル情報６-2内に記述されてい
る参照文が第３のテーブル情報６-3内に存在しない場合
には、影響解析の処理を終了する。このようにして影響
解析の処理を終了したときに解析結果リスト８に記述さ
れている内容が、求めたい変数の影響範囲を表している
ことになる。
【００４８】以上詳しく説明したように、本実施形態で
は、まず解析対象となるそれぞれのソースコード毎に変
数の代入・参照関係に関する変数情報を夫々生成する。
次に、それぞれのソースコード中に含まれる同じ名前の
変数は全て同じものであるとし、かつ、ソースコード中
の制御フローを無視するという条件の下で、複数の変数
情報をもとに３つのテーブル情報を生成する。そして、
これらのテーブル情報を用いて変数の代入および参照関
係を辿ることによって影響範囲を求めるようにしてい
る。
は、まず解析対象となるそれぞれのソースコード毎に変
数の代入・参照関係に関する変数情報を夫々生成する。
次に、それぞれのソースコード中に含まれる同じ名前の
変数は全て同じものであるとし、かつ、ソースコード中
の制御フローを無視するという条件の下で、複数の変数
情報をもとに３つのテーブル情報を生成する。そして、
これらのテーブル情報を用いて変数の代入および参照関
係を辿ることによって影響範囲を求めるようにしてい
る。
【００４９】これにより、与えられた複数のソースコー
ド１-1〜１-nの中でどの組み合わせでリンク単位を構成
するかを特定できなくても、例えばそれらをまとめて解
析処理を行えば、その中である変数の影響する範囲を解
析することができる。また、異なるソースコードに含ま
れる変数でも同じ名前の変数は同じものであるとして解
析しているので、従来の変数影響解析装置の解析で制限
されていたリンク単位を越えて影響範囲の解析を行うこ
ともできる。
ド１-1〜１-nの中でどの組み合わせでリンク単位を構成
するかを特定できなくても、例えばそれらをまとめて解
析処理を行えば、その中である変数の影響する範囲を解
析することができる。また、異なるソースコードに含ま
れる変数でも同じ名前の変数は同じものであるとして解
析しているので、従来の変数影響解析装置の解析で制限
されていたリンク単位を越えて影響範囲の解析を行うこ
ともできる。
【００５０】また、上述のように制御フローを無視する
という条件を課すことにより、影響解析を厳密に行うこ
とはできないが、各ソースコード１-1〜１-n中の各文に
現れる変数の代入、参照情報を求めれば良くなるので、
構文解析する単位はソースコード毎に行えば良くなり、
ある程度良好な解析結果を現実に実行可能な時間内に得
ることができる。
という条件を課すことにより、影響解析を厳密に行うこ
とはできないが、各ソースコード１-1〜１-n中の各文に
現れる変数の代入、参照情報を求めれば良くなるので、
構文解析する単位はソースコード毎に行えば良くなり、
ある程度良好な解析結果を現実に実行可能な時間内に得
ることができる。
【００５１】さらに、本実施形態では、上記変数情報生
成部２により生成された変数情報３ -1〜３-nを保存する
記憶部４を備え、各変数情報３-1〜３-nを変数情報生成
部２によりあらかじめ生成して記憶部４に保存しておく
ようにしている。したがって、上述した変数の影響解析
処理を一連に行うのではなく、所望の変数の影響解析を
行いたいときにテーブル情報６-1〜６-3の生成から始め
れば良く、影響解析の処理を更に高速化することができ
る。
成部２により生成された変数情報３ -1〜３-nを保存する
記憶部４を備え、各変数情報３-1〜３-nを変数情報生成
部２によりあらかじめ生成して記憶部４に保存しておく
ようにしている。したがって、上述した変数の影響解析
処理を一連に行うのではなく、所望の変数の影響解析を
行いたいときにテーブル情報６-1〜６-3の生成から始め
れば良く、影響解析の処理を更に高速化することができ
る。
【００５２】この場合、最初の段階では、全てのソース
コード１-1〜１-nについて各変数情報３-1〜３-nを求め
て記憶部４に保存することになるが、その後は、変更が
加えられたソースコードについてのみ対応する変数情報
を生成し、その部分だけ記憶部４の内容を更新すれば良
い。なお、この変数情報３-1〜３-nを求める処理自体
は、通常の構文解析手法を用いて行うことが可能であ
る。
コード１-1〜１-nについて各変数情報３-1〜３-nを求め
て記憶部４に保存することになるが、その後は、変更が
加えられたソースコードについてのみ対応する変数情報
を生成し、その部分だけ記憶部４の内容を更新すれば良
い。なお、この変数情報３-1〜３-nを求める処理自体
は、通常の構文解析手法を用いて行うことが可能であ
る。
【００５３】なお、上記実施形態では、解析部７で影響
解析を行う際に、第１のテーブル情報６-1からスタート
してその後第２のテーブル情報６-2と第３のテーブル情
報６ -3とを繰り返し見ていき、該当する変数や文が存在
しなくなった時点で解析処理を終了していたが、第２の
テーブル情報６-2と第３のテーブル情報６-3の繰り返し
処理の回数があらかじめ定めた回数に達したときに解析
処理を終了するようにしても良い。
解析を行う際に、第１のテーブル情報６-1からスタート
してその後第２のテーブル情報６-2と第３のテーブル情
報６ -3とを繰り返し見ていき、該当する変数や文が存在
しなくなった時点で解析処理を終了していたが、第２の
テーブル情報６-2と第３のテーブル情報６-3の繰り返し
処理の回数があらかじめ定めた回数に達したときに解析
処理を終了するようにしても良い。
【００５４】また、上記実施形態では、影響解析を行う
所望の変数を１つだけ指定する例について説明したが、
複数の変数を指定しても良い。この場合、指定された複
数の変数の影響範囲を１つ１つ順に解析していき、各変
数の解析結果を個別のリストとして出力するようにして
も良いし、各変数の解析結果を１つのリストに合わせて
出力するようにしても良い。１つのリストに合わせて出
力する場合、各変数の解析結果のうち重複するものにつ
いては排除するようにしても良い。
所望の変数を１つだけ指定する例について説明したが、
複数の変数を指定しても良い。この場合、指定された複
数の変数の影響範囲を１つ１つ順に解析していき、各変
数の解析結果を個別のリストとして出力するようにして
も良いし、各変数の解析結果を１つのリストに合わせて
出力するようにしても良い。１つのリストに合わせて出
力する場合、各変数の解析結果のうち重複するものにつ
いては排除するようにしても良い。
【００５５】また、上記実施形態では、ある変数単体の
影響解析を行う場合について説明したが、色々な型の変
数をいくつか集めて構成した構造体に対しても本発明を
適用することが可能である。この場合は、例えば、図６
のステップＳ１１で影響解析を行う所望の変数が指定さ
れたときに、その変数が構造体の一部であるかどうかを
まず判断し、構造体の一部であれば、その構造体を構成
する他の変数も影響解析を行う対象の中に含める。以降
は、その構造体を構成する複数の変数に対してステップ
Ｓ１２〜Ｓ２０の処理をそれぞれ実行すれば良い。
影響解析を行う場合について説明したが、色々な型の変
数をいくつか集めて構成した構造体に対しても本発明を
適用することが可能である。この場合は、例えば、図６
のステップＳ１１で影響解析を行う所望の変数が指定さ
れたときに、その変数が構造体の一部であるかどうかを
まず判断し、構造体の一部であれば、その構造体を構成
する他の変数も影響解析を行う対象の中に含める。以降
は、その構造体を構成する複数の変数に対してステップ
Ｓ１２〜Ｓ２０の処理をそれぞれ実行すれば良い。
【００５６】（本発明の他の実施形態）以上に説明した
本実施形態の影響解析装置は、コンピュータのＣＰＵあ
るいはＭＰＵ、ＲＡＭ、ＲＯＭなどで構成されるもので
あり、ＲＡＭやＲＯＭに記憶されたプログラムが動作す
ることによって実現でき、上記プログラムは本発明の実
施形態に含まれる。また、コンピュータが上記機能を果
たすように動作させるプログラムを、例えばＣＤ−ＲＯ
Ｍのような記録媒体に記録し、コンピュータに読み込ま
せることによって実現できるものであり、上記プログラ
ムを記録した記録媒体は本発明の実施形態に含まれる。
上記プログラムを記録する記録媒体としては、ＣＤ−Ｒ
ＯＭ以外に、フレキシブルディスク、ハードディスク、
磁気テープ、光磁気ディスク、不揮発性メモリカード等
を用いることができる。
本実施形態の影響解析装置は、コンピュータのＣＰＵあ
るいはＭＰＵ、ＲＡＭ、ＲＯＭなどで構成されるもので
あり、ＲＡＭやＲＯＭに記憶されたプログラムが動作す
ることによって実現でき、上記プログラムは本発明の実
施形態に含まれる。また、コンピュータが上記機能を果
たすように動作させるプログラムを、例えばＣＤ−ＲＯ
Ｍのような記録媒体に記録し、コンピュータに読み込ま
せることによって実現できるものであり、上記プログラ
ムを記録した記録媒体は本発明の実施形態に含まれる。
上記プログラムを記録する記録媒体としては、ＣＤ−Ｒ
ＯＭ以外に、フレキシブルディスク、ハードディスク、
磁気テープ、光磁気ディスク、不揮発性メモリカード等
を用いることができる。
【００５７】また、コンピュータが供給されたプログラ
ムを実行することにより上述の実施形態の機能が実現さ
れるだけでなく、そのプログラムがコンピュータにおい
て稼働しているＯＳ（オペレーティングシステム）ある
いは他のアプリケーションソフト等と共同して上述の実
施形態の機能が実現される場合や、供給されたプログラ
ムの処理の全てあるいは一部がコンピュータの機能拡張
ボードや機能拡張ユニットにより行われて上述の実施形
態の機能が実現される場合も、かかるプログラムは本発
明の実施形態に含まれる。
ムを実行することにより上述の実施形態の機能が実現さ
れるだけでなく、そのプログラムがコンピュータにおい
て稼働しているＯＳ（オペレーティングシステム）ある
いは他のアプリケーションソフト等と共同して上述の実
施形態の機能が実現される場合や、供給されたプログラ
ムの処理の全てあるいは一部がコンピュータの機能拡張
ボードや機能拡張ユニットにより行われて上述の実施形
態の機能が実現される場合も、かかるプログラムは本発
明の実施形態に含まれる。
【００５８】
【発明の効果】本発明は上述したように、解析の対象と
なる少なくとも１つ以上のソースコードのそれぞれに対
応する各変数情報を用いて、代入または参照が行われた
変数とその存在場所との対応関係を表す複数のテーブル
情報を生成し、その複数のテーブル情報を用いて、変数
の代入および参照関係を辿ることによって変数の影響範
囲を求めるようにしたので、与えられた複数のソースコ
ードの中でどの組み合わせでリンク単位を構成するかを
意識することなく、その中で関係のあるソースコード間
で所望の変数の影響範囲を解析することができる。
なる少なくとも１つ以上のソースコードのそれぞれに対
応する各変数情報を用いて、代入または参照が行われた
変数とその存在場所との対応関係を表す複数のテーブル
情報を生成し、その複数のテーブル情報を用いて、変数
の代入および参照関係を辿ることによって変数の影響範
囲を求めるようにしたので、与えられた複数のソースコ
ードの中でどの組み合わせでリンク単位を構成するかを
意識することなく、その中で関係のあるソースコード間
で所望の変数の影響範囲を解析することができる。
【００５９】また、それぞれのソースコード中に含まれ
る同じ名前の変数は全て同じ変数であるとして解析を行
っているので、リンク単位を越えて影響範囲の解析を行
うこともできる。さらに、それぞれのソースコード中に
含まれる変数の全ての参照がその変数の代入に依存して
いるものとして解析を行っているので、各ソースコード
中の各文に現れる変数の代入、参照情報を求めれば良く
なり、短い時間で解析処理を実行することができる。
る同じ名前の変数は全て同じ変数であるとして解析を行
っているので、リンク単位を越えて影響範囲の解析を行
うこともできる。さらに、それぞれのソースコード中に
含まれる変数の全ての参照がその変数の代入に依存して
いるものとして解析を行っているので、各ソースコード
中の各文に現れる変数の代入、参照情報を求めれば良く
なり、短い時間で解析処理を実行することができる。
【００６０】さらに、本発明の他の特徴によれば、それ
ぞれのソースコードに対応する変数情報を保存する記憶
手段を備え、上記変数情報をあらかじめ生成して保存し
ておくようにしたので、所望の変数の影響解析を行いた
いときには、保存されている変数情報を用いてテーブル
情報の生成から始めれば良くなり、影響解析の処理にか
かる時間を更に短縮化することができる。
ぞれのソースコードに対応する変数情報を保存する記憶
手段を備え、上記変数情報をあらかじめ生成して保存し
ておくようにしたので、所望の変数の影響解析を行いた
いときには、保存されている変数情報を用いてテーブル
情報の生成から始めれば良くなり、影響解析の処理にか
かる時間を更に短縮化することができる。
【図１】本実施形態による影響解析装置の主要な機能構
成を示すブロック図である。
成を示すブロック図である。
【図２】ソースコードの一部構成例を示す図である。
【図３】図２に示した２つのソースコードを解析対象と
した場合に生成される３つのテーブル情報と影響解析の
流れを示す図である。
した場合に生成される３つのテーブル情報と影響解析の
流れを示す図である。
【図４】変数Ａの影響範囲の解析結果リストを示す図で
ある。
ある。
【図５】本実施形態による影響解析方法の処理手順を示
すフローチャートである。
すフローチャートである。
【図６】本実施形態による影響解析方法の処理手順を示
すフローチャートである。
すフローチャートである。
１-1〜１-n ソースコード ２ 変数情報生成部 ３-1〜３-n 変数情報 ４ 記憶部 ５ テーブル情報生成部 ６-1〜６-3 テーブル情報 ７ 解析部 ８ 解析結果リスト
Claims (10)
- 【請求項１】 ソースコード中に含まれる変数が他の部
分に与える影響を解析する影響解析装置であって、 解析の対象となる少なくとも１つ以上のソースコード毎
に生成された、変数のデータ依存関係に関する少なくと
も１つ以上の変数情報を対象として、代入または参照が
行われた変数とその存在場所との対応関係を表す複数の
テーブル情報を生成するテーブル生成手段と、 上記テーブル生成手段により生成された複数のテーブル
情報を用いて、変数の代入および参照関係を辿ることに
よって変数の影響範囲を求める解析手段とを備えたこと
を特徴とする影響解析装置。 - 【請求項２】 上記テーブル生成手段は、それぞれのソ
ースコード毎に生成された各変数情報を対象として、変
数とその代入が行われた文との対応関係を表す第１のテ
ーブル情報、変数とその参照が行われた文との対応関係
を表す第２のテーブル情報、文とそこで代入が行われた
変数との対応関係を表す第３のテーブル情報を生成する
ことを特徴とする請求項１に記載の影響解析装置。 - 【請求項３】 上記テーブル生成手段は、それぞれのソ
ースコード中に含まれる同じ名前の変数を全て同じ変数
であるとして上記複数のテーブル情報を生成することを
特徴とする請求項１または２に記載の影響解析装置。 - 【請求項４】 上記テーブル生成手段は、それぞれのソ
ースコード中に含まれる変数がどこかで代入された場合
に、その変数の全ての参照がその代入に依存しているも
のとして上記複数のテーブル情報を生成することを特徴
とする請求項１〜３の何れか１項に記載の影響解析装
置。 - 【請求項５】 上記解析の対象となる少なくとも１つ以
上のソースコードを読み込み、それぞれのソースコード
毎に上記変数情報を生成する変数情報生成手段と、 上記変数情報生成手段により生成された各変数情報を保
存する記憶手段とを備え、 上記テーブル生成手段および解析手段は、上記変数情報
生成手段によりあらかじめ生成されて上記記憶手段に保
存されている各変数情報を用いて、上記複数のテーブル
情報の生成およびそれらを用いた影響解析を実行するこ
とを特徴とする請求項１〜４の何れか１項に記載の影響
解析装置。 - 【請求項６】 ソースコード中に含まれる変数が他の部
分に与える影響を解析する影響解析方法であって、 解析の対象となる少なくとも１つ以上のソースコード毎
に生成された、変数のデータ依存関係に関する少なくと
も１つ以上の変数情報を対象として、代入または参照が
行われた変数とその存在場所との対応関係を表す複数の
テーブル情報を生成するテーブル生成ステップと、 上記生成された複数のテーブル情報を用いて、変数の代
入および参照関係を辿ることによって変数の影響範囲を
求める解析ステップとを有することを特徴とする影響解
析方法。 - 【請求項７】 上記テーブル生成ステップでは、それぞ
れのソースコード毎に生成された各変数情報を対象とし
て、変数とその代入が行われた文との対応関係を表す第
１のテーブル情報、変数とその参照が行われた文との対
応関係を表す第２のテーブル情報、文とそこで代入が行
われた変数との対応関係を表す第３のテーブル情報を生
成することを特徴とする請求項６に記載の影響解析方
法。 - 【請求項８】 上記解析ステップでは、上記第１のテー
ブル情報を起点として、以降上記第２のテーブル情報と
上記第３のテーブル情報とを交互にアクセスして上記変
数の代入および参照関係を辿ることによって上記変数の
影響範囲を求めることを特徴とする請求項７に記載の影
響解析方法。 - 【請求項９】 解析の対象となる少なくとも１つ以上の
ソースコード毎に生成された、変数のデータ依存関係に
関する少なくとも１つ以上の変数情報を対象として、代
入または参照が行われた変数とその存在場所との対応関
係を表す複数のテーブル情報を生成するテーブル生成手
段と、 上記テーブル生成手段により生成された複数のテーブル
情報を用いて、変数の代入および参照関係を辿ることに
よって変数の影響範囲を求める解析手段としてコンピュ
ータを機能させるためのプログラムを記録したことを特
徴とするコンピュータ読み取り可能な記録媒体。 - 【請求項１０】 解析の対象となる少なくとも１つ以上
のソースコード毎に生成された、変数のデータ依存関係
に関する少なくとも１つ以上の変数情報を対象として、
代入または参照が行われた変数とその存在場所との対応
関係を表す複数のテーブル情報を生成するテーブル生成
手段と、 上記テーブル生成手段により生成された複数のテーブル
情報を用いて、変数の代入および参照関係を辿ることに
よって変数の影響範囲を求める解析手段としてコンピュ
ータを機能させるためのプログラム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2001194829A JP4782315B2 (ja) | 2000-06-27 | 2001-06-27 | 影響解析装置および方法、記録媒体、プログラム |
Applications Claiming Priority (4)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2000193313 | 2000-06-27 | ||
| JP2000193313 | 2000-06-27 | ||
| JP2000-193313 | 2000-06-27 | ||
| JP2001194829A JP4782315B2 (ja) | 2000-06-27 | 2001-06-27 | 影響解析装置および方法、記録媒体、プログラム |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2002082802A true JP2002082802A (ja) | 2002-03-22 |
| JP4782315B2 JP4782315B2 (ja) | 2011-09-28 |
Family
ID=26594796
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2001194829A Expired - Lifetime JP4782315B2 (ja) | 2000-06-27 | 2001-06-27 | 影響解析装置および方法、記録媒体、プログラム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP4782315B2 (ja) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2010039949A (ja) * | 2008-08-07 | 2010-02-18 | Fujitsu Ltd | 分散開発管理プログラム |
| JP2013156786A (ja) * | 2012-01-30 | 2013-08-15 | Hitachi Automotive Systems Ltd | ソフトウェアの構造可視化プログラムおよびシステム |
| JP2015149017A (ja) * | 2014-02-07 | 2015-08-20 | 富士通株式会社 | 管理プログラム、管理方法、及び管理システム |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH07104989A (ja) * | 1993-09-30 | 1995-04-21 | Fujitsu Ltd | データ項目定義標準化装置 |
| JPH11327879A (ja) * | 1998-05-15 | 1999-11-30 | Fujitsu Ltd | 変数検索装置及び方法並びに変数検索プログラムを記録したコンピュータ読取り可能な記録媒体 |
| JP2001142688A (ja) * | 1999-11-16 | 2001-05-25 | Fujitsu Ltd | プログラム分析装置及び記録媒体 |
-
2001
- 2001-06-27 JP JP2001194829A patent/JP4782315B2/ja not_active Expired - Lifetime
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH07104989A (ja) * | 1993-09-30 | 1995-04-21 | Fujitsu Ltd | データ項目定義標準化装置 |
| JPH11327879A (ja) * | 1998-05-15 | 1999-11-30 | Fujitsu Ltd | 変数検索装置及び方法並びに変数検索プログラムを記録したコンピュータ読取り可能な記録媒体 |
| JP2001142688A (ja) * | 1999-11-16 | 2001-05-25 | Fujitsu Ltd | プログラム分析装置及び記録媒体 |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2010039949A (ja) * | 2008-08-07 | 2010-02-18 | Fujitsu Ltd | 分散開発管理プログラム |
| JP2013156786A (ja) * | 2012-01-30 | 2013-08-15 | Hitachi Automotive Systems Ltd | ソフトウェアの構造可視化プログラムおよびシステム |
| JP2015149017A (ja) * | 2014-02-07 | 2015-08-20 | 富士通株式会社 | 管理プログラム、管理方法、及び管理システム |
Also Published As
| Publication number | Publication date |
|---|---|
| JP4782315B2 (ja) | 2011-09-28 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7353505B2 (en) | Tracing the execution path of a computer program | |
| US20120143893A1 (en) | Pattern Matching Framework for Log Analysis | |
| US20070150870A1 (en) | Method and apparatus for context oriented computer program tracing and visualization | |
| US8286141B2 (en) | Instruction-trace generation program, instruction-trace generating device, and instruction-trace generating method | |
| Schuster et al. | Conformance checking for trace fragments using infix and postfix alignments | |
| US6546526B2 (en) | Active trace debugging for hardware description languages | |
| JP6878707B2 (ja) | 試験装置、試験方法および試験プログラム | |
| JP4782315B2 (ja) | 影響解析装置および方法、記録媒体、プログラム | |
| CN109032946B (zh) | 一种测试方法和装置、计算机可读存储介质 | |
| KR100640243B1 (ko) | 이동통신 단말기의 응용프로그램 실행속도 향상장치 및방법 | |
| JP2017041196A (ja) | スタブ化対象判定装置、方法、及びプログラム | |
| JP7380851B2 (ja) | テストスクリプト生成装置、テストスクリプト生成方法及びプログラム | |
| Küsters et al. | Revisiting the Alpha Algorithm To Enable Real-Life Process Discovery Applications | |
| CN114691197A (zh) | 代码分析方法、装置、电子设备和存储介质 | |
| US6950970B2 (en) | Operation report creation system, operation report creation method, and operation report creation program | |
| CN114356783A (zh) | 单元测试代码自动生成方法、装置、存储介质及设备 | |
| GB2397905A (en) | Method for automatically generating and ordering test scripts | |
| Vasiliev et al. | Integration of Business Process Definition, Analysis and Execution Tools Based on Block-structured Approach | |
| Fernández-Ropero et al. | Repairing business process models as retrieved from source code | |
| US7152227B1 (en) | Automated assessment of programming language coverage by one or more test programs | |
| CN111209204B (zh) | 一种基于JSON的web自动化测试方法及其系统和装置 | |
| CN116016270B (zh) | 一种交换机测试管理方法、装置、电子设备和存储介质 | |
| CN118170690B (zh) | 一种基于待定元组的组合测试多故障定位方法 | |
| JP2008262473A (ja) | 設備保全管理システム | |
| CN118132388B (zh) | 一种程序执行路径确定方法、装置、设备及介质 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20080509 |
|
| A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20110308 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110329 |
|
| A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110527 |
|
| TRDD | Decision of grant or rejection written | ||
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20110614 |
|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20110707 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140715 Year of fee payment: 3 |
|
| R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 Ref document number: 4782315 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| EXPY | Cancellation because of completion of term |