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

Abstract

(57)【要約】 【課題】 業務変数と内部変数を認識し、業務仕様と制
御仕様を分離した業務仕様情報を得ることができるプロ
グラム解析装置を提供すること。 【解決手段】 業務変数／内部変数識別手段２は、プロ
グラム１ａを解析して得られる変数利用情報１ｂを用い
て、プログラム中の変数をフラグ等の内部変数と入出力
に関連した業務変数に分類する。等価経路検索手段３
は、プログラム１ａの制御フロー１ｃ中の指定された条
件式が真となる経路、文の位置を検索する。等価条件式
置換手段４は、上記検索結果を用いて、プログラム中の
任意の条件式をプログラム実行順の前方の変数で置換す
る。業務変数の更新・条件分岐抽出手段５は、業務変数
が更新されている箇所、そのときの条件を求め、等価条
件式置換手段４により、内部変数で記述されている条件
式を、プログラムの入出力情報に関連した業務変数で記
述した等価な条件式に置換する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、プログラムを解析
し、制御仕様を分離排斥し、業務仕様情報を得る上で利
用されるプログラム解析装置に関する。ある仕様に基づ
いてプログラムを開発しても、そのプログラムの改変を
繰り返していく内にそのプログラムが開発当初のプログ
ラムとは事実上異なったものとなり、プログラム中で使
用されている変数、条件等が把握できなくなる場合が多
々ある。

【０００２】このため、従来から、既存のプログラムの
入出力に関連した変数（以下「業務変数」と呼ぶ）とプ
ログラム内部で閉じ、制御の為だけに使われているフラ
グなどの変数（以下「内部変数」と呼ぶ）を識別した
り、ある条件式からフローを逆上り、その条件式を真と
する経路や文を検索したり、あるいは、内部変数などで
記述された条件式を業務変数で記述した等価な条件式に
置き換える等、プログラムを解析しその業務仕様情報を
得ることが要望される。

【０００３】しかしながら、従来技術では、業務データ
には関係のない、フラグなどの制御のみに用いられた変
数を取り除いた純粋な業務仕様を得ることができなかっ
た。本発明は、業務仕様と制御仕様の完全分離を可能に
するプログラム解析装置に関するものである。

【０００４】

【従来の技術】従来技術では、プログラムを解析して
「どの変数にどのような条件で、どのような値が設定さ
れるか」という情報を得ることができる。ところがプロ
グラムから抽出した、「業務変数にどのような条件でど
のような値が設定されるか、」の情報の「どのような条
件」については内部変数が含まれる場合が多く、制御仕
様を除いた純粋な業務仕様情報を自動的に抽出すること
ができなかった。

【０００５】図１７に従来技術で得られる変数値の更新
情報の例を示す。同図（ａ）はＣＯＢＯＬで記述したプ
ログラムの一例を示し、同図（ｂ）は業務変数の更新の
流れを示している。同図（ａ）のプログラムにおいて、
同図（ｂ）から明らかなように業務変数Ｃに業務変数Ｂ
の値が設定される条件はＡ＞０であり、Ａはフラグとし
て用いられた内部変数である。また、プログラム実行順
の前方で、条件Ｂ＜ＤでＡ＞０が真となっている。すな
わち、もし、ＢとＣがともに変数で、かつプログラム内
の位置（１）と（２）の間で変数Ｂ，Ｃの値が変更され
なかった場合、業務仕様になるべき条件（業務変数Ｃに
業務変数Ｂの値が設定される内部変数Ａを含まない条
件）はＢ＜Ｄである。

【０００６】従来技術では、上記のように、「業務変数
にどのような条件でどのような値が設定されるか」等の
内部変数を含まない業務仕様となるべき条件を得る方法
は知られていなかった。

【０００７】

【発明が解決しようとする課題】本発明は上記した従来
技術の問題点に鑑みなされたものであり、本発明の第１
の目的は、業務変数と内部変数を認識し、業務仕様と制
御仕様を分離した業務仕様情報を得ることができるプロ
グラム解析装置を提供することである。本発明の第２の
目的は、或る条件式からフローを遡り、その条件式を真
とする経路や文を検索したり、また、そのような経路や
文を決定する条件式に置換したり、さらに、内部変数で
記述された条件式を業務変数で記述した等価な条件式に
置換することができるプログラム解析装置を提供するこ
とである。

【０００８】

【課題を解決するための手段】図１は本発明の原理図で
ある。同図において、１ａは解析対象プログラムであ
り、本発明は、プログラムを解析して得られる、変数が
プログラムのどこで参照や定義されているかという変数
利用情報１ｂ、プログラムの処理の流れを示す制御フロ
ー１ｃを利用して、プログラムを解析する。これらは既
存技術で得られるものである。

【０００９】２は業務変数／内部変数識別手段であり、
変数利用情報１ｂを用いて、プログラム中の変数をプロ
グラム内で閉じ制御のためだけに用いられるフラグ等の
内部変数と入出力に関連した業務変数に分類する。３は
等価経路検索手段であり、制御フロー１ｃ中の指定され
た条件式が真となる経路、文の位置を検索する。

【００１０】４は等価条件式置換手段であり、等価経路
検索手段３の検索結果を用いて、プログラム中の任意の
条件式をプログラム実行順の前方の変数で置換する。５
は業務変数の更新・条件分岐抽出手段であり、業務変数
／内部変数識別手段２の識別結果を用いて業務変数の値
が更新されている箇所、そのときの条件を求め、等価条
件式置換手段４により、プログラム内で閉じた内部変数
を用いて記述されている条件式を、プログラムの入出力
情報に関連した業務変数で記述した等価な条件式に置換
する。

【００１１】本発明のプログラム解析装置は、上記構成
を備えており、従来技術で得られる変数利用情報、制御
フロー１ｃを解析し制御仕様を分離して業務仕様情報を
抽出する。本発明の業務変数変数識別手段部２、等価経
路検索手段部３、等価条件式置換手段部４、業務変数の
更新・条件分岐抽出手段部５は次のようにして業務仕様
情報の抽出を行う。 （１）業務変数／内部変数識別手段２は、プログラム中
で宣言された変数および／または外部とつながる変数に
マークを付し、マークが付された変数と親子関係にある
変数および代入関係にある変数を検索してマークを付
す。そして、最終的にマークされた変数を業務変数、そ
れ以外の変数を内部変数とする。 （２）等価経路検索手段３は、任意の条件式が指定され
たとき、条件式を展開してＯＲ条件で区切られた条件要
素に分割し、上記制御フローを遡って上記条件要素中で
用いられている変数に値が設定されている箇所を検索す
る。そして、検索された箇所と設定されている値に基づ
き上記条件式が真となる経路、文の位置を検索する。 （３）等価条件式置換手段４は、条件式を真とする経路
および文を等価経路検索手段３により検索し、検索され
た全経路の要素である各経路を決定する条件式の列を求
め、上記条件式の列で使われている変数の値が各経路内
で変更されていない場合に、上記条件式の列の論理積を
求めることにより、任意の条件式を、上記各経路の条件
式の列の論理積の論理和に置換する。 （４）業務変数の更新・条件分岐抽出手段５は、業務変
数／内部変数識別手段２の識別結果を用いて、制御フロ
ー１ｃ中において業務変数が更新されている箇所を記憶
して、その箇所における条件式を求め、条件式に内部変
数が存在する場合に、等価条件式置換手段４を用いて内
部変数が存在しない条件式に置換する。

【００１２】本発明の請求項１〜請求項４の発明は上記
のように業務変数／内部変数識別手段２、等価経路検索
手段３、等価条件式置換手段４、業務変数の更新・条件
分岐抽出手段５を設けて業務仕様情報を得ているので、
解析対象プログラムの業務仕様を制御仕様を分離排除し
ながら自動的に得ることができる。

【００１３】

【発明の実施形態】図２は本発明の実施例のシステムの
概要構成を示す図である。同図において、１１は解析対
象となるプログラムから得られた「プログラムの構文
木、変数利用情報、制御フロー」であり、この情報を解
析して本実施例のプログラム解析装置１２が業務仕様情
報を抽出する。なお、解析対象プログラムから上記「プ
ログラムの構文木、変数利用情報、制御フロー」を得る
には、従来から知られている技術を用いることができ
る。

【００１４】１２のプログラム解析装置において、１３
は業務変数／内部変数識別部であり、業務変数／内部変
数識別部１３は、後述するように、解析対象プログラム
から得られた「変数利用情報」について、これらの変数
を入出力に関係する業務変数と内部変数に分類する。１
４は等価経路検索部であり、後述するように、与えられ
た制御フロー中の条件式を展開し、制御フローを遡り、
各経路、文でそれぞれの変数にどの様な値が設定されて
いるかをマークし、その条件要素が真になっている経
路、文の位置を検索する。

【００１５】１５は等価条件置換部であり、後述するよ
うに、プログラム中の任意の条件式をプログラムの実行
順の前方の変数で置換する。１６は業務変数の更新・条
件分岐抽出部であり、後述するように、制御フローから
変数の値が更新されている箇所・条件を求め、更新され
る変数が業務変数であった場合には、直前の内部変数を
分岐条件式を抽出し、中に内部変数が含まれている場合
に、等価条件置換部１５の結果を用いて内部変数が存在
しない条件に変換し、業務仕様情報１７を得る。

【００１６】図３は本実施例の解析対象となるプログラ
ムの一例を示す図である。同図はＣＯＢＯＬで記述した
プログラムの例を示しており、同図のプログラムを一例
として本実施例を説明する。 （１）業務変数／内部変数識別部 図４、図５は業務変数／内部変数識別部１３における処
理を示すフローチャートであり、同図により本実施例に
おける業務変数／内部変数識別部における処理の流れに
ついて説明する。

【００１７】まず、既存技術により、図３に示すプログ
ラムを解析し、それぞれの変数がどのような文で利用さ
れたかという図６の例に示す変数利用情報テーブルを作
成する（図４のステップＳ１）。変数利用情報テーブル
は同図に示すように、プログラム中で使用されている変
数Ｘ，Ｙ，Ｇ１，…，Ｄ，…と、利用している文の識別
子からなる。なお、同図のＧ１，Ｇ２はWORKING STRAGE
SECTIONの変数であり、変数Ａ，ＢおよびＣ，Ｄと親子
関係にある。

【００１８】業務変数識別部１３はこの変数利用情報テ
ーブルをロードし、これらの変数を入出力に関係する業
務変数と内部変数に分類する。次にステップＳ２（処理
１）において、ＣＯＢＯＬのファイル節や連絡節に宣言
された変数など、宣言部で業務変数と識別できるものに
マークを付ける（図３の宣言部から変数Ｘ，Ｙがこれに
相当することがわかる）。

【００１９】ステップＳ３（処理２）では、ＣＯＢＯＬ
のCALL文の引数で渡された変数など、文の種類やオペラ
ンドから外部とつながると判断できる変数（業務変数）
にマークする（図６の変数Ｄがこれに相当する）。以
後、ステップＳ４〜Ｓ９で変数利用情報を参照しながら
ステップＳ２、Ｓ３でマークされた変数の値を代入した
り、あるいはそのその変数に値を代入している変数を検
索し、それらにもマークしていく。

【００２０】すなわち、ステップＳ４においてマークの
ない変数の集合をＡとし、ステップＳ５において、Ａが
空集合であるか否かを判別し、Ａが空集合でない場合に
は、ステップ６にいく。ステップＳ６において、マーク
のない変数の集合Ａから１つの変数（これをｘとする）
を取り、集合Ａからｘを除く。次に、図５のステップＳ
７に行き、ｘが値を代入しているまたはｘに値を代入し
ている変数にマークが付いているものがあるかを判別
し、無い場合にはステップＳ５へ戻る。

【００２１】また、マークが付いているものがある場合
には、ステップＳ８（処理３）にいき、ｘとｘの親変数
にマークを付け、ステップＳ９（処理３）において、Ａ
の中でｘに関連している変数とその親変数にマークを付
す処理を再帰的に実行し、ステップＳ５に戻る。そし
て、Ａが空集合になるとステップＳ５からステップＳ１
０に行き、マークのない変数を内部変数とする。

【００２２】構造体のように変数に親子関係がある場合
には子が業務変数となった場合は親変数も業務変数とす
る。上記作業の効率化を図るため、例えば、図７の例に
示すような、代入関係にある変数を並べた依存関係テー
ブルを作って参照することも考えられる。全ての代入関
係を調べ、最終的にマークされた変数が業務変数とな
り、それ以外が内部変数となる。

【００２３】図７の例においては、図４、図５の処理フ
ローの処理１において、変数Ｘ，Ｙがマークされ、処理
２において変数Ｇ２，Ｄがマークされる。さらに、処理
３においてマークが付けられた変数と親子関係にある変
数Ｇ１，Ｂがマークされ、処理４において変数Ｃがマー
クされる。そして、上記処理の結果、変数Ａにマークが
付けられていないのでＡを内部変数とする。 （２）等価経路検索部１４ 図８、図９は等価経路検索部１４における処理を示すフ
ローチャートであり、同図により本実施例における等価
経路検索部１４における処理の流れについて説明する。

【００２４】まず、既存技術により、図３に示すプログ
ラムを解析し、図１０に示す制御フローを作成する（図
８のステップＳ１）。次に、制御フロー中のある条件式
〔Ａ〕を指定して与え（ステップＳ２）、ステップＳ３
において、条件式〔Ａ〕が複合条件式であれば条件式を
展開し、例えば、〔Ａ〕＝〔Ａ１〕OR〔Ａ２〕OR，…の
ように、ＯＲ条件で区切った条件要素に分割する。

【００２５】ついで、上記分割された各条件要素〔Ａn
〕についてステップＳ４〜Ｓ８の処理を繰り返す。す
なわち、制御フローを遡り、各条件要素〔Ａn 〕中で用
いられている変数に値が設定されている箇所とそこに到
達するまでの経路を検索する（ステップＳ４）。次に、
全変数についての設定箇所が検索されたか否かを判別し
（ステップＳ５）、検索された場合には、ステップＳ６
において全経路で各変数がどのような値をとっているか
を記録し、〔Ａn 〕が真となる文（位置）とそこからの
経路の集合をＷn とする。

【００２６】そして、ステップＳ７において、〔Ａ〕の
等価経路を上記集合Ｗn により、Ｗ１ OR Ｗ２ OR
…として終了する。また、ステップＳ５において、全変
数についての設定箇所が検索されていないと判別された
場合には、〔Ａn 〕の等価経路は求められないので、ス
テップＳ８にいき、Ｗn を空集合とする。すなわち、外
部から値が与えられる変数が条件要素に含まれる場合
は、値の設定箇所がない場合があり、その時は経路不明
のままにする。

【００２７】図１１、図１２は条件式Ａ＞０ AND (Ｂ＞
０ OR Ｃ＞０）の条件が指定された場合における等価
経路検索の一例を示す図である。例えば、図１１におい
て、９（ｐ５）の位置で条件式Ａ＞０ AND (Ｂ＞０ OR
Ｃ＞０）を満たす等価経路は次のようにして検索され
る。まず、条件式Ａ＞０ AND (Ｂ＞０ OR Ｃ＞０）を
図１２に示すように、（Ａ＞０ AND Ｂ＞０） OR （Ａ
＞０ AND Ｃ＞０）に変形し、まず、条件要素（Ａ＞０
AND Ｂ＞０）について経路を検索する。条件要素（Ａ
＞０ AND Ｂ＞０）については、図１１から明らかなよ
うにＢ＞０とする設定箇所はない（変数Ｂは外部から与
えられる変数である）ので、図１２に示すように経路は
不明である。

【００２８】次に条件要素（Ａ＞０ AND Ｃ＞０）につ
いて経路を検索する。この場合には、位置１（ｐ１）で
Ａ＞０に設定された後、５（ｐ４）でＣ＞０に設定さ
れ、位置８を経由して位置９に至る〔５（ｐ４）→８→
９〕の経路と、位置３（ｐ２）でＣ＞０に設定され、位
置６を経由して位置９に至る〔３（ｐ２）→６→９〕の
経路と、位置３（ｐ２）から位置７を経由して位置９に
至る〔３（ｐ２）→７→９〕の経路が存在する。

【００２９】したがって、図１２に示すように位置（ｐ
５）における条件式を真にする等価経路として５（ｐ
４）→８→９、３（ｐ２）→６→９、３（ｐ２）→７→
９が得られる。 （３）等価条件式置換部１５ 図１３、図１４は等価条件式置換部１５における処理を
示すフローチャートであり、同図により本実施例におけ
る等価条件式置換部１５における処理の流れについて説
明する。

【００３０】まず、前記した図１０に示すような制御フ
ローを入力する（図１３のステップＳ１）。次に、ある
条件式〔Ａ〕を入力し、その制御フロー上の位置Ｐを記
憶する（ステップＳ２）。ついで、等価条件検索部１４
に条件式〔Ａ〕を入力して条件式〔Ａ〕を真とする経路
および文を検索する。その時、検索範囲は条件式〔Ａ〕
に到達する全経路が合流する点までとする（ステップＳ
３）。

【００３１】合流点は既存技術で制御フローの形から求
められる。例えば図１０の例で、位置９におけるＩＦ文
の分岐条件〔Ａ＞０〕についての検索範囲は、位置９に
到達する全経路が合流する位置２までとする。得られた
経路の集合をＷとし、要素であるそれぞれの経路はその
経路を決定する条件式の列から成り立っている。

【００３２】次に、上記集合Ｗが空集合でないか否かを
判別し、空集合の場合には図１４に行き終了する。空集
合でない場合には、集合Ｗの全経路についてステップＳ
５〜Ｓ７の処理を実行する。ステップＳ５において、上
記集合Ｗに含まれる一つの経路ｗ１の条件式の列をｃ
１，ｃ２，ｃ３，…とし、ステップＳ６において、上記
条件式の列ｃ１，ｃ２，ｃ３，…で使われている変数の
値が経路ｗ１で変更されていないかを判別する。ｃ１，
ｃ２，ｃ３，…中で用いられている変数の値がその経路
中で変更されていない場合、ステップＳ７に行き、ｃ
１，ｃ２，ｃ３，…の論理積ｃ１ AND ｃ２ AND ｃ３
…を置換条件の一つＣ（ｗ１）にする。また、変数の値
が経路ｗ１で変更されている場合には、置換条件としな
い。

【００３３】上記処理を集合Ｗの全経路について行い、
ステップＳ８において、〔Ａ〕をＷの全経路について得
られる置換条件の論理和（Ｃ（ｗ１） OR Ｃ（ｗ２），
・・・）に置換し、これを〔Ａ’〕とし、ステップＳ８
において、〔Ａ’〕を簡約化して終了する。上記処理に
おいて、条件式内に外部から値が与えられる変数が含ま
れる場合は等価経路検索部１４は前記したように経路を
返さない。このような場合は、条件式を置換しない。

【００３４】例えば、図１０の制御フローの場合には次
のようになる。図１０の位置９の〔Ａ＞０〕から検索さ
れた経路を構成する条件式の列は、経路１：｛２→４
（Ｂ＜Ｄ），４→６（Ｘ＝１）｝，経路２：｛２→４
（Ｂ＜Ｄ），４→７（Ｘ＝２）｝であることがわかる。
したがって、条件式〔Ａ＞０〕は〔（Ｂ＜Ｄ AND Ｘ＝
１） OR （Ｂ＜Ｄ ANDＸ＝２〕となり、最終的に簡約さ
れて〔Ｂ＜Ｄ AND （Ｘ＝１ OR Ｘ＝２）〕と置換され
る。 （４）業務変数の更新・条件分岐抽出部１６ 図１５は業務変数の更新・条件分岐抽出部１６における
処理を示すフローチャートであり、同図により本実施例
における業務変数の更新・条件分岐抽出部１６における
処理の流れについて説明する。

【００３５】制御フロー情報をトラバースしながら変数
の値が更新されている箇所、その時の条件（データフロ
ー）を求める。これは既存技術の範囲であるので、処理
の説明は省略するが、要は図１０に示したような制御フ
ローの全経路について、変数の値が更新されている箇
所、その時の条件を検索する。そして、図１５のステッ
プＳ１〜Ｓ４の処理を繰り返す。

【００３６】すなわち、ステップＳ１において、前記し
た業務変数／内部変数識別部１３を用いて更新される値
が業務変数であるかを識別し、更新される変数が業務変
数であった場合、その箇所を記憶し、内部変数の更新箇
所と区別する。そして、直前の分岐条件式〔Ａ〕を抽出
する。ステップＳ２において、上記分岐条件式〔Ａ〕で
用いられている変数の中に内部変数が含まれているもの
を抽出する（業務変数／内部変数識別部１３を使用）。

【００３７】ついで、ステップＳ３において、分岐条件
式〔Ａ〕の変数の中に内部変数が含まれているかを判別
し、含まれている場合には、ステップＳ４に行き、前記
した等価条件式置換部１５を用いて内部変数が存在しな
い条件式に置換する。なお、等価条件式置換部１５で説
明済だが、検索範囲での値のわからない変数が混在する
場合は、その条件式は置換しない。また、内部変数が存
在しない場合には、その分岐条件式〔Ａ〕を業務変数の
分岐条件とする。

【００３８】図１６に従来のデータフロー情報から業務
変数に関する更新、分岐条件式のみを抽出する場合の一
例を示す。同図は、図３のプログラムに対応する図１０
に示した制御フローを利用する例であり、同図（ａ）は
従来のデータフローを示し、（ｂ）は置換されたデータ
フローを示している。

【００３９】図１２（ａ）に示すように、業務変数であ
るＣに１が代入される条件が〔Ａ＞０〕であるが、Ａは
内部変数なので、同図（ｂ）に示すように、〔Ａ＞０〕
と等価な条件式〔Ｂ＜Ｄ AND （Ｘ＝１ OR Ｘ＝２）〕
に置換する。更に、内部変数Ａに値を代入している箇所
は、データフローから削除する。

【００４０】

【発明の効果】以上説明したように、本発明は以下の効
果を得ることができる。 （１）業務変数／内部変数識別手段を設けているので、
プログラム中の変数を制御のためだけに用いられるフラ
グ等の内部変数と入出力に関連した業務変数に分類する
ことができ、内部変数を除いた純粋な業務仕様情報を抽
出することが可能となる。 （２）等価経路検索手段を設けているので、制御フロー
中の指定された条件式が真となる経路、文の位置を検索
することができる。 （３）等価条件式置換手段を設けているので、プログラ
ム中の任意の条件式をプログラム実行順の前方の変数で
置換することができる。 （４）業務変数の更新・条件分岐抽出手段を設けている
ので、等価条件式置換手段４によりより得られた内部変
数を用いて記述されている条件式を、プログラムの入出
力情報に関連した業務変数で記述した等価な条件式に置
換することができる。

【００４１】上記のような（１）〜（４）の手段を設け
ることにより、解析対象とするプログラムが最終的にど
の業務変数にどのような値をセットするのか、また、特
定の処理が実行される条件はなにかといった業務仕様
を、制御仕様を分離しながら自動的に抽出することがで
きる。

【図面の簡単な説明】

【図１】本発明の原理図である。

【図２】本発明の実施例のシステムの概略構成を示す図
である。

【図３】本発明の実施例の解析対象となるプログラムの
一例を示す図である。

【図４】業務変数／内部変数識別部における処理フロー
を示す図である。

【図５】業務変数／内部変数識別部における処理フロー
（続き）を示す図である。

【図６】変数利用情報テーブルの一例を示す図である。

【図７】依存関係テーブルと業務変数抽出過程を示す図
である。

【図８】等価経路検索部における処理フローを示す図で
ある。

【図９】等価経路検索部における処理フロー（続き）を
示す図である。

【図１０】図３に示したプログラムの制御フローを示す
図である。

【図１１】制御フローから等価経路を求める一例を示す
図である。

【図１２】制御フローから等価経路を求める一例を示す
図である。

【図１３】等価条件式置換部における処理フローを示す
図である。

【図１４】等価条件式置換部における処理フロー（続
き）を示す図である。

【図１５】業務変数の更新・条件分岐抽出部における処
理フローを示す図である。

【図１６】業務変数に関する更新、条件分岐条件式抽出
の様子を示す図である。

【図１７】従来技術における変数値の更新情報の流れの
一例を示す図である。

【符号の説明】

１ａ 解析対象プログラム １ｂ 変数利用情報 １ｃ 制御フロー ２ 業務変数／内部変数識別手段 ３ 等価経路検索手段 ４ 等価条件式置換手段 ５ 業務変数の更新・条件分岐抽出手段 ６ 業務仕様情報 １１ プログラムの構文木、変数利用情報、制御フロー １２ プログラム解析装置 １３ 業務変数／内部変数識別部 １４ 等価経路検索部 １５ 等価条件置換部 １６ 業務変数の更新・条件分岐抽出部 １７ 業務仕様情報

Claims (4)

【特許請求の範囲】
1. 【請求項１】 解析対象となるプログラム中の変数を、
   入出力に関係する業務変数と、プログラム内で閉じたフ
   ラグ等の内部変数に分類するプログラム解析装置であっ
   て、 変数とその変数が利用されている文の関係を示す変数利
   用情報を用いて上記変数を分類する業務変数／内部変数
   識別手段を備え、 上記業務変数／内部変数識別手段は、プログラム中で宣
   言された変数および／または外部とつながる変数にマー
   クを付し、 マークが付された変数と親子関係にある変数および代入
   関係にある変数を検索してマークを付していき、最終的
   にマークされた変数を業務変数、それ以外の変数を内部
   変数とすることを特徴とするプログラム解析装置。
2. 【請求項２】 解析対象となるプログラム中の任意の条
   件式を指定し、その条件式が真となる経路、文の位置を
   検索するプログラム解析装置であって、 解析対象となるプログラムの処理の流れを示す制御フロ
   ー中の条件式が真となる経路、文の位置を検索する等価
   経路検索手段を備え、 任意の条件式が指定されたとき、上記等価経路検索手段
   は、上記条件式を展開してＯＲ条件で区切られた条件要
   素に分割し、上記制御フローを遡って上記条件要素中で
   用いられている変数に値が設定されている箇所を検索
   し、 上記検索された箇所と設定されている値に基づき上記条
   件式が真となる経路、文の位置を検索することを特徴と
   するプログラム解析装置。
3. 【請求項３】 プログラム中の任意の条件式を、プログ
   ラム実行順の前方の変数で置換するプログラム解析装置
   であって、 解析対象となるプログラムの処理の流れを示す制御フロ
   ー中の任意の条件式が真となる経路、文の位置を検索す
   る等価経路検索手段と、 上記等価経路検索手段の検索結果を用いて、上記条件式
   をプログラム実行順の前方の変数で置換する等価条件式
   置換手段とを備え、 上記等価条件式置換手段は、上記条件式を真とする経路
   および文を上記等価経路検索手段により検索し、検索さ
   れた全経路の要素である各経路を決定する条件式の列を
   求め、 上記条件式の列で使われている変数の値が各経路内で変
   更されていない場合に、上記条件式の列の論理積を求
   め、 上記任意の条件式を、上記各経路の条件式の列の論理積
   の論理和に置換することを特徴とするプログラム解析装
   置。
4. 【請求項４】 プログラム内で閉じたフラグ等の内部変
   数を用いて記述される条件式を、プログラムの入力情報
   または出力情報に関係した業務変数で記述した等価な条
   件式に置換するプログラム解析装置であって、 変数とその変数が利用されている文の関係を示す変数利
   用情報を用いてプログラム中の変数を、入出力に関係す
   る業務変数と内部変数に分類する業務変数／内部変数識
   別手段と、 解析対象となるプログラムの処理の流れを示す制御フロ
   ー中の条件式が真となる経路、文の位置を検索する等価
   経路検索手段と、 上記等価経路検索部の検索結果を用いて、プログラム中
   の任意の条件式をプログラム実行順の前方の変数で置換
   する等価条件式置換手段と、 プログラム内で閉じた内部変数を用いて記述されている
   条件式をプログラムの入力情報および出力情報に関係し
   た業務変数で記述した等価な条件式に置換する業務変数
   の更新・条件分岐抽出手段を備え、 上記業務変数の更新・条件分岐抽出手段は、業務変数／
   内部変数識別手段の識別結果を用いて、制御フロー中に
   おいて業務変数が更新されている箇所を記憶して、その
   箇所における条件式を求め、 上記条件式に内部変数が存在する場合に、等価条件式置
   換手段を用いて内部変数が存在しない条件式に置換する
   ことを特徴とするプログラム解析装置。