JPH06214825A

JPH06214825A - プログラム・バグ潜在域抽出装置

Info

Publication number: JPH06214825A
Application number: JP5004892A
Authority: JP
Inventors: Takao Shimomura; 隆夫下村
Original assignee: Nippon Telegraph and Telephone Corp
Current assignee: NTT Inc
Priority date: 1993-01-14
Filing date: 1993-01-14
Publication date: 1994-08-05

Abstract

(57)【要約】【目的】プログラム中のバグの存在し得る場所を限定
できるプログラム・バグ潜在域抽出装置を提供する。【構成】プログラムの実行時に各実行時点ごとにデー
タ依存関係を抽出するデータ依存関係記録部２１と制御
依存関係を抽出する制御依存関係記録部２２の他に、変
数と当該変数への値の設定漏れに影響のある分岐文との
依存関係を取得して記録する分岐文設定漏れ依存関係記
録部２３と、配列と当該配列の配列要素への値の設定漏
れに影響のある配列要素への代入文との依存関係を取得
して記録する配列要素設定漏れ依存関係記録部２４とを
設ける。そして、値誤りバグ潜在域獲得部１８によっ
て、データ・エラーが発見された場合に、当該データ・
エラーに対応する変数に関し、当該変数の存在する文に
対して前記各依存関係のいずれかの依存関係にある文の
集合を値誤りバグ潜在域として抽出する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、一般の手続き型言語で
記述されたプログラムのデバッグ時に使用されるデバッ
グ支援装置に関し、特に、データ・エラーが発生した場
合に、プログラム内の文の中でこのデータ・エラーの原
因となったバグの存在する範囲を限定してデバッグ作業
を容易にするプログラム・バグ潜在域抽出装置に関す
る。

【０００２】

【従来の技術】プログラムが仕様に合わない、換言すれ
ば期待したように動作しない場合には、そのプログラム
のソーステキストの中から、仕様に合わないことの原因
となっている部分を見つけ出し、修正を行なう必要があ
る。仕様に合わないことの原因をバグと呼ぶ。

【０００３】プログラムのバグは、文の記述が漏れてい
る場合（文記述漏れバグ）、余計な文の記述がある場合
（文記述過多バグ）および文の記述に誤りがある場合に
分類できる。さらに、文の記述に誤りがある場合は、代
入文において左辺（被代入側）の変数の名前を誤った場
合のように別の変数に値を設定するという誤りを引き起
こす場合（名前記述誤りバグ）と、代入文における右辺
（代入側）の式や分岐文などにおける分岐条件式の記述
を誤った場合（文記述誤りバグ）とに分類できる。ここ
では、文記述誤りバグと文記述過多バグを総称して、値
誤りバグと呼ぶことにする。

【０００４】プログラム内にバグがあると、代入文にお
いて変数に誤った値が設定されたり、分岐文やループ文
において制御の流れが誤った方向に変わったりする。そ
の結果、ある実行時点においてある変数の値が誤ってい
るというデータ・エラーが発生する。データ・エラーが
発生した場合に、そのデータ・エラーに関係するバグの
存在箇所をプログラム内で限定する技術として、従来、
動的スライス技術がある。

【０００５】動的スライスとは、実行された文の集合の
一種であって、ある入力データを与えてプログラムを実
行した場合に、変数が使用されたある実行時点において
その変数の値に実際に影響を与えた文の集合である。実
行された文を繰り返しも考慮して順に並べたものを、実
行系列と呼ぶ。この実行系列の中においてデータ依存関
係と制御依存関係の２つの依存関係をたどることによ
り、動的スライスを求めることができる（B. Korel and
J. Laski, "Dynamic Program Slicing", Information
Processing Letters, Vol. 29, No. 10, Oct. 1988, p
p. 155-163）。データ依存関係および制御依存関係は、
以下のように定義される。すなわち、実行時点ｔ₁にお
いて実行された文で使用された変数を最後に定義したの
が実行時点ｔ₂であるとき、「実行時点ｔ₁は実行時点ｔ
₂にデータ依存関係がある。」とする。また、実行時点
ｔ₁およびｔ₂があって、実行時点ｔ₂において分岐文あ
るいはループ文が実行されており、実行時点ｔ₁におい
て実行された文の実行の有無がその分岐文あるいはルー
プ文の制御移行結果に直接依存していたとき、「実行時
点ｔ₁は実行時点ｔ₂に制御依存関係がある。」とする。

【０００６】図１は、この動的スライス技術に基づく従
来のプログラム・バグ潜在域抽出装置の構成を示すブロ
ック図である。

【０００７】この装置は、インストルメント部５２とコ
ンパイル・リンク部５４とプログラム実行制御部５６と
動的スライス獲得部５８とによって構成されている。イ
ンストルメント部５２は、ソースプログラム５１を読み
込み、文と文との間の依存関係を記録するためのコード
をこのソースプログラムに埋め込んで、インストルメン
トされたソースプログラム５３として出力するためのも
のである。コンパイル・リンク部５４は、インストルメ
ントされたソースプログラム５３を読み込んでコンパイ
ル、リンクし、実行可能プログラム５５として出力する
ためのものである。プログラム実行制御部５６は、実行
可能プログラム５５の実行を制御するものであって、コ
ンパイル、リンクされた実行可能プログラム５５を実際
に実行させ、プログラムが実行されたときの文の間の依
存関係を記録してプログラム実行依存関係情報５７とし
て出力するものである。プログラム実行制御部５６の内
部には、データ依存関係を記録するためのデータ依存関
係記録部６１と、制御依存関係を記録するための制御依
存関係記録部６２とが設けられている。そして、動的ス
ライス獲得部５８は、発見されたデータ・エラーに基づ
きプログラム実行依存関係情報５７を参照して文間の依
存関係を解析することにより動的スライスを求め、求め
た動的スライスを動的スライス情報５８として出力し、
バグ存在箇所を抽出するためのものである。

【０００８】この装置では、インストルメントされたソ
ースプログラム５３をコンパイル・リンク後、プログラ
ム制御実行部５６でこのプログラムを実行することによ
り、データ依存関係記録部６１および制御依存関係記録
部６２によって、データ依存関係と制御依存関係が、そ
れぞれプログラム実行依存関係情報５７として記録され
る。そして、動的スライス獲得部５８が、発見されたデ
ータ・エラーに基づいてプログラム実行依存関係情報５
７を解析することにより、バグが存在する可能性のある
文がプログラムの中から抽出される。

【０００９】ここで、このプログラム・バグ潜在域抽出
装置を用い、図２に示されたサンプルプログラムからバ
グの存在し得る範囲を抽出する場合について、説明す
る。図２のプログラムは、一般のアルゴル系言語で記述
されたものであり、変数xとyのうち大きい方を変数max
で返し、小さい方を変数minで返すものである。関数get
(x,y)と関数put(max,min)は、それぞれ変数x,yを入力す
る関数、変数max,minを出力する関数である。このプロ
グラムにおいて、文番号１０４の文が間違っており（バ
グ）、この文の「if x＞y then」は、正しくは「if x＜
y then」である。

【００１０】このプログラムに対し、x=2,y=3を与えて
実際に実行した場合の実行系列が、図３に示されてい
る。文番号１０４の文が間違っているため、変数minの
値が３と誤っている（正しくは２）。ここで、図３に示
された実行系列から、変数minに対するデータ依存関係
と制御依存関係を抽出すると、誤っているif文以降では
変数minへの値の代入が行なわれていないため、変数min
に対して制御依存関係がある文が存在しないことにな
る。このため、変数minに対してデータ依存関係にある
実行順１と３の文（文番号が１０１と１０３の文）のみ
が、動的スライスとして獲得される。したがって、動的
スライスに基づくプログラム・バグ潜在域抽出装置で
は、図２に示したプログラムに対し、文番号が１０１と
１０３の文をバグの存在し得る場所として抽出すること
となり、実際にバグの存在する文番号１０４の文をバグ
潜在域として抽出しないことになる。

【００１１】

【発明が解決しようとする課題】上述のように、動的ス
ライスを用いた場合には、文の間のデータ依存関係およ
び制御依存関係に基づいてバグの潜在する場所を抽出す
るため、上記の図２に示したプログラムの例のように、
変数（上述の例では変数min）の値に対して直接影響を
与えた文を抽出することができる。しかし、この例に示
されるように、実際にバグを含む文を抽出できない場合
があるという問題点がある。すなわち、動的スライス技
術では、ある分岐文の分岐結果の誤りのために、ある変
数に値が設定されず、それが原因でデータ・エラーが引
き起こされているような場合には、当該分岐文および当
該分岐文が依存している文の集合が、まるごと動的スラ
イスから漏れてしまうという問題点がある。

【００１２】本発明の目的は、動的スライス技術のもつ
このような問題点を改善でき、バグの潜在域を正しく抽
出できるプログラム・バグ潜在域抽出装置を提供するこ
とにある。

【００１３】

【課題を解決するための手段】本発明のプログラム・バ
グ潜在域抽出装置は、手続き型言語で記述されたプログ
ラムのデバッグを行なう際に使用され、データ・エラー
が発生した場合に当該データ・エラーの原因となるバグ
の存在する可能性のある文を前記プログラム中から抽出
するプログラム・バグ潜在域抽出装置において、前記プ
ログラムの各文の間の依存関係を記録するためのソース
コードを前記プログラムのソーステキスト中に埋め込む
インストルメント部と、前記インストルメント部で作成
されたソースプログラムに対してコンパイルとリンクを
行ない、前記ソースプログラムを実行可能プログラムに
変換するコンパイル・リンク部と、変数と文との間の依
存関係を取得するために前記実行可能プログラムを実行
するプログラム実行制御部と、文の間のデータ依存関係
を前記実行可能プログラムの実行中に取得して記録する
データ依存関係記録部と、文の間の制御依存関係を前記
実行可能プログラムの実行中に取得して記録する制御依
存関係記録部と、変数と当該変数への値の設定漏れに影
響のある分岐文との依存関係を前記実行可能プログラム
の実行中に取得して記録する分岐文設定漏れ依存関係記
録部と、配列と当該配列の配列要素への値の設定漏れに
影響のある配列要素への代入文との依存関係を前記実行
可能プログラムの実行中に取得して記録する配列要素設
定漏れ依存関係記録部と、データ・エラーが発見された
場合に、当該データ・エラーに対応する変数に関し、当
該変数の存在する文に対して前記各依存関係のいずれか
の依存関係にある文の集合を値誤りバグ潜在域として抽
出する値誤りバグ潜在域獲得部とを有する。

【００１４】

【作用】データ依存関係記録部と制御依存関係記録部の
他に、変数と当該変数への値の設定漏れに影響のある分
岐文との依存関係を取得して記録する分岐文設定漏れ依
存関係記録部と、配列と当該配列の配列要素への値の設
定漏れに影響のある配列要素への代入文との依存関係を
取得して記録する配列要素設定漏れ依存関係記録部とを
設けてあるので、値誤りバグの存在する可能性のある場
所（値誤りバグ潜在域）を正しく求めることができる。

【００１５】ここで、値誤りバグ潜在域について説明す
る。値誤りバグ潜在域は、値誤りバグがあると仮定した
場合に、発見されたデータ・エラーを引き起こす可能性
のある文を含む最小の集合である。そして、値誤りバグ
潜在域に関し、値誤りバグ潜在域内の文に値誤りバグ
があると、その値誤りバグが、現在着目しているデータ
・エラーを引き起こした可能性がある、値誤りバグ潜
在域外の文に値誤りバグがあっても、その値誤りバグ
は、現在着目しているデータ・エラーを引き起こした原
因とはならない、の２つの事柄が成立する。したがっ
て、値誤りバグ潜在域外のバグを修正したとしても、現
在着目しているデータ・エラーが再び発生することとな
る。

【００１６】本発明によれば、値誤りバグ潜在域が求め
られるので、プログラム中において値誤りバグの存在し
得る場所を限定することができ、バグの究明作業を容易
に行なえるようになる。

【００１７】

【実施例】次に、本発明の実施例について図面を参照し
て説明する。図４は、本発明の一実施例のプログラム・
バグ存在域抽出装置の構成を示すブロック図である。

【００１８】このプログラム・バグ潜在域抽出装置は、
デバッグ対象のプログラムに関しそのプログラムを実行
させたときにデータ・エラーが検出された場合に、その
データ・エラーの原因となった値誤りバグが存在する可
能性のある値誤りバグ潜在域を見つけ出すためのもので
ある。そして、この装置は、大別して、インストルメン
ト部１２、コンパイル・リンク部１４、プログラム実行
制御部１６および値誤りバグ潜在域獲得部１８とによっ
て構成されている。これら各部間では、データファイル
（インストルメントされたソースプログラム１３、実行
可能プログラム１５、プログラム実行依存関係情報１
７）の形式で、必要なデータが受け渡されるようになっ
ている。また、プログラム実行制御部１６の内部には、
データ依存関係記録部２１、制御依存関係記録部２２、
分岐文設定漏れ依存関係記録部２３および配列要素設定
漏れ依存関係記録部２４が、設けられている。

【００１９】データ依存関係記録部２１は、文の間のデ
ータ依存関係をプログラムの実行中に取得して記録する
ためものである。制御依存関係記録部２２は、文の間の
制御依存関係をプログラム実行中に取得して記録するた
めものである。分岐文設定漏れ依存関係記録部２３は、
変数と当該変数への値の設定漏れに影響のある分岐文と
の依存関係（分岐文設定漏れ依存関係）をプログラム実
行中に取得して記録するためものである。配列要素設定
漏れ依存関係記録部２４は、配列と当該配列の配列要素
への値の設定漏れに影響のある配列要素への代入文との
依存関係（配列要素設定漏れ依存関係）をプログラム実
行中に取得して記録するためのものである。

【００２０】このプログラム・バグ潜在域抽出装置にお
けるデバッグ対象のプログラミング言語としては、Ａｄ
ａ、Ｐａｓｃａｌ、Ｃなどの一般の手続き型言語が想定
されている。以下においては、説明を簡単にするため、
プログラム内の文（ステートメント）は、代入文、if文
などの分岐文、while文などのループ文、手続き呼び出
し文（関数呼び出し文も含む）および入出力文からなる
ものとする。

【００２１】インストルメント部１２は、ソースプログ
ラム１１を読み込み、文と文との間の依存関係を記録す
るためのコードをこのソースプログラムに埋め込んで、
インストルメントされたソースプログラム１３として出
力するためのものである。コンパイル・リンク部１４
は、インストルメントされたソースプログラム１３を読
み込んでコンパイル、リンクし、実行可能プログラム１
５として出力するためのものである。

【００２２】プログラム実行制御部１６は、実行可能プ
ログラム１５の実行を制御するものであって、コンパイ
ル、リンクされた実行可能プログラム１５を実際に実行
させ、プログラムが実行されたときの文の間の依存関係
を記録してプログラム実行依存関係情報１７として出力
するものである。ここで、プログラム実行制御部１６に
よって、プログラム実行時に記録される情報について説
明する。

【００２３】(1) CurCtl：現実行時点ｃにおける制御フ
ロー、すなわち、現在の実行時点ｃの実行を決定した分
岐実行時点（分岐文、ループ文、関数呼び出し文）の集
合である。この制御フローは、プログラムの実行方向と
は逆方向に、現在の実行時点ｃから制御依存関係をたど
ることによって得られる実行時点の集合のことである。
実行時点には、一般に、実行開始時からの連続番号がふ
られるので、制御フローCurCtlはこの付与された番号か
らなる集合として表わされる。この集合は、各分岐実行
時点を要素とするスタック構造を構成することにより、
容易に求めることができる。ここでは集合とスタックと
を同一視できるので、スタックCurCtlに要素（実行時
点）ｃをプッシュダウンする操作を「pushCurCtl
(c)」、スタックCurCtlから要素を一つポップアップす
る操作を「popCurCtl」で表わすことにする。また、一
般の実行時点ｓにおける制御フローをCtl(s)で表わすこ
とにする。

【００２４】(2) CurDef(x)：プログラム中の各変数ｘ
に対して、変数ｘを定義した最新の実行時点ｐを返す関
数であり、データ依存関係に対応している。変数ｘを定
義する実行時点があるごとに、CurDef(x)の値を更新す
ればよい。

【００２５】(3) CurDefCtl(x)：プログラム中の各変数
ｘに対して、変数ｘを定義した最新の実行時点ｐ（すな
わちCurDef(x)）における制御フローCtl(p)である。つ
まり、Ctl(CurDef(x))で表わされる。

【００２６】(4) OmsVars(j)：分岐文を実行した各実行
時点ｊに対して、当該分岐文で実行されなかった方の分
岐パス上で定義される可能性のある変数の集合である。
この集合を求める方法は、最適化コンパイラにおいて行
なわれるものと同様のものであり、例えば、エイホ、ウ
ルマン著、土居訳、「コンパイラ」、培風館(1986)など
に、その記載がある。

【００２７】(5) AssignArray(j)：配列要素への代入文
の実行時点ｊに対して、値を設定した配列名を返す関数
である。

【００２８】次に、プログラム実行制御部１６によって
プログラム中の各文が実行されるごとに、文間の依存関
係を求めるためにこのプログラム実行制御部１６によっ
て行なわれる処理について説明する。ここでは、現在実
行しようとしている実行時点をｃとする。

【００２９】(1) 代入文、入力文を実行する場合：この
代入文、入力文で定義される変数をｗとすると、ｗを定
義した最新の実行時点がｃということになるから、 CurDef(w):=c; CurDefCtl(w):=CurCtl; を実行する。

【００３０】(2) 分岐文、ループ文、手続き呼び出し文
を実行する場合： pushCurCtl(c); を実行する。すなわちスタックCurCtlに実行時点ｃをプ
ッシュダウンする。

【００３１】(3) 分岐文、ループ文、手続き呼び出し文
を終了する場合： popCurCtl; を実行する。すなわち、スタックCurCtlから実行時点を
一つポップアップする。ただし、ループ文を終了する場
合には、そのループ文本体部の繰り返し回数だけ「popC
urCtl;」を実行するものとする。以上の説明からよう
に、スタックCurCtlの内容を先頭から一番奥までたぐる
ことにより、その実行時点ｃにおける制御フローが得ら
れることになる。

【００３２】(4) 文の実行時に変数ｗの値を使用する場
合：この場合には、データ依存関係記録部２１、制御依
存関係記録部２２、分岐文設定漏れ依存関係記録部２３
および配列要素設定漏れ依存関係記録部２４のそれぞれ
において、以下に示す処理が行なわれる。

【００３３】(4-1) データ依存関係記録部２１での処
理： Def(c,w):=CurDef(w); を実行する。ここでDef(c,w)は、実行時点ｃでの変数ｗ
のデータ依存関係を表わす関数であり、その値は当該デ
ータ依存関係先となる実行時点である。

【００３４】(4-2) 制御依存関係記録部２２での処理： CtlDef(c,w):=CurDefCtl(w)-CurCtl; を実行する。ここでCtlDef(c,w)は、変数ｗを定義した
最新の実行時点の制御フローから現実行時点ｃでの制御
フローを除いたものである。

【００３５】(4-3) 分岐文設定漏れ依存関係記録部２３
での処理： i:=CurDef(w); OmsCond(c,w):={j｜i<j<c,かつ,w∈OmsVars(j)}-CurCt
l; を実行する。ここでOmsCond(c,w)は、変数ｗの値を定義
した最新の実行時点から現実行時点ｃまでの各実行時点
のうち、その実行時点で実行されるものが分岐文であり
かつその分岐文の分岐しなかった方のパスで変数ｗが定
義される可能性があるものからからなる実行時点の集合
であって、現在の制御フローに含まれないものからなる
集合を表わしている。

【００３６】(4-4) 配列要素設定漏れ依存関係記録部２
４での処理：変数ｗが配列要素である場合、すなわちw=
a[m]である場合、 i:=CurDef(w); OmsArray(c,w):={j｜i<j<c,かつ,a=AssignArray(j)}; を実行する。ここでOmsArray(c,w)は、変数ｗの値を定
義した最新の実行時点から現実行時点ｃまでの各実行時
点のうち、配列ａに対して値を設定した実行時点の集合
を表わしている。

【００３７】結局、プログラム実行制御部１６は、上述
のようにして各実行時点ｓごとに、上記の集合Def(s,
w),CtlDef(s,w),OmsCond(s,w),OmsArray(s,w)を求め、
プログラム実行依存関係情報１７として記録することに
なる。

【００３８】次に、値誤りバグ潜在域獲得部１８につい
て説明する。

【００３９】値誤りバグ潜在域獲得部１８は、プログラ
ム実行依存関係情報１７を参照し、各文の間のデータ依
存関係、制御依存関係、分岐文設定漏れ依存関係および
配列要素設定漏れ依存関係とを解析して、着目している
データ・エラーに対応する値誤りバグ潜在域を抽出し、
値誤りバグ潜在域情報１９として出力するためのもので
ある。この値誤りバグ潜在域獲得部１８は、実行可能プ
ログラム１５の実行後、着目する変数に対して以下のよ
うな処理を行なう。この場合、プログラム実行制御部１
６によって、予め、全ての実行時点ｓおよびその実行時
点ｓにおいて使用している変数ｗに対して、Def(s,w),C
tlDef(s,w),OmsCond(s,w),OmsArray(s,w)が求められて
いるものとする。

【００４０】まず実行時点ｓおよび変数ｗに対して、実
行時点の集合Oms(s,w)を次のように定義する。 Oms(s,w)=OmsCond(s,w)∪OmsArray(s,w) また、実行時点ｓ、変数の集合Ｗに対して、ｗ∈Ｗであ
る変数ｗ全てについての集合Oms(s,w)の和集合Oms(s,W)
を次のように定義する（ただしｗ∈Ｗ）。 Oms(s,W)=∪Oms(s,w)

【００４１】そして、実行時点ｔにおける、変数ｖに対
する実行時点集合CriticalEP(t,v)を次のように定義す
る。 CriticalEP(t,v)=CEP(t,{v},t) ただし、実行時点i,e(i≦e)、変数の集合AffectUseに対
して、関数CEP(i,AffectUse,e)は、図５に示されるよう
に、再帰的に定義される。なお、Use(x)は、実行時点ｘ
で使用している変数の集合である。また、実行時点(1≦
j＜t)に対して、変数の集合IndexVars(j)は、以下のよ
うに定められる。IndexVars(j)={w｜実行時点jにおける
文の実行において、変数ｗは、左辺の配列要素の添字式
の中で使用された変数である。}

【００４２】例えば、文が「a[x+y-1]:=z+2;」の場合に
は、IndexVars(j)={x,y}である。

【００４３】ここで関数CEP(i,AffectUse,e)の動作につ
いて説明する。まず、求めようとする値誤りバグ潜在域
に対応する変数ｖをAffectUseとする。そうすると、文
番号２０６あるいは２０８の行で、AffectUseに含まれ
る変数について、データ依存関係、制御依存関係、分岐
文設定漏れ依存関係および配列要素設定漏れ依存関係の
いずれかの依存関係をその変数が有する実行時点の集合
Ｘが求められる。そして、文番号２１４〜２２１のルー
プの中で、この集合Ｘに含まれる全ての実行時点ｘに対
し、当該実行時点ｘで使用される変数の集合（配列へ値
の代入が行なわれる場合にはその左辺の配列要素の添字
式で使用される変数の集合）を新たにAffectUseXとし、
AffectUseをこのAffectUseXに置き換え、再帰的に関数C
EPを呼び出し（文番号２２０）、さらに依存関係のある
実行時点を求めている。この再帰的呼び出しを繰り返す
うちに集合Ｘの要素の数が減り、いずれＸ＝φ（空集
合）となるから、そのときまでに集合Ｘの要素として一
度でも求められた実行時点の全て（集合EP）を関数CEP
は最終的に戻り値とする。

【００４４】変数ｖに対する実行時点集合CriticalEP
(t,v)をCriticalEP(t,v)=CEP(t,{v},t)のように定義し
ているから、結局、実行時点集合CriticalEP(t,v)は、
変数ｖが、データ依存関係、制御依存関係、分岐文設定
漏れ依存関係および配列要素設定漏れ依存関係のいずれ
かの依存関係にある実行時点、さらにこの実行時点が依
存関係にある実行時点、さらにそのまた依存関係にある
実行時点...の集合となり、変数ｖに対する値誤りバグ
潜在域を表わすことになる。

【００４５】ここで、図２に示したプログラムに対して
本実施例のプログラム・バグ潜在域抽出装置を適用した
例について説明する。ここでは、変数min（文番号１０
７参照）に対する値誤りバグ潜在域を求めるものとす
る。この場合の各文の間の依存関係は、図６に矢印で示
すようになる。図６において、"◇"は分岐文やループ文
などの条件判断を伴う文を示し、"○"は代入文などを示
している。また、点線で示されているのは、分岐結果の
誤りのために動的スライスでは見逃される依存関係を示
している。

【００４６】この場合、文番号１０７の文の実行順（実
行時点）が６であることにより、実行時点集合Critical
EP(6,min)を求めればよいことになる。この実行時点集
合CriticalEP(6,min)は、関数CEPを用いて以下のように
求められる。 CriticalEP(6,min) = CEP(6,{min},6) = {3,4}∪CEP(3,{x},6)∪CEP(4,{x,y},6) = {3,4}∪{1}∪{1} = {1,3,4}

【００４７】したがって、実行時点１,３,４すなわち文
番号１０１,１０３,１０４の文が、値誤りバグ潜在域と
なる。この求められた値誤りバグ潜在域には、本当にバ
グを含む文番号１０４の文が含まれている。

【００４８】

【発明の効果】以上説明したように本発明は、データ依
存関係記録部と制御依存関係記録部の他に、分岐文設定
漏れ依存関係記録部と配列要素設定漏れ依存関係記録部
とを設けたことにより、値誤りバグがあった場合にデー
タ・エラーを引き起こす可能性のある文を含む最小の集
合である値誤りバグ潜在域を正しく求めることができる
ので、値誤りバグの存在する場所を限定でき、従来技術
に比べバグの究明作業が容易になるという効果がある。

【図面の簡単な説明】

【図１】従来のプログラム・バグ潜在域抽出装置の構成
を示すブロック図である。

【図２】サンプルプログラムを示すソーステキストであ
る。

【図３】図２に示すサンプルプログラムを実行した場合
の実行系列を示す図である。

【図４】本発明の一実施例のプログラム・バグ潜在域抽
出装置の構成を示すブロック図である。

【図５】値誤りバグ潜在域を求めるために必要となる関
数ＣＥＰの処理内容を示す図である。

【図６】図２に示すサンプルプログラムを実行した時の
実行された文の間の依存関係を示す図である。

【符号の説明】

１１ソースプログラム１２インストルメント部１３インストルメントされたソースプログラム１４コンパイル・リンク部１５実行可能プログラム１６プログラム実行制御部１７プログラム実行依存関係情報１８値誤りバグ潜在域獲得部１９値誤りバグ潜在域情報２１データ依存関係記録部２２制御依存関係記録部２３分岐文設定漏れ依存関係記録部２４配列要素設定漏れ依存関係記録部

Claims

【特許請求の範囲】

【請求項１】手続き型言語で記述されたプログラムの
デバッグを行なう際に使用され、データ・エラーが発生
した場合に当該データ・エラーの原因となるバグの存在
する可能性のある文を前記プログラム中から抽出するプ
ログラム・バグ潜在域抽出装置において、前記プログラムの各文の間の依存関係を記録するための
ソースコードを前記プログラムのソーステキスト中に埋
め込むインストルメント部と、前記インストルメント部で作成されたソースプログラム
に対してコンパイルとリンクを行ない、前記ソースプロ
グラムを実行可能プログラムに変換するコンパイル・リ
ンク部と、変数と文との間の依存関係を取得するために前記実行可
能プログラムを実行するプログラム実行制御部と、文の間のデータ依存関係を前記実行可能プログラムの実
行中に取得して記録するデータ依存関係記録部と、文の間の制御依存関係を前記実行可能プログラムの実行
中に取得して記録する制御依存関係記録部と、変数と当該変数への値の設定漏れに影響のある分岐文と
の依存関係を前記実行可能プログラムの実行中に取得し
て記録する分岐文設定漏れ依存関係記録部と、配列と当該配列の配列要素への値の設定漏れに影響のあ
る配列要素への代入文との依存関係を前記実行可能プロ
グラムの実行中に取得して記録する配列要素設定漏れ依
存関係記録部と、データ・エラーが発見された場合に、当該データ・エラ
ーに対応する変数に関し、当該変数の存在する文に対し
て前記各依存関係のいずれかの依存関係にある文の集合
を値誤りバグ潜在域として抽出する値誤りバグ潜在域獲
得部とを有することを特徴とするプログラム・バグ潜在
域抽出装置。