JP4782315B2

JP4782315B2 - Impact analysis apparatus and method, recording medium, and program

Info

Publication number: JP4782315B2
Application number: JP2001194829A
Authority: JP
Inventors: 博昭木村
Original assignee: NS Solutions Corp
Current assignee: NS Solutions Corp
Priority date: 2000-06-27
Filing date: 2001-06-27
Publication date: 2011-09-28
Anticipated expiration: 2021-06-27
Also published as: JP2002082802A

Description

【０００１】
【発明の属する技術分野】
本発明は影響解析装置および方法、更にはこれらをソフトウェアの機能で実現するためのプログラム、および上記プログラムを格納した記録媒体に関し、特に、一般的なプログラム言語で記述されたソースコードを解析する際に利用される影響解析装置および方法に用いて好適なものである。
【０００２】
【従来の技術】
従来、例えば既存のソフトウェア資産を利用してより良いコンピュータシステムを構築することが一般的に行われている。この場合、既に構築されている既存のソースコード（ソースプログラム）をデバッグして保守したり、あるいはソースコードが無いときにはリバース・エンジニリアリングを行ったりしている。このプログラムの保守やリバース・エンジニリアリングでは、プログラム中のある変数およびその変数に関係する部分については修正せず、これら以外の部分だけを修正したいという場合もある。
【０００３】
ところが、プログラムの内容によっては、その変数がプログラムの他の部分に影響を与えている場合がある。したがって、ある変数に対して修正を加えるときに、その影響がそのプログラムのどの部分まで及ぶのかを調べることなく無闇に行うと、予測し得ないエラー等が発生して、そのプログラムが正常に動作しなくなってしまうことがある。
【０００４】
したがって、ソースコードの解析・修正作業においては、変数の影響がどの範囲まで及び、どの部分には及ばないかを解析することが、プログラムを開発する上において極めて重要となる。そこで本出願人は、このような解析を行うための装置として、例えば特願平１０−２４３５５号に記載の変数影響解析装置を提案した。この装置は、プログラム中での影響範囲を解析するものである。
【０００５】
【発明が解決しようとする課題】
ところで、１つのプログラムは、例えば機能単位毎に分割した個々のモジュールに対応する複数のソースコードを夫々コンパイルし、それらをリンクすることによって作成されることが多い。以下では、このように１つの実行プログラムを作るに当たってリンクするために必要なソースコード群の単位を「リンク単位」と呼ぶ。さらに、複数のリンク単位の実行プログラムが連携して１つのコンピュータシステムを構築している場合も多い。
【０００６】
通常、プログラムを保守する際にはソースコードやそのリンク単位等をユーザが理解しており、これをもとに保守作業を行うことが多い。しかしながら、これらの情報をユーザが必ず理解しているとは限らない。従来の変数影響解析装置では、ユーザがこれらリンク単位等の情報を理解していることを前提に作られているため、ユーザはリンク単位を意識しておく必要があり、リンク単位が不明である場合には解析できなかった。
【０００７】
また、別の課題として、リンク単位となっている複数のソースファイルに渡って影響解析を行う場合、例えば対象となるソースファイル自体が数千、数万ファイルになることがある。その場合、従来の変数影響解析装置では全ての影響解析を行っていたために解析結果を得るためには非常に時間がかかり、実質的には使い物にならなかった。
さらに、従来の変数影響解析装置では、影響解析できる範囲は１つのリンク単位内に限られており、複数のリンク単位が連携して構築されるようなシステムに関しては解析できないという課題があった。
【０００８】
本発明は、このような問題を解決するために成されたものであり、与えられたソースコード群の中でユーザがリンク単位を意識しなくても影響範囲の解析を行うことができるようにすることを目的とする。
また、本発明は、解析対象となるソースファイルが多くなった場合にも高速に影響解析を行うことができるようにすることを目的とする。
さらに、本発明は、１つのリンク単位を越えて影響範囲の解析を行うことができるようにすることも目的としている。
【０００９】
【課題を解決するための手段】
本発明の影響解析装置は、解析の対象となる少なくとも１つ以上のソースコード毎に生成された、変数のデータ依存関係に関する少なくとも１つ以上の変数情報を対象として、代入または参照が行われた変数とその存在場所との対応関係を表す複数のテーブル情報を生成するテーブル生成手段と、上記テーブル生成手段により生成された複数のテーブル情報を用いて、変数の代入および参照関係を辿ることによって変数の影響範囲を求める解析手段とを備え、上記テーブル生成手段は、それぞれのソースコード毎に生成された各変数情報を対象として、変数とその代入が行われた文との対応関係を表す第１のテーブル情報、変数とその参照が行われた文との対応関係を表す第２のテーブル情報、文とそこで代入が行われた変数との対応関係を表す第３のテーブル情報を生成する。
【００１３】
また、本発明の影響解析方法は、解析の対象となる少なくとも１つ以上のソースコード毎に生成された、変数のデータ依存関係に関する少なくとも１つ以上の変数情報を対象として、代入または参照が行われた変数とその存在場所との対応関係を表す複数のテーブル情報を生成するテーブル生成ステップと、上記生成された複数のテーブル情報を用いて、変数の代入および参照関係を辿ることによって変数の影響範囲を求める解析ステップとを有し、上記テーブル生成ステップでは、それぞれのソースコード毎に生成された各変数情報を対象として、変数とその代入が行われた文との対応関係を表す第１のテーブル情報、変数とその参照が行われた文との対応関係を表す第２のテーブル情報、文とそこで代入が行われた変数との対応関係を表す第３のテーブル情報を生成する。
【００１４】
また、本発明のコンピュータ読み取り可能な記録媒体は、解析の対象となる少なくとも１つ以上のソースコード毎に生成された、変数のデータ依存関係に関する少なくとも１つ以上の変数情報を対象として、代入または参照が行われた変数とその存在場所との対応関係を表す複数のテーブル情報を生成するテーブル生成手段と、上記テーブル生成手段により生成された複数のテーブル情報を用いて、変数の代入および参照関係を辿ることによって変数の影響範囲を求める解析手段としてコンピュータを機能させ、かつ上記テーブル生成手段にて、それぞれのソースコード毎に生成された各変数情報を対象として、変数とその代入が行われた文との対応関係を表す第１のテーブル情報、変数とその参照が行われた文との対応関係を表す第２のテーブル情報、文とそこで代入が行われた変数との対応関係を表す第３のテーブル情報を生成するためのプログラムを記録する。
【００１５】
また、本発明のプログラムは、解析の対象となる少なくとも１つ以上のソースコード毎に生成された、変数のデータ依存関係に関する少なくとも１つ以上の変数情報を対象として、代入または参照が行われた変数とその存在場所との対応関係を表す複数のテーブル情報を生成するテーブル生成手段と、上記テーブル生成手段により生成された複数のテーブル情報を用いて、変数の代入および参照関係を辿ることによって変数の影響範囲を求める解析手段としてコンピュータを機能させ、かつ上記テーブル生成手段にて、それぞれのソースコード毎に生成された各変数情報を対象として、変数とその代入が行われた文との対応関係を表す第１のテーブル情報、変数とその参照が行われた文との対応関係を表す第２のテーブル情報、文とそこで代入が行われた変数との対応関係を表す第３のテーブル情報を生成する。
【００１６】
【発明の実施の形態】
以下、本発明の一実施形態を図面に基づいて説明する。
図１は、本実施形態による影響解析装置の主要な機能構成を示すブロック図である。
【００１７】
図１において、１_-1〜１_-nは影響範囲解析の対象となるｎ個のソースコードであり、これらの中の何れかの組み合わせによってリンク単位が構成される。また、これらｎ個のソースコード１_-1〜１_-nの中に複数のリンク単位が含まれていても良い。解析の対象として与えられるこれらｎ個のソースコード１_-1〜１_-nは、その中の何れの組み合わせによってリンク単位が構成されているのかが不明であっても良い。
【００１８】
２は変数情報生成部であり、解析の対象となる上記ｎ個のソースコード１_-1〜１_-nを読み込み、それぞれのソースコード毎に構文解析して、変数の代入・参照関係を表す変数情報３_-1〜３_-nをそれぞれ生成する。すなわち、例えば第１のソースコード１_-1から第１の変数情報３_-1を生成し、第ｎのソースコード１_-nから第ｎの変数情報３_-nを生成する。生成した変数情報３_-1〜３_-nは、各ソースコード毎に１つのファイルに入れてそれぞれ記憶部４に保存する。
【００１９】
５はテーブル情報生成部であり、上記変数情報生成部２によりそれぞれのソースコード毎に生成されて記憶部４に保存された各変数情報３_-1〜３_-nを対象として、代入または参照が行われた変数とその存在場所との対応関係を表す複数のテーブル情報を生成する。ここでは、例えば変数とその代入が行われた文との対応関係を表す第１のテーブル情報６_-1と、変数とその参照が行われた文との対応関係を表す第２のテーブル情報６_-2と、文とそこで代入が行われた変数との対応関係を表す第３のテーブル情報６_-3とを生成する。
【００２０】
７は解析部であり、上記テーブル情報生成部５により生成された３つのテーブル情報６_-1〜６_-3を用いて、変数の代入および参照関係を辿ることによって所望の変数の影響範囲を解析する。例えば、第１のテーブル情報６_-1を起点として、以降第２のテーブル情報６_-2と第３のテーブル情報６_-3とを交互にアクセスして変数の代入および参照の関係を辿ることにより、当該変数の影響範囲を求める。
そして、その解析結果をリスト８として出力する。
【００２１】
以下に、上記のように構成した影響解析装置の動作を、具体例を挙げながら説明する。なお、ここでは説明の簡単のため、変数の影響解析の対象とするソースコードが２つの場合について説明する。図２は、その２つのソースコード１_-1，１_-2およびこれから生成される変数情報３_-1，３_-2の一部構成例を示す図である。
【００２２】
図２において、第１のソースコード１_-1では、１行目において変数Ａに"１"が代入され、２行目において変数Ｂが参照されてその値が変数Ｘに代入され、３行目において変数Ａが参照されてその値が変数Ｂに代入されている。また、４行目においては２つの変数Ｂ，Ｙが参照され、６行目においては変数Ｂが参照されてその値が変数Ｃに代入されている。一方、第２のソースコード１_-2では、１行目において変数Ａに"０"が代入され、２行目において変数Ｄが参照されてその値が変数Ｘに代入され、３行目において２つの変数Ｂ，Ｘが参照されている。
【００２３】
変数情報生成部２は、このような２個のソースコード１_-1，１_-2を読み込み、それぞれのソースコード中に含まれる各変数の代入・参照関係を解析して、変数の代入・参照関係に関する変数情報３_-1，３_-2をそれぞれのソースコード毎に生成する。例えば、第１のソースコード１_-1に関しては、変数Ａは１行目で代入されるとともに３行目で参照され、変数Ｂは２，４，６行目で参照されるとともに３行目で代入され、変数Ｃは６行目で代入され、変数Ｘは２行目で代入され、変数Ｙは４行目で参照されているという変数情報を生成する。第２のソースコード１_-2に関しても同様である。
【００２４】
このようにして生成された変数情報３_-1，３_-2は、それぞれ別個のファイルとして記憶部４に保存される。テーブル情報生成部５は、記憶部４に保存された各変数情報３_-1，３_-2を用いて、上述の３つのテーブル情報６_-1〜６_-3を生成する。図３は、上記図２に示した２つのソースコード１_-1，１_-2を解析対象とした場合に生成される３つのテーブル情報６_-1〜６_-3を示す図である。
【００２５】
図３において、第１のテーブル情報６_-1は、変数とその代入が行われた文との対応関係を表すものである。この第１のテーブル情報６_-1に含まれる各変数Ａ，Ｂ，Ｃ，Ｘは、解析対象とする全ソースコード１_-1，１_-2の中で代入が行われている全ての変数である。また、それらに対応する文は、その変数の代入が行われているソースコード中の場所を示すものである。例えば変数Ａは、第１のソースコード１_-1の１行目（１−１で表記）と、第２のソースコード１_-2の１行目（２−１で表記）とで代入が行われている。
【００２６】
また、第２のテーブル情報６_-2は、変数とその参照が行われた文との対応関係を表すものである。この第２のテーブル情報６_-2に含まれる各変数Ａ，Ｂ，Ｄ，Ｘ，Ｙは、解析対象とする全ソースコード１_-1，１_-2の中で参照が行われている全ての変数である。また、それらに対応する文は、その変数の参照が行われているソースコード中の場所を示すものである。例えば変数Ａは、第１のソースコード１_-1の３行目（１−３で表記）で参照が行われている。
【００２７】
また、第３のテーブル情報６_-3は、文とそこで代入が行われた変数との対応関係を表すものである。この第３のテーブル情報６_-3に含まれる各文１−１，１−２，１−３，１−６，２−１，２−２は、解析対象とする全ソースコード１_-1，１_-2の中で代入が行われている全ての場所を表すものであり、それらの場所で代入されている変数が夫々対応して示されている。例えば第１のソースコード１_-1の１行目では、変数Ａの代入が行われている。
【００２８】
なお、この図３の例では、変数の代入や参照が行われた文を１−１，１−２…などで表記しているが、１つの文が複数行に渡って記述されることもあるので、これらの表記は単純な行番号を示すものではない。実際には、各テーブル情報６_-1〜６_-3中の文を表す部分に対して、各ソースコード１_-1，１_-2の各文ごとにユニークな文ＩＤを与え、この文ＩＤとそれが存在するソースコード中の場所との関係を表すもう１つのテーブル情報を備えている。
【００２９】
解析部７は、テーブル情報生成部５により生成された図３に示した３つのテーブル情報６_-1〜６_-3を用いて、例えば対象変数リスト９にリストアップされているユーザにより指定された所望の変数の代入および参照関係を辿ることによって影響範囲を解析し、その解析結果をリスト８として出力する。
【００３０】
例えば、変数Ａの影響範囲を解析したい場合は、まず第１のテーブル情報６_-1を見て、その変数Ａが各ソースコード１_-1，１_-2の中のどの場所で代入されているかを調べる。ここでは、第１のソースコード１_-1の１行目と、第２のソースコード１_-2の１行目において変数Ａの代入が行われていることが分かる。この時点で、その検出した代入場所を解析結果リスト８に登録する。
【００３１】
次に、第２のテーブル情報６_-2を見て、指定された変数Ａが各ソースコード１_-1，１_-2の中のどの場所で参照されているかを調べる。ここでは、第１のソースコード１_-1の３行目において変数Ａの参照が行われていることが分かる。この時点で、その検出した参照場所を解析結果リスト８に追加する。次に、第３のテーブル情報６_-3を見て、上記第２のテーブル情報６_-2に記述されている場所で参照された変数Ａがどの変数に代入されているかを調べる。ここでは、第１のソースコード１_-1の３行目において参照された変数Ａが変数Ｂに代入されていることが分かる。
【００３２】
この場合、変数Ａの値は変数Ｂに代入されてさらに他の部分に影響を及ぼすことになるので、次に変数Ｂの影響範囲も調べる必要がある。そこで、第２のテーブル情報６_-2を再び見て、その変数Ｂが各ソースコード１_-1，１_-2の中のどの場所で参照されているかを調べる。ここでは、第１のソースコード１_-1の２，４，６行目と、第２のソースコード１_-2の３行目において変数Ｂの参照が行われていることが分かる。この時点で、それらの検出した参照場所を解析結果リスト８に追加する。
【００３３】
さらに、第３のテーブル情報６_-3を見て、上記第２のテーブル情報６_-2に記述されている場所で参照された変数Ｂがそれぞれどの変数に代入されているかを調べる。ここでは、第１のソースコード１_-1の２行目において参照された変数Ｂが変数Ｘに代入されるとともに、第１のソースコード１_-1の６行目において参照された変数Ｂが変数Ｃに代入されていることが分かる。なお、第１のソースコード１_-1の４行目において参照された変数Ｂと、第２のソースコード１_-2の３行目において参照された変数Ｂは何れの変数にも代入されていないので、これらについてはここで処理が終了する。
【００３４】
ここで変数Ｂの値が代入されている新たな変数Ｘ，Ｃについては、更にその影響範囲を調べるために、再び第２のテーブル情報６_-2を見て、その変数Ｘ，Ｃが各ソースコード１_-1，１_-2の中のどの場所で参照されているかを調べる。ここでは、第２のソースコード１_-2の３行目において変数Ｘの参照が行われていることが分かる。ただし、この参照場所は解析結果リスト８に既に登録されているので、解析結果リスト８への追加は行わない。
【００３５】
さらに、第３のテーブル情報６_-3を見て、上記第２のテーブル情報６_-2に記述されている場所で参照された変数Ｘがどの変数に代入されているかを調べる。ここでは、変数Ｘは何れの変数にも代入されていないので、ここで全ての解析処理が終了する。以上のように、第１のテーブル情報６_-1を起点として、以降第２のテーブル情報６_-2と第３のテーブル情報６_-3とを交互にアクセスして変数の代入および参照関係を辿ることにより、変数Ａの影響範囲を求めることができる。このとき得られた変数Ａの影響範囲の解析結果リスト８を示すと、図４のようになる。
【００３６】
なお、今の例では生じていないが、第３のテーブル情報６_-3から第２のテーブル情報６_-2に戻る際に既に解析済の変数が指定された場合には、その変数について続けて解析しても以前と同じ結果が得られるだけなので、そこで解析処理を終了する。そのために、どの変数について解析を行ったかの履歴情報を保持するようにして、常にこの履歴情報を更新および参考にしながら上述のような処理を実行する。
【００３７】
以上の説明から分かるように、本実施形態の影響解析装置では、それぞれのソースコード１_-1，１_-2中に含まれる同じ名前の変数は、全て同じ変数であるものとしている。これは、複数のソースコード間に渡って影響範囲の解析を行う変数は、殆どの場合が大域変数（グローバル変数）であり、全てのソースコードで名前を統一して使われているため、同じ名前の変数を同一視しても問題がないからである。
【００３８】
また、本実施形態の影響解析装置では、それぞれのソースコード１_-1，１_-2中に含まれる変数がどこかの場所で代入されたら、その変数の全ての参照はその代入に依存しているものと考えている。つまり、プログラムの制御フローは全く無視している。例えば、第１のソースコード１_-1において制御フローも考慮して変数Ａの影響範囲を解析すると２行目は影響範囲に入らないが、本実施形態のように制御フローを無視した場合にはこの２行目も影響範囲に入る（図４において１−２も影響範囲のリストとして登録されている）。
【００３９】
図５および図６は、本実施形態による影響解析方法の処理手順を示すフローチャートである。このうち図５は、図１の記憶部４に保存されている変数情報３_-1〜３_-nから３つのテーブル情報６_-1〜６_-3を生成するテーブル情報生成部５の処理、すなわち、解析部７による影響解析の前処理の手順を示す。
【００４０】
図５において、まずステップＳ１で、ユーザがテーブル情報生成部５に対して影響解析を行う対象のソースコード群を指定する。ここでは、特にリンク単位を意識することなく、任意のソースコードを指定することが可能である。また、与えられた全てのソースコード１_-1〜１_-nを指定することも可能である。次に、ステップＳ２でテーブル情報生成部５は、上記指定されたソースコード群の各々に対応する変数情報をそれぞれ記憶部４から読み込む。
【００４１】
すなわち、複数のソースコード１_-1〜１_-nの各々に対応する変数情報３_-1〜３_-nがあらかじめ変数情報生成部２により生成されて記憶部４に保存されているので、その中から指定されたソースコード群に対応する変数情報を読み込む。そして、ステップＳ３で、その読み込んだ変数情報の全体を対象として、上述した第１〜第３のテーブル情報６_-1〜６_-3を生成する。
【００４２】
図６は、上記テーブル情報生成部５により生成された３つのテーブル情報６_-1〜６_-3を用いて変数の影響解析を行う解析部７の処理手順を示す。なお、この図６のフローチャートに入る前に、別途ユーザがどの変数に対して影響解析を行いたいかという指定をしておき、対象変数リスト９にその変数がリスト化されているものとする。図６において、まずステップＳ１１で、ユーザから影響解析を行いたい変数の指定があったか否かを判断する（図３の例では、変数Ａを指定している）。変数の指定があった場合は、ステップＳ１２で第１のテーブル情報６_-1を見て、ステップＳ１３で上記指定された変数が第１のテーブル情報６_-1内に存在するか否かを判断する。
【００４３】
ここで、指定された変数が第１のテーブル情報６_-1内に有る場合は、ステップＳ１４に進み、その変数に対応して第１のテーブル情報６_-1内に記述されている代入が行われた文（図３の例では、１−１、２−１の２つの代入文）を解析結果リスト８に登録する。次に、ステップＳ１５で第２のテーブル情報６_-2を見て、ステップＳ１６で上記指定された変数が第２のテーブル情報６_-2内に存在するか否かを判断する。
【００４４】
ここで、指定された変数が第２のテーブル情報６_-2内に有る場合は、ステップＳ１７に進み、その変数に対応して第２のテーブル情報６_-2内に記述されている参照が行われた文（図３の例では、１−３の参照文）を解析結果リスト８に追加する。さらに、ステップＳ１８で第３のテーブル情報６_-3を見て、ステップＳ１９で上記第２のテーブル情報６_-2内に記述されている参照文が第３のテーブル情報６_-3内に存在するか否かを判断する。
【００４５】
ここで、上記第２のテーブル情報６_-2内に記述されている参照文が第３のテーブル情報６_-3内に有る場合は、ステップＳ２０に進み、最初に指定された変数（図３の例では変数Ａ）を上記参照文に対応して記述されている代入が行われた変数（図３の例では変数Ｂ）に置き換える。このように、以降の影響解析処理で対象とする変数名を変更した後、ステップＳ１５に戻り、再び第２のテーブル情報６_-2を見て以下同様の処理を繰り返し行う。
【００４６】
なお、上記ステップＳ１９で、上記第２のテーブル情報６_-2内に記述されている参照文が第３のテーブル情報６_-3内に複数有る場合、ステップＳ２０では、以降の処理で対象とする変数を複数設定する。そして、以降のステップＳ１５〜Ｓ１９の処理では、設定された複数の変数のそれぞれに対して同様の処理を実行する。このとき、ステップＳ１６およびステップＳ１９では、該当するものが１つでも有れば、その該当するものに関してＹｅｓの分岐に従って処理を進める。
【００４７】
また、上記ステップＳ１３，Ｓ１６，Ｓ１９の何れかにおいて、第１のテーブル情報６_-1および第２のテーブル情報６_-2内に指定された変数が存在しない場合や、上記第２のテーブル情報６_-2内に記述されている参照文が第３のテーブル情報６_-3内に存在しない場合には、影響解析の処理を終了する。このようにして影響解析の処理を終了したときに解析結果リスト８に記述されている内容が、求めたい変数の影響範囲を表していることになる。
【００４８】
以上詳しく説明したように、本実施形態では、まず解析対象となるそれぞれのソースコード毎に変数の代入・参照関係に関する変数情報を夫々生成する。次に、それぞれのソースコード中に含まれる同じ名前の変数は全て同じものであるとし、かつ、ソースコード中の制御フローを無視するという条件の下で、複数の変数情報をもとに３つのテーブル情報を生成する。そして、これらのテーブル情報を用いて変数の代入および参照関係を辿ることによって影響範囲を求めるようにしている。
【００４９】
これにより、与えられた複数のソースコード１_-1〜１_-nの中でどの組み合わせでリンク単位を構成するかを特定できなくても、例えばそれらをまとめて解析処理を行えば、その中である変数の影響する範囲を解析することができる。また、異なるソースコードに含まれる変数でも同じ名前の変数は同じものであるとして解析しているので、従来の変数影響解析装置の解析で制限されていたリンク単位を越えて影響範囲の解析を行うこともできる。
【００５０】
また、上述のように制御フローを無視するという条件を課すことにより、影響解析を厳密に行うことはできないが、各ソースコード１_-1〜１_-n中の各文に現れる変数の代入、参照情報を求めれば良くなるので、構文解析する単位はソースコード毎に行えば良くなり、ある程度良好な解析結果を現実に実行可能な時間内に得ることができる。
【００５１】
さらに、本実施形態では、上記変数情報生成部２により生成された変数情報３_-1〜３_-nを保存する記憶部４を備え、各変数情報３_-1〜３_-nを変数情報生成部２によりあらかじめ生成して記憶部４に保存しておくようにしている。したがって、上述した変数の影響解析処理を一連に行うのではなく、所望の変数の影響解析を行いたいときにテーブル情報６_-1〜６_-3の生成から始めれば良く、影響解析の処理を更に高速化することができる。
【００５２】
この場合、最初の段階では、全てのソースコード１_-1〜１_-nについて各変数情報３_-1〜３_-nを求めて記憶部４に保存することになるが、その後は、変更が加えられたソースコードについてのみ対応する変数情報を生成し、その部分だけ記憶部４の内容を更新すれば良い。なお、この変数情報３_-1〜３_-nを求める処理自体は、通常の構文解析手法を用いて行うことが可能である。
【００５３】
なお、上記実施形態では、解析部７で影響解析を行う際に、第１のテーブル情報６_-1からスタートしてその後第２のテーブル情報６_-2と第３のテーブル情報６_-3とを繰り返し見ていき、該当する変数や文が存在しなくなった時点で解析処理を終了していたが、第２のテーブル情報６_-2と第３のテーブル情報６_-3の繰り返し処理の回数があらかじめ定めた回数に達したときに解析処理を終了するようにしても良い。
【００５４】
また、上記実施形態では、影響解析を行う所望の変数を１つだけ指定する例について説明したが、複数の変数を指定しても良い。この場合、指定された複数の変数の影響範囲を１つ１つ順に解析していき、各変数の解析結果を個別のリストとして出力するようにしても良いし、各変数の解析結果を１つのリストに合わせて出力するようにしても良い。１つのリストに合わせて出力する場合、各変数の解析結果のうち重複するものについては排除するようにしても良い。
【００５５】
また、上記実施形態では、ある変数単体の影響解析を行う場合について説明したが、色々な型の変数をいくつか集めて構成した構造体に対しても本発明を適用することが可能である。この場合は、例えば、図６のステップＳ１１で影響解析を行う所望の変数が指定されたときに、その変数が構造体の一部であるかどうかをまず判断し、構造体の一部であれば、その構造体を構成する他の変数も影響解析を行う対象の中に含める。以降は、その構造体を構成する複数の変数に対してステップＳ１２〜Ｓ２０の処理をそれぞれ実行すれば良い。
【００５６】
（本発明の他の実施形態）
以上に説明した本実施形態の影響解析装置は、コンピュータのＣＰＵあるいはＭＰＵ、ＲＡＭ、ＲＯＭなどで構成されるものであり、ＲＡＭやＲＯＭに記憶されたプログラムが動作することによって実現でき、上記プログラムは本発明の実施形態に含まれる。また、コンピュータが上記機能を果たすように動作させるプログラムを、例えばＣＤ−ＲＯＭのような記録媒体に記録し、コンピュータに読み込ませることによって実現できるものであり、上記プログラムを記録した記録媒体は本発明の実施形態に含まれる。上記プログラムを記録する記録媒体としては、ＣＤ−ＲＯＭ以外に、フレキシブルディスク、ハードディスク、磁気テープ、光磁気ディスク、不揮発性メモリカード等を用いることができる。
【００５７】
また、コンピュータが供給されたプログラムを実行することにより上述の実施形態の機能が実現されるだけでなく、そのプログラムがコンピュータにおいて稼働しているＯＳ（オペレーティングシステム）あるいは他のアプリケーションソフト等と共同して上述の実施形態の機能が実現される場合や、供給されたプログラムの処理の全てあるいは一部がコンピュータの機能拡張ボードや機能拡張ユニットにより行われて上述の実施形態の機能が実現される場合も、かかるプログラムは本発明の実施形態に含まれる。
【００５８】
【発明の効果】
本発明は上述したように、解析の対象となる少なくとも１つ以上のソースコードのそれぞれに対応する各変数情報を用いて、代入または参照が行われた変数とその存在場所との対応関係を表す複数のテーブル情報を生成し、その複数のテーブル情報を用いて、変数の代入および参照関係を辿ることによって変数の影響範囲を求めるようにしたので、与えられた複数のソースコードの中でどの組み合わせでリンク単位を構成するかを意識することなく、その中で関係のあるソースコード間で所望の変数の影響範囲を解析することができる。
【００５９】
また、それぞれのソースコード中に含まれる同じ名前の変数は全て同じ変数であるとして解析を行っているので、リンク単位を越えて影響範囲の解析を行うこともできる。さらに、それぞれのソースコード中に含まれる変数の全ての参照がその変数の代入に依存しているものとして解析を行っているので、各ソースコード中の各文に現れる変数の代入、参照情報を求めれば良くなり、短い時間で解析処理を実行することができる。
【００６０】
さらに、本発明の他の特徴によれば、それぞれのソースコードに対応する変数情報を保存する記憶手段を備え、上記変数情報をあらかじめ生成して保存しておくようにしたので、所望の変数の影響解析を行いたいときには、保存されている変数情報を用いてテーブル情報の生成から始めれば良くなり、影響解析の処理にかかる時間を更に短縮化することができる。
【図面の簡単な説明】
【図１】本実施形態による影響解析装置の主要な機能構成を示すブロック図である。
【図２】ソースコードの一部構成例を示す図である。
【図３】図２に示した２つのソースコードを解析対象とした場合に生成される３つのテーブル情報と影響解析の流れを示す図である。
【図４】変数Ａの影響範囲の解析結果リストを示す図である。
【図５】本実施形態による影響解析方法の処理手順を示すフローチャートである。
【図６】本実施形態による影響解析方法の処理手順を示すフローチャートである。
【符号の説明】
１_-1〜１_-n ソースコード
２変数情報生成部
３_-1〜３_-n 変数情報
４記憶部
５テーブル情報生成部
６_-1〜６_-3 テーブル情報
７解析部
８解析結果リスト[0001]
BACKGROUND OF THE INVENTION
The present invention relates to an influence analysis apparatus and method, a program for realizing these functions with software functions, and a recording medium storing the above program, and in particular, when analyzing a source code described in a general program language. It is suitable for use in the influence analysis apparatus and method used in the above.
[0002]
[Prior art]
Conventionally, for example, a better computer system has been generally constructed using, for example, existing software assets. In this case, existing source code (source program) that has already been built is debugged and maintained, or when there is no source code, reverse engineering is performed. In the maintenance and reverse engineering of this program, there are cases where it is desired not to modify a certain variable and a part related to the variable in the program, but to modify only the other parts.
[0003]
However, depending on the contents of the program, the variable may affect other parts of the program. Therefore, when a modification is made to a variable without checking the part of the program that affects it, an unpredictable error occurs and the program operates normally. It may not be done.
[0004]
Therefore, in the analysis / correction work of the source code, it is extremely important in developing a program to analyze to what extent the variable influences and to what part. Therefore, the present applicant has proposed, for example, a variable effect analysis apparatus described in Japanese Patent Application No. 10-24355 as an apparatus for performing such an analysis. This device analyzes the range of influence in a program.
[0005]
[Problems to be solved by the invention]
Incidentally, one program is often created by compiling a plurality of source codes corresponding to individual modules divided for each functional unit and linking them. Hereinafter, a unit of a source code group necessary for linking in creating one execution program is referred to as a “link unit”. Furthermore, there are many cases where a plurality of execution programs for each link unit cooperate to construct one computer system.
[0006]
Usually, when a program is maintained, the user understands the source code and the link unit thereof, and the maintenance work is often performed based on this. However, this information is not always understood by the user. In the conventional variable influence analysis device, it is made on the assumption that the user understands information such as the link unit, so the user needs to be aware of the link unit, and the link unit is unknown. In some cases it could not be analyzed.
[0007]
As another problem, when an influence analysis is performed over a plurality of source files in link units, for example, the target source file itself may be thousands or tens of thousands of files. In that case, since all the influence analysis was performed in the conventional variable influence analysis apparatus, it took a very long time to obtain the analysis result, and it was not practically usable.
Furthermore, in the conventional variable influence analysis apparatus, the range in which the influence analysis can be performed is limited to one link unit, and there is a problem that a system in which a plurality of link units are constructed in cooperation cannot be analyzed.
[0008]
The present invention has been made to solve such a problem, so that the user can analyze the influence range without being aware of the link unit in the given source code group. The purpose is to do.
It is another object of the present invention to perform an impact analysis at high speed even when the number of source files to be analyzed increases.
Another object of the present invention is to enable the analysis of the influence range beyond one link unit.
[0009]
[Means for Solving the Problems]
In the influence analysis apparatus of the present invention, assignment or reference is performed on at least one or more variable information related to the data dependency relationship of variables generated for each of at least one or more source codes to be analyzed. The table generation means for generating a plurality of table information representing the correspondence between the variable and its location, and the variable assignment and the reference relationship are traced using the plurality of table information generated by the table generation means. Analyzing means for determining the influence range of the first, and the table generating means is a first representing a correspondence relationship between the variable and the sentence to which the substitution is performed for each variable information generated for each source code. Table information, the second table information indicating the correspondence between the variable and the statement that referenced it, the correspondence between the statement and the variable that was assigned there Generating a to third table information.
[0013]
Further, the influence analysis method of the present invention performs assignment or reference on at least one or more variable information related to the data dependency relationship of variables generated for each of at least one or more source codes to be analyzed. The table generation step for generating a plurality of table information representing the correspondence relationship between the variable and its location, and the influence of the variable by tracing the variable assignment and the reference relationship using the generated table information. An analysis step for obtaining a range, and in the table generation step, for each variable information generated for each source code, a first relationship representing a correspondence relationship between the variable and the sentence in which the substitution is performed Table information, second table information indicating the correspondence between variables and the statement to which the reference was made, and the correspondence between the statement and the variable assigned there. Generating a third table information.
[0014]
Further, the computer-readable recording medium of the present invention assigns or substitutes at least one or more variable information related to the data dependency relationship of variables generated for each of at least one or more source codes to be analyzed. Table generation means for generating a plurality of table information representing the correspondence between the referenced variables and their locations, and variable assignment and reference relations using the plurality of table information generated by the table generation means. The computer was made to function as an analysis means for determining the variable influence range by tracing the variables, and the variables and substitutions were made for each variable information generated for each source code by the table generation means. First table information representing the correspondence with the sentence, and second table information representing the correspondence between the variable and the sentence in which the reference was made. Bull information, records a program for generating a third table information indicating a correspondence relationship between the text and where the assignment has been made variable.
[0015]
In the program of the present invention, assignment or reference is performed for at least one or more variable information related to the data dependency relationship of variables generated for at least one or more source codes to be analyzed. The table generation means for generating a plurality of table information representing the correspondence between the variable and its location, and the variable assignment and the reference relationship are traced using the plurality of table information generated by the table generation means. Correspondence relationship between variables and sentences assigned to each variable information generated for each source code by the table generation means, with the computer functioning as an analysis means for determining the influence range of The first table information representing the second table information representing the correspondence between the variable and the sentence in which the reference is made, and the sentence Generating a third table information indicating a correspondence relationship between were made variable.
[0016]
DETAILED DESCRIPTION OF THE INVENTION
Hereinafter, an embodiment of the present invention will be described with reference to the drawings.
FIG. 1 is a block diagram showing the main functional configuration of the influence analysis apparatus according to the present embodiment.
[0017]
In FIG. _-1 ~ 1 _-n Is n source codes to be subjected to influence range analysis, and a link unit is constituted by any combination of these. These n pieces of source code 1 _-1 ~ 1 _-n A plurality of link units may be included in. These n source codes given as objects of analysis 1 _-1 ~ 1 _-n It may be unclear which link unit constitutes the link unit.
[0018]
Reference numeral 2 denotes a variable information generator, which is the n source codes 1 to be analyzed. _-1 ~ 1 _-n Variable information 3 that represents the substitution / reference relationship of variables by parsing each source code _-1 ~ 3 _-n Are generated respectively. That is, for example, the first source code 1 _-1 To the first variable information 3 _-1 And the nth source code 1 _-n To nth variable information 3 _-n Is generated. Generated variable information 3 _-1 ~ 3 _-n Are stored in the storage unit 4 in one file for each source code.
[0019]
Reference numeral 5 denotes a table information generation unit. Each variable information 3 generated for each source code by the variable information generation unit 2 and stored in the storage unit 4. _-1 ~ 3 _-n A plurality of table information representing a correspondence relationship between a variable that has been assigned or referred to and its location is generated. Here, for example, the first table information 6 representing the correspondence between the variable and the sentence in which the substitution is performed. _-1 And second table information 6 representing the correspondence between the variable and the sentence in which the variable is referenced _-2 And the third table information 6 representing the correspondence between the sentence and the variable assigned there _-3 And generate
[0020]
Reference numeral 7 denotes an analysis unit, and the three pieces of table information 6 generated by the table information generation unit 5 described above. _-1 ~ 6 _-3 Is used to analyze the range of influence of a desired variable by following the substitution and reference relationship of the variable. For example, the first table information 6 _-1 From this point, the second table information 6 _-2 And third table information 6 _-3 Are alternately accessed to trace the relationship of substitution and reference of the variable, thereby obtaining the influence range of the variable.
The analysis result is output as a list 8.
[0021]
Hereinafter, the operation of the influence analysis apparatus configured as described above will be described with a specific example. Here, for simplicity of explanation, a case where there are two source codes to be subjected to variable influence analysis will be described. Figure 2 shows the two source codes 1 _-1 , 1 _-2 And variable information 3 generated from now _-1 , 3 _-2 It is a figure which shows the example of a partial structure.
[0022]
In FIG. 2, the first source code 1 _-1 In the first line, “1” is assigned to the variable A, the variable B is referred to in the second line, the value is assigned to the variable X, the variable A is referred to in the third line, and the value is the variable B. Is assigned to In the fourth line, two variables B and Y are referred to, and in the sixth line, the variable B is referenced and the value is assigned to the variable C. On the other hand, the second source code 1 _-2 In the first line, “0” is assigned to the variable A, the variable D is referred to in the second line, the value is assigned to the variable X, and the two variables B and X are referred to in the third line. .
[0023]
The variable information generation unit 2 has two such source codes 1 _-1 , 1 _-2 , Analyze the assignment / reference relationship of each variable included in each source code, and variable information 3 regarding variable assignment / reference relationship _-1 , 3 _-2 Is generated for each source code. For example, the first source code 1 _-1 , Variable A is assigned in the first line and referenced in the third line, variable B is referenced in the second, fourth, and sixth lines and assigned in the third line, and variable C is in the sixth line. As a result, the variable X is substituted in the second line, and the variable Y is referred to in the fourth line. Second source code 1 _-2 The same applies to.
[0024]
Variable information 3 generated in this way _-1 , 3 _-2 Are stored in the storage unit 4 as separate files. The table information generation unit 5 includes each variable information 3 stored in the storage unit 4. _-1 , 3 _-2 Using the above three table information 6 _-1 ~ 6 _-3 Is generated. FIG. 3 shows the two source codes 1 shown in FIG. _-1 , 1 _-2 Table information 6 generated when the target is the analysis target 6 _-1 ~ 6 _-3 FIG.
[0025]
In FIG. 3, the first table information 6 _-1 Represents the correspondence between the variable and the sentence in which the assignment was made. This first table information 6 _-1 Each variable A, B, C, X included in the _-1 , 1 _-2 All variables that are assigned in. The corresponding sentence indicates the place in the source code where the variable is assigned. For example, the variable A is the first source code 1 _-1 The first line (indicated by 1-1) and the second source code 1 _-2 Substitution is performed in the first line (indicated by 2-1).
[0026]
The second table information 6 _-2 Indicates the correspondence between the variable and the sentence in which it was referenced. This second table information 6 _-2 The variables A, B, D, X, and Y included in are all source code 1 to be analyzed _-1 , 1 _-2 All variables that are referenced in. The corresponding sentence indicates the location in the source code where the variable is referenced. For example, the variable A is the first source code 1 _-1 The third line (denoted by 1-3) is referred to.
[0027]
The third table information 6 _-3 Represents the correspondence between the sentence and the variable assigned there. This third table information 6 _-3 Sentences 1-1, 1-2, 1-3, 1-6, 2-1, 2-2 included in are all source code 1 to be analyzed _-1 , 1 _-2 Represents all locations where substitution is performed, and the variables substituted at those locations are shown correspondingly. For example, the first source code 1 _-1 In the first line, the variable A is substituted.
[0028]
In the example of FIG. 3, a sentence in which a variable is assigned or referred to is represented by 1-1, 1-2..., But one sentence may be described over a plurality of lines. As such, these notations do not indicate simple line numbers. Actually, each table information 6 _-1 ~ 6 _-3 Each source code 1 for the part representing the sentence _-1 , 1 _-2 A unique sentence ID is assigned to each sentence, and another table information representing the relationship between the sentence ID and the location in the source code where the sentence ID exists is provided.
[0029]
The analysis unit 7 includes three pieces of table information 6 shown in FIG. 3 generated by the table information generation unit 5. _-1 ~ 6 _-3 For example, the influence range is analyzed by following the substitution and reference relationship of a desired variable designated by the user listed in the target variable list 9, and the analysis result is output as a list 8.
[0030]
For example, to analyze the influence range of the variable A, first, the first table information 6 _-1 The variable A is the source code 1 _-1 , 1 _-2 Find out where in the file it is assigned. Here, the first source code 1 _-1 1st line and second source code 1 _-2 It can be seen that substitution of variable A is performed in the first line. At this time, the detected substitution place is registered in the analysis result list 8.
[0031]
Next, the second table information 6 _-2 The specified variable A is the source code 1 _-1 , 1 _-2 Find out where it is referenced in. Here, the first source code 1 _-1 It can be seen that the variable A is referenced in the third line. At this point, the detected reference location is added to the analysis result list 8. Next, the third table information 6 _-3 To see the second table information 6 _-2 The variable A referred to in the place described in (2) is checked to which variable is assigned. Here, the first source code 1 _-1 It can be seen that the variable A referenced in the third line is assigned to the variable B.
[0032]
In this case, since the value of the variable A is assigned to the variable B and affects other parts, it is necessary to check the influence range of the variable B next. Therefore, the second table information 6 _-2 Again, variable B is the source code 1 _-1 , 1 _-2 Find out where it is referenced in. Here, the first source code 1 _-1 2nd, 4th and 6th lines and the second source code 1 _-2 It can be seen that the variable B is referred to in the third line. At this point, the detected reference locations are added to the analysis result list 8.
[0033]
Further, the third table information 6 _-3 To see the second table information 6 _-2 It is checked which variable is assigned to each variable B referenced at the location described in (1). Here, the first source code 1 _-1 The variable B referenced in the second line is assigned to the variable X, and the first source code 1 _-1 It can be seen that the variable B referred to in the sixth line is assigned to the variable C. The first source code 1 _-1 The variable B referenced in the fourth line of the second source code 1 _-2 Since the variable B referred to in the third line is not assigned to any variable, the processing ends here.
[0034]
Here, for the new variables X and C to which the value of the variable B is assigned, the second table information 6 is again checked in order to investigate the influence range. _-2 , The variables X and C are the source code 1 _-1 , 1 _-2 Find out where it is referenced in. Here, the second source code 1 _-2 It can be seen that the variable X is referred to in the third line. However, since this reference location is already registered in the analysis result list 8, it is not added to the analysis result list 8.
[0035]
Further, the third table information 6 _-3 To see the second table information 6 _-2 The variable X referred to in the place described in (2) is checked to which variable is assigned. Here, since the variable X is not assigned to any variable, all the analysis processes are completed here. As described above, the first table information 6 _-1 From this point, the second table information 6 _-2 And third table information 6 _-3 By alternately accessing and tracing the variable assignment and reference relationship, the influence range of the variable A can be obtained. An analysis result list 8 of the influence range of the variable A obtained at this time is as shown in FIG.
[0036]
Although not occurring in the present example, the third table information 6 _-3 To second table information 6 _-2 When a variable that has already been analyzed is specified when returning to, the analysis results are terminated because only the same result as before can be obtained even if the variable is subsequently analyzed. For this purpose, history information as to which variable has been analyzed is held, and the above-described processing is executed while constantly updating and referring to this history information.
[0037]
As can be seen from the above description, in the influence analysis apparatus of this embodiment, each source code 1 _-1 , 1 _-2 All the variables with the same name contained in it are assumed to be the same variable. This is because, in most cases, variables that analyze the range of influence between multiple source codes are global variables (global variables), and the names are the same in all source codes. This is because there is no problem in identifying the name variable.
[0038]
Moreover, in the influence analysis apparatus of this embodiment, each source code 1 _-1 , 1 _-2 If a variable contained in it is assigned somewhere, we assume that all references to that variable depend on that assignment. In other words, the program control flow is completely ignored. For example, the first source code 1 _-1 When the influence range of the variable A is analyzed in consideration of the control flow, the second line does not enter the influence range, but when the control flow is ignored as in this embodiment, the second line also enters the influence range ( In FIG. 4, 1-2 is also registered as a list of influence ranges).
[0039]
5 and 6 are flowcharts showing the processing procedure of the influence analysis method according to this embodiment. Of these, FIG. 5 shows variable information 3 stored in the storage unit 4 of FIG. _-1 ~ 3 _-n 3 table information from 6 _-1 ~ 6 _-3 The procedure of the table information generation unit 5 that generates the data, that is, the procedure of the preprocessing of the influence analysis by the analysis unit 7 is shown.
[0040]
In FIG. 5, first, in step S <b> 1, the user designates a source code group to be subjected to influence analysis for the table information generation unit 5. Here, it is possible to specify an arbitrary source code without being particularly conscious of the link unit. All source code given 1 _-1 ~ 1 _-n Can also be specified. Next, in step S2, the table information generation unit 5 reads variable information corresponding to each of the designated source code groups from the storage unit 4, respectively.
[0041]
That is, a plurality of source codes 1 _-1 ~ 1 _-n Variable information 3 corresponding to each of _-1 ~ 3 _-n Is generated in advance by the variable information generation unit 2 and stored in the storage unit 4, so that variable information corresponding to the specified source code group is read from the variable information generation unit 2. Then, in step S3, the first to third table information 6 described above for the entire read variable information. _-1 ~ 6 _-3 Is generated.
[0042]
FIG. 6 shows three pieces of table information 6 generated by the table information generator 5. _-1 ~ 6 _-3 The processing procedure of the analysis part 7 which performs the influence analysis of a variable using is shown. Before entering the flowchart of FIG. 6, it is assumed that the user separately specifies which variable the influence analysis is to be performed on and that variable is listed in the target variable list 9. In FIG. 6, first, in step S11, it is determined whether or not the user has specified a variable to be subjected to the influence analysis (in the example of FIG. 3, the variable A is specified). If a variable is specified, the first table information 6 is selected in step S12. _-1 In step S13, the designated variable is the first table information 6 _-1 It is judged whether it exists in.
[0043]
Here, the designated variable is the first table information 6 _-1 If it exists, the process proceeds to step S14, and the first table information 6 corresponds to the variable. _-1 The statements (in the example of FIG. 3, two assignment statements 1-1 and 2-1 in the example of FIG. 3) described in are registered in the analysis result list 8. Next, in step S15, the second table information 6 _-2 In step S16, the designated variable is the second table information 6. _-2 It is judged whether it exists in.
[0044]
Here, the specified variable is the second table information 6 _-2 If it exists, the process proceeds to step S17, and the second table information 6 corresponds to the variable. _-2 The statement (referred to as 1-3 reference statement in the example of FIG. 3) referred to in is added to the analysis result list 8. In step S18, the third table information 6 _-3 In step S19, the second table information 6 _-2 The reference sentence described in the table is the third table information 6 _-3 It is judged whether it exists in.
[0045]
Here, the second table information 6 _-2 The reference sentence described in the table is the third table information 6 _-3 If so, the process proceeds to step S20, and the variable (the variable A in the example shown in FIG. 3) that has been assigned corresponding to the above-described reference sentence (the variable A in the example shown in FIG. 3) has been assigned. Replace with variable B). In this way, after changing the target variable name in the subsequent impact analysis processing, the process returns to step S15, and again the second table information 6 _-2 Then, the same process is repeated.
[0046]
In step S19, the second table information 6 _-2 The reference sentence described in the table is the third table information 6 _-3 If there are a plurality of variables, in step S20, a plurality of variables to be processed in the subsequent processes are set. And in the process of subsequent step S15-S19, the same process is performed with respect to each of the set several variable. At this time, in step S16 and step S19, if there is at least one applicable item, the process is advanced according to the Yes branch for that applicable item.
[0047]
In any of the above steps S13, S16, S19, the first table information 6 _-1 And second table information 6 _-2 If the specified variable does not exist, or if the second table information 6 _-2 The reference sentence described in the table is the third table information 6 _-3 If not, the impact analysis process is terminated. Thus, when the influence analysis process is completed, the contents described in the analysis result list 8 represent the influence range of the variable to be obtained.
[0048]
As described above in detail, in the present embodiment, first, variable information related to the substitution / reference relationship of variables is generated for each source code to be analyzed. Next, under the condition that all the variables with the same name included in each source code are the same, and the control flow in the source code is ignored, three variables based on the variable information are used. Generate table information. Then, the influence range is obtained by following the substitution of variables and the reference relationship using these table information.
[0049]
Thus, a plurality of given source codes 1 _-1 ~ 1 _-n Even if it is not possible to specify which combination constitutes the link unit in the list, for example, if they are collectively analyzed, the range affected by the variable in the group can be analyzed. In addition, since the variables with the same name are analyzed even if they are included in different source codes, the range of influence is analyzed beyond the link unit that was limited by the analysis of the conventional variable effect analyzer. You can also.
[0050]
In addition, by imposing the condition of ignoring the control flow as described above, the influence analysis cannot be performed strictly, but each source code 1 _-1 ~ 1 _-n Since it is only necessary to obtain the assignment and reference information of variables that appear in each sentence in the statement, the unit for parsing is only required to be performed for each source code, and a somewhat good analysis result can be obtained within a practically executable time. it can.
[0051]
Furthermore, in this embodiment, the variable information 3 generated by the variable information generation unit 2 is described above. _-1 ~ 3 _-n Storage unit 4 for storing each variable information 3 _-1 ~ 3 _-n Is previously generated by the variable information generation unit 2 and stored in the storage unit 4. Therefore, the table information 6 is not used when it is desired to perform the influence analysis of a desired variable, instead of performing the above-described variable influence analysis processing in series. _-1 ~ 6 _-3 The impact analysis process can be further accelerated.
[0052]
In this case, in the first stage, all source code 1 _-1 ~ 1 _-n About each variable information 3 _-1 ~ 3 _-n However, after that, it is only necessary to generate variable information corresponding to only the changed source code and update the contents of the storage unit 4 only for that portion. This variable information 3 _-1 ~ 3 _-n The process itself for obtaining can be performed using a normal parsing method.
[0053]
In the above embodiment, when the analysis unit 7 performs the impact analysis, the first table information 6 _-1 And then the second table information 6 _-2 And third table information 6 _-3 The analysis process was terminated when the corresponding variable or sentence no longer exists, but the second table information 6 _-2 And third table information 6 _-3 The analysis process may be terminated when the number of repetition processes reaches a predetermined number.
[0054]
Moreover, although the said embodiment demonstrated the example which designates only one desired variable which performs influence analysis, you may designate a some variable. In this case, the range of influence of a plurality of designated variables may be analyzed one by one in order, and the analysis results of each variable may be output as a separate list, or the analysis results of each variable may be output as one You may make it output according to a list. When outputting in accordance with one list, duplicate analysis results of each variable may be excluded.
[0055]
In the above-described embodiment, the case where the influence analysis of a single variable is performed has been described. However, the present invention can also be applied to a structure configured by collecting several variables of various types. In this case, for example, when a desired variable for effect analysis is specified in step S11 in FIG. 6, it is first determined whether or not the variable is a part of the structure. For example, other variables constituting the structure are also included in the target of the influence analysis. Thereafter, the processes in steps S12 to S20 may be executed for a plurality of variables constituting the structure.
[0056]
(Other embodiments of the present invention)
The influence analysis apparatus of the present embodiment described above is configured by a CPU or MPU of a computer, RAM, ROM, etc., and can be realized by operating a program stored in the RAM or ROM. It is included in the embodiment of the present invention. In addition, a program that causes a computer to perform the above functions can be realized by recording the program on a recording medium such as a CD-ROM and causing the computer to read the program. It is included in the embodiment. As a recording medium for recording the program, a flexible disk, a hard disk, a magnetic tape, a magneto-optical disk, a nonvolatile memory card, and the like can be used in addition to the CD-ROM.
[0057]
In addition, the functions of the above-described embodiments are realized by executing a program supplied by a computer, and the program is used in cooperation with an OS (operating system) or other application software running on the computer. When the functions of the above-described embodiment are realized, or when the functions of the above-described embodiment are realized by performing all or part of the processing of the supplied program by a function expansion board or function expansion unit of a computer Such a program is included in the embodiment of the present invention.
[0058]
【The invention's effect】
As described above, the present invention uses each variable information corresponding to each of at least one or more source codes to be analyzed, and represents a correspondence relationship between a variable that has been assigned or referred to and its location. Since multiple table information is generated and the variable influence range is obtained by tracing the variable assignment and reference relationship using the multiple table information, any combination of the given multiple source codes Therefore, it is possible to analyze the range of influence of a desired variable between related source codes without being aware of whether or not the link unit is configured.
[0059]
In addition, since the analysis is performed assuming that all the variables with the same name included in each source code are the same variable, it is possible to analyze the influence range beyond the link unit. Furthermore, analysis is performed assuming that all references to variables included in each source code are dependent on the assignment of the variables, so variable substitution and reference information that appears in each statement in each source code The analysis process can be executed in a short time.
[0060]
Furthermore, according to another feature of the present invention, the storage unit stores variable information corresponding to each source code, and the variable information is generated and stored in advance. When it is desired to perform an impact analysis, it is only necessary to start by generating table information using stored variable information, and the time required for the impact analysis process can be further shortened.
[Brief description of the drawings]
FIG. 1 is a block diagram showing a main functional configuration of an influence analysis apparatus according to the present embodiment.
FIG. 2 is a diagram illustrating a partial configuration example of source code;
FIG. 3 is a diagram showing the flow of influence analysis and three table information generated when the two source codes shown in FIG. 2 are analyzed.
FIG. 4 is a diagram illustrating an analysis result list of an influence range of a variable A.
FIG. 5 is a flowchart showing a processing procedure of an influence analysis method according to the present embodiment.
FIG. 6 is a flowchart showing a processing procedure of an influence analysis method according to the present embodiment.
[Explanation of symbols]
1 _-1 ~ 1 _-n Source code
2 Variable information generator
3 _-1 ~ 3 _-n Variable information
4 storage
5 Table information generator
6 _-1 ~ 6 _-3 Table information
7 Analysis Department
8 Analysis result list

Claims

An impact analysis device that analyzes the effects of variables included in source code on other parts,
Correspondence between variables that are assigned or referred to at least one or more variable information related to data dependency of variables generated for at least one or more source codes to be analyzed and their locations Table generating means for generating a plurality of table information representing the relationship;
Using a plurality of table information generated by the table generation means, and comprising an analysis means for determining the variable influence range by following the variable assignment and the reference relationship,
The table generation means performs, for each variable information generated for each source code, first table information representing a correspondence relationship between the variable and the sentence to which the substitution is performed, the variable and the reference thereof. An impact analysis apparatus characterized by generating second table information representing a correspondence relationship with a sentence and third table information representing a correspondence relationship between the sentence and a variable assigned thereto.

2. The influence analysis apparatus according to claim 1, wherein the table generation means generates the plurality of table information by assuming that all variables having the same name included in each source code are the same variable.

When the variable included in each source code is assigned somewhere, the table generation means generates the plurality of table information on the assumption that all references to the variable depend on the assignment. The influence analysis device according to claim 1 or 2.

Variable information generating means for reading at least one source code to be analyzed and generating the variable information for each source code;
Storage means for storing each variable information generated by the variable information generating means,
The table generation means and the analysis means execute the generation of the plurality of table information and the influence analysis using them using the variable information generated in advance by the variable information generation means and stored in the storage means. The influence analysis apparatus according to any one of claims 1 to 3, wherein

An impact analysis method for analyzing the effects of variables included in source code on other parts,
Correspondence between variables that are assigned or referred to at least one or more variable information related to data dependency of variables generated for at least one or more source codes to be analyzed and their locations A table generation step for generating a plurality of table information representing the relationship;
Using the plurality of generated table information, an analysis step for determining the influence range of the variable by following the substitution and reference relationship of the variable,
In the table generation step, the first table information representing the correspondence relationship between the variable and the sentence in which the variable is assigned is referred to for each variable information generated for each source code. And generating second table information representing a correspondence relationship between the sentence and a third table information representing a correspondence relation between the sentence and a variable assigned thereto.

In the analysis step, from the first table information as a starting point, the second table information and the third table information are alternately accessed thereafter, and the substitution of the variables and the reference relationship are traced. The influence analysis method according to claim 5, wherein an influence range is obtained.

Correspondence between variables that are assigned or referred to at least one or more variable information related to data dependency of variables generated for at least one or more source codes to be analyzed and their locations Table generating means for generating a plurality of table information representing the relationship;
Using the plurality of table information generated by the table generating means, the computer is caused to function as an analyzing means for determining the variable influence range by tracing the variable assignment and the reference relationship,
In the table generation means, the first table information representing the correspondence relationship between the variable and the sentence in which the variable is assigned, for each variable information generated for each source code, the variable and its reference are A program for generating second table information representing a correspondence relationship with a sentence performed and third table information representing a correspondence relationship between the sentence and a variable assigned there is recorded. Computer-readable recording medium.

Correspondence between variables that are assigned or referred to at least one or more variable information related to data dependency of variables generated for at least one or more source codes to be analyzed and their locations Table generating means for generating a plurality of table information representing the relationship;
Using the plurality of table information generated by the table generating means, the computer is caused to function as an analyzing means for determining the variable influence range by tracing the variable assignment and the reference relationship,
In the table generation means, the first table information representing the correspondence relationship between the variable and the sentence in which the variable is assigned, for each variable information generated for each source code, the variable and its reference are A program for generating second table information representing a correspondence relationship with a sentence performed, and third table information representing a correspondence relationship between the sentence and a variable subjected to the substitution.