JPH1196041A

JPH1196041A - データフロー異常検査装置

Info

Publication number: JPH1196041A
Application number: JP9252977A
Authority: JP
Inventors: Hiroaki Kimura; 博昭木村; Masahiro Noguchi; 正浩野口; Kiminori Tao; 公紀田尾
Original assignee: Nippon Steel Corp
Current assignee: Nippon Steel Corp
Priority date: 1997-09-18
Filing date: 1997-09-18
Publication date: 1999-04-09

Abstract

(57)【要約】【課題】プログラマがソースプログラムの修正等を行
うときにデータフロー異常検査の結果の参照がし易くな
り、プログラムの修正作業が容易となるデータフロー異
常検査装置を提供する。【解決手段】データフロー異常検査部１１によって、
ソースプログラムについてのデータフロー異常検査が行
われ、その結果データフロー異常が見いだされると、異
常パス行表示装置１２によって、データフロー異常が起
こっているパスに対応するソースプログラムの行番号が
表示される。異常パス追跡表示部１３によりデータフロ
ー異常のあるソースプログラムが表示された画面上で、
「Ｔｒａｃｅ」ボタンをクリックすると、データフロー
異常が起こるパスの先頭行が反転表示され、その後もう
一度「Ｔｒａｃｅ」ボタンをクリックすると、当該パス
の次行が反転表示される。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、作成したソースプ
ログラムのデバッグ作業等を行う場合に使用されるデー
タフロー異常検査装置に関する。

【０００２】

【従来の技術】コンピュータプログラムにおける欠陥の
一つに、データフロー異常がある。このような異常を含
むコンピュータプログラムは、ある特定のパスを通ると
きだけ異常として現れる場合があるため、その発見が困
難であり、そのプログラムを含んだ製品を出荷したあと
にデータフロー異常に基づく重大な欠陥が発生すること
もある。データフロー異常に関する基本的な文献とし
て、Lloyd D. Fosdick, Leon J. Osterweil,「 Data Fl
ow Analysis in Software Reliability 」 Computing S
urveys, Vol.8, No.3, Sep. 1976, pp305 - 330 があ
る。

【０００３】このようなデータフロー異常を予めソース
コードの段階で検出して、排除するためのデータフロー
異常検査装置が知られている。このデータフロー異常検
査装置は、一般にコンピュータに搭載した専用のソフト
ウェアとして実現される。データフロー異常検査装置
は、検査対象のソースプログラムが入力されると、「デ
ータフロー異常の検出」と「データフロー異常のパスの
探索」という二つの作業を行う。「データフロー異常の
検出」とは、データフロー異常がプログラム上のどこに
発生しているかを探し出す処理であり、「データフロー
異常のパスの探索」とは、データフロー異常がどのよう
なパスを通ったときにそれが発生するのかを知るため
に、ソースプログラムの中のパスを調べる処理である。
このような処理を予め行うことによって、作成されたプ
ログラムの信頼性及び品質を向上させることができる。

【０００４】

【発明が解決しようとする課題】ところで、データフロ
ー異常検査装置による検査が行われ、それによってデー
タフロー異常が見い出されると、プログラマは、その結
果に基づいてプログラムの修正等を行う。このとき、プ
ログラマは、ソースプログラムのどの部分にデータフロ
ー異常が起こり、そのデータフロー異常がどのようなパ
スを通ったときに発生するかを認識した上で、プログラ
ムの修正を行わなければならない。したがって、データ
フロー異常検査装置による検査結果を参照し易いか否か
が、ソースプログラムの修正作業の効率に影響を与え
る。

【０００５】しかしながら、従来のデータフロー異常検
査装置は、データフロー異常の検出が行われると、単に
異常箇所を提示するだけであり、プログラマは、その結
果とソースプログラムとを見比べて、それがどのような
パスを通ったときに発生するかを順を追って探っていく
ほかなかった。これは決して容易な作業とは言えず、煩
わしいものであり、また、ミスを招きやすいという問題
があった。

【０００６】本発明は、上記事情に基づいてなされたも
のであり、プログラマがソースプログラムの修正等を行
うときにデータフロー異常検査の結果の参照がし易くな
り、プログラムの修正作業が容易となるデータフロー異
常検査装置を提供することを目的とする。

【０００７】

【課題を解決するための手段】上記の課題を解決するた
めに、本発明のデータフロー異常検査装置は、ソースプ
ログラムを読み込むソースプログラム読み込み手段と、
前記ソースプログラム読み込み手段により読み込んだソ
ースプログラムに対して、データフロー異常の検査を実
行するデータフロー異常検査手段と、前記ソースプログ
ラムを表示した画面上で、前記データフロー異常検査手
段により見いだされたデータフロー異常を起こす前記ソ
ースプログラム上のパスを、プログラムの命令実行順序
に従って、表示するデータフロー異常パス表示手段と、
を具備することを特徴とする。

【０００８】また、本発明のデータフロー異常検査装置
は、ソースプログラムを読み込むソースプログラム読み
込み手段と、前記ソースプログラム読み込み手段により
読み込んだソースプログラムに対して、データフロー異
常の検査を実行するデータフロー異常検査手段と、前記
データフロー異常検査手段により発見された、データフ
ロー異常を起こす前記ソースプログラムのパスを表示す
るパス表示手段と、前記パス表示手段により表示された
パスについて、前記ソースプログラムを表示した画面上
で、プログラムの命令実行順序に従って、表示するデー
タフロー異常パス表示手段と、を具備することを特徴と
する。

【０００９】前記データフロー異常パス表示手段は、プ
ログラムの記述順序に従って表示された画面を用いて、
オペレータから所定の指示があるたび毎に、前記命令実
行順序に従って、命令の実行単位で、前記画面上の命令
を一つずつ表示態様を変えて表示することが可能であ
る。また、前記データフロー異常パス表示手段は、所定
の時間間隔で、前記命令実行順序に従って、命令の実行
単位で、一つずつ表示態様を変えて表示することが可能
である。

【００１０】本発明によれば、前記ソースプログラムを
表示した画面上で、前記データフロー異常検査手段によ
り見いだされたデータフロー異常を起こす前記ソースプ
ログラム上のパスを、命令実行順序に従って、順次表示
するデータフロー異常パス表示手段が設けられる。これ
により、プログラマは、どのようなパスを通ったときに
データフロー異常が起こるのかを明確に把握することが
できる。

【００１１】

【発明の実施の形態】以下に図面を参照して、本発明の
実施の形態について説明する。まず、データフロー異常
について簡単に説明する。尚、ここでは、Ｃ言語で記述
されたソースプログラムに基づいて説明するが、他の言
語の場合も同様に考えることができる。

【００１２】一般に、ソースプログラムの中では、デー
タに対して「定義（ｄ）」、「未定義（ｕ）」、「参照
（ｒ）」という三つのイベントが発生しうる。ここで、
「定義（ｄ）」には、データ宣言による明示的な定義、
あるいは、ａ＝ｂの左辺ａに相当する代入式の左辺値と
して現れる定義、ファイルのオープンなどがある。ａ＝
ｂは、左辺の変数ａにｂという値を代入するという意味
である。また、データ宣言による明示的な定義とは、例
えば、Ｃ言語で、「ｉｎｔａ＝３；」というように、
整数型の変数ａに３を初期値として宣言するものであ
る。「未定義（ｕ）」には、参照不可能になった場合あ
るいは内容が不定になった場合がある。「参照（ｒ）」
には、計算の中で参照される場合と述語の中で参照され
る場合がある。

【００１３】すべてのデータは、「定義した上で参照
し、最後に未定義にする」という一連のイベント順序に
従って状態が遷移するように使用しなければならない。
あるデータのフロー（状態の変化）がこの規則に従って
いるかどうかを調べるために、そのデータのある時点で
の状態と、これに対するイベントを組み合わせたものに
分解して考えることができる。このデータの状態とイベ
ントの組み合わせを「基本フロー」と称する。

【００１４】図１は、データフローを状態遷移図として
示した図である。この図で、各ノードは、プログラムに
よって指定されるデータの状態を示し、Ｕは未定義の状
態、Ｄは定義されている状態、Ｒは参照されている状
態、そしてＡはデータフロー異常の状態である。また、
各矢印は、ある状態から別の状態へ遷移するイベントを
示している。尚、「別の状態へ遷移する」といった場合
は、同じ状態に遷移することも含まれている。

【００１５】図１に示すように、未定義状態Ｕにあるデ
ータに対して定義ｄというイベントが発生すると（これ
を基本フロー「Ｕｄ」と書く。以下同様。）、そのデー
タの状態は定義の状態Ｄとなる。未定義の状態Ｕにある
データに対して、参照ｒ又は未定義ｕというイベントが
発生すると（Ｕｒ又はＵｕ）、そのデータはデータフロ
ー異常の状態Ａとなる。また、参照の状態Ｒにあるデー
タに対して、未定義ｕというイベントが発生すると（Ｒ
ｕ）、そのデータの状態は未定義の状態Ｕとなる。参照
の状態Ｒにあるデータに対して、定義ｄというイベント
が発生すると（Ｒｄ）、そのデータの状態は定義の状態
Ｄとなる。参照の状態Ｒに対して、参照ｒというイベン
トが発生すると（Ｒｒ）、そのデータの状態は、参照の
状態Ｒのままである。定義の状態Ｄにあるデータに対し
て、参照ｒというイベントが発生すると（Ｄｒ）、その
データの状態は参照の状態Ｒとなる。定義の状態Ｄにあ
るデータに対して、定義ｄ又は未定義ｕというイベント
が発生すると（Ｄｄ又はＤｕ）、そのデータはデータフ
ロー異常の状態Ａとなる。

【００１６】このように、基本フローは、全部で九種類
存在する。尚、データフロー異常の状態Ａにあるデータ
に対しては、どのようなイベントが発生してもデータフ
ロー異常のままであるが、かかる状態は基本フローには
含めないこととする。上記の九種類の基本フローの中
で、Ｄｒ，Ｕｄ，Ｒｕ，Ｒｒ，Ｒｄの五種類は、正しい
基本フローと考えられる。一方、Ｕｒ，Ｕｕ，Ｄｕ，Ｄ
ｄという四種類は、意味論的に考えたときにデータに対
して不当な組み合わせであり、これらをデータフロー異
常という。例えば、「Ｕｒ」は、ある文で、変数に値が
定義されない状態（未定義の状態）のまま参照されると
いうデータフロー異常を示している。

【００１７】図２は、データフロー異常が起こる実際の
Ｃ言語によるプログラムの一例を示している。尚、図２
では、説明の便宜上、各行の左側に行番号を付してあ
る。図２のプログラムでは、３行目のｉｆ文において条
件分岐があり、ｎが１より大きい場合だけ４行目で変数
ｉに１というデータがセットされ（すなわち定義さ
れ）、６行目において、１がセットされたこのｉがｊに
代入（すなわち「参照」）されている。これにより、変
数ｉは、「定義されている状態（Ｕ）」から「参照され
ている状態（Ｒ）」に移る。これに対して、３行目で、
ｎが１と等しいか又は１より小さい場合には、変数ｉに
は１はセットされないが、６行目で、このデータがセッ
トされていないｉがｊに代入されることになる。これ
は、上記の「Ｕｒ」というデータフロー異常に該当す
る。

【００１８】データフロー異常検査装置を用いてデータ
フロー異常検査を行うと、プログラムに対してデータフ
ロー解析が実行され、まず、プログラムのどの文のどの
変数についてどのような種類の異常があるかが検出され
る。本明細書では、これを「データフロー異常の検出」
という。しかし、これだけだとデータフロー異常が起こ
っている場所が分かるだけである。実際のデバッグ作業
等では、更に、このような異常がどのようなパスを通っ
たときに起こるかが分からなければならない。このた
め、データフロー異常の検査では、プログラムのどのよ
うなパスを通ったときに、そのようなデータフロー異常
が起こるかを併せて調べることが必要となる。本明細書
では、これを「データフロー異常のパスの探索」とい
う。したがって、本実施形態でデータフロー異常の検査
といった場合には、「データフロー異常の検出」と「デ
ータフロー異常のパスの探索」の両方を行う。

【００１９】しかし、このような仕方でデータフロー異
常の検査を行うには、データフロー異常のパスの探索の
際に、プログラム上のパスを一つずつ探さなければなら
ない。例えば、変数に値が定義されないままある文で参
照されるというデータフロー異常が起こった場合、デー
タフロー異常検査装置は、その変数の宣言から、その文
までのすべてのパスを調べて、異常が起こるパスを見つ
け出す。

【００２０】このようにしてデータフロー異常の検査が
なされると、プログラマは、その検査結果に基づいて、
プログラムの修正を行う。このとき、プログラマは、検
査結果を参照しながらプログラムの修正を行うので、検
査結果が参照しやすいか否かによって、プログラム修正
の効率が影響を受ける。そこで、本実施形態のデータフ
ロー異常検査装置は、次のようにしてデータフロー異常
の検査結果を表示する。

【００２１】図３は、本実施形態のデータフロー異常検
査装置の機能ブロック図である。同図において、ソース
プログラム入力部１０は、エディター等で作成されたソ
ースプログラム１を読み込む。データフロー異常検査検
査部１１は、読み込まれたソースプログラム１につい
て、データフロー異常の検査、すなわち「データフロー
異常の検出」と「データフロー異常のパスの探索」を行
う。異常パス行表示部１２は、後述の図５に示す画面上
で、データフロー異常が生じるパスに関連する行をすべ
て表示する。異常パス追跡表示部１３は、後述の図６に
示す画面により、データフロー異常が起こるパスのすべ
ての行を１行ずつ順番に辿ってゆく。尚、本実施形態の
データフロー異常検査装置は、そのためのプログラムが
記憶された記憶媒体２０の内容をコンピュータ２１が読
み込むことによって、コンピュータ２１上で実行される
コンピュータプログラムとして実現される。

【００２２】図４は、データフロー異常の検査を行おう
とするＣ言語で作成されたソースプログラムの一例、図
５は、図４に示すプログラムにおいてデータフロー異常
が起こるパスを行番号で一覧表示した画面を示す図、図
６は、図５に基づいて、実際のソースプログラム上でデ
ータフロー異常が起こるパスを辿るときの様子を示す図
である。

【００２３】図４に示したソースプログラムにおいて、
５行目のｉｆ文で、「ａ＞０」という条件に合致する場
合は、６行目でｉが定義されているので、その後にｉが
参照されたとしも、データフロー異常にはならない。こ
れに対して、５行めのｉｆ文で「ａ＞０」に合致しない
場合には、１１行目のｉｆ文に飛び、ここで、「ａ＜−
１」という条件に合致する場合には、１３行目のｇｏｔ
ｏ文で７行目の「ｌａｂｅｌ」と名付けられた文に飛ぶ
ことになる。この場合、８行目において変数ｊにｉ＋ａ
という値を代入するという命令を実行する。しかし、こ
のような経路を辿ってきたときは、ｉは定義されないで
実行されることになるので、データフロー異常が生じ
る。

【００２４】データフロー異常の検査において、このよ
うなデータフロー異常を起こすパスが発見された場合、
本実施形態のデータフロー異常検査装置では、まず図５
に示すように、データフロー異常となるパス全体の行番
号を表示する。すなわち、図４のソースプログラムの１
行目、３行目、３行目、５行目、１１行目、１２行目、
１３行目、８行目という経路を辿るパスで、データフロ
ー異常が起こっていることを示している。ここで、３行
目が２回出てくるのは、３行目において、２つの変数ｉ
とｊを用いるという宣言がなされているからである。

【００２５】図５に示す例では、データフロー異常を起
こすパスの行番号が１行に収まっているが、データフロ
ー異常を起こすパスが長い場合には、当然、複数行にわ
たって行番号が表示される。また、図４に示すソースプ
ログラムではデータフロー異常が起こるパスが一つしか
ないため、図５では１つのパスの行番号しか表示されな
いが、検査したソースプログラムにおいてデータフロー
異常が起こるパスが複数見いだされた場合には、それぞ
れのパスの行番号が、それぞれのパスを区別できるよう
な態様で、図５の画面上に表示される。

【００２６】図５の場合は、データフロー異常が起こる
パスが一つしかないが、データフロー異常が起こるパス
が複数ある場合には、表示された複数のパスのうちか
ら、希望するパスを一つを選択する。その方法は、画面
上で、希望するパスが表示されている部分をマウスでク
リックして反転表示させ、画面下部の「ｓｅｌｅｃｔ」
ボタンをクリックする。かかる操作によって、図６に示
す画面が現れる。

【００２７】図６に示す画面では、検査の対象となった
図４のソースプログラムが、部分的に色分けされて表示
される。この色分けは、データフロー異常が起こるパス
の先頭行である１行目と最終行である８行目が赤で表示
され（図６では梨地で示す）、当該パスの途中の経路で
ある３行目、５行目、１１行目、１２行目、１３行目が
黄色で表示される（図６では下線で示す）。その他の行
は、通常の色で表示される。このような色分け表示を行
うことにより、ソースプログラムのどの部分でデータフ
ローの異常が起こっているかが一目瞭然となる。

【００２８】しかしながら、データフロー異常が起こる
経路を色分け表示しただけだと、その経路をどういう順
番で辿ったときに異常が起こるのかは、すぐには分から
ない。そこで、図６の画面上部の「Ｔｒａｃｅ」ボタン
をクリックすると、データフロー異常が起こるパスの先
頭の行である１行目が反転表示される。そして、もう一
度「Ｔｒａｃｅ」ボタンをクリックすると、次の３行目
が反転表示される。以下同様にして、「Ｔｒａｃｅ」ボ
タンをクリックする度に、図５に表示されたパスの行番
号の順番で、一つずつ反転表示される。３行目の文には
宣言される変数が二つあるので、図５には３行目が２回
現れる。このため、図６の表示画面において、３行目に
ついては２回のクリックについて続けて３行目が反転表
示される。また、１３行目のｇｏｔｏ文で、７行目の
「ｌａｂｅｌ」に飛んでいるので、このパスの実行順序
は後ろから前へ戻る経路となる。このように行番号の順
番で実行されているのではないということも、「Ｔｒａ
ｃｅ」ボタンを適当な間隔でクリックしてゆくことによ
って、容易に把握できる。

【００２９】このように、マウスで一か所をクリックす
るという動作を連続して行うだけで、データフロー異常
が生じるパスの経路を順番に辿ることができるので、プ
ログラマはデータフロー異常の内容を容易に把握でき、
その結果、プログラム中の必要な部分を修正することが
容易となり、プログラミングの作業効率が向上する。か
かる効果は、特に、規模の大きなプログラムにおいて顕
著となる。

【００３０】尚、本実施形態では、デフォルトで、図６
の画面上部の「Ｔｒａｃｅ」ボタンをクリックするたび
ごとに１行ずつ反転表示する方法としたが、その他に、
プログラマの選択により、一定の時間間隔をおいて自動
的にデータフロー異常を起こすパスの各行を順番に反転
表示させることも可能である。また、この時間間隔を、
プログラマの意思によって変えることができるようにし
てもよい。

【００３１】上記のデータフロー異常を起こすパスを辿
る動作は、一つ一つの命令を単位として行う。この場
合、一つの命令が複数の行にわたって記述されている場
合があるが、本実施形態では、そのような場合であって
も、当該複数行のうちの先頭行だけを反転表示するよう
にしている。但し、これは一例に過ぎず、その命令に関
連する複数にわたる行全体を反転表示するようにしても
よい。

【００３２】また、本実施形態のデータフロー異常検査
装置のプログラムは、例えばソースプログラムの作成に
用いるエディタープログラムに組み込んでおき、必要に
応じてエディターの中から起動できるようにする。これ
により、プログラムの修正作業を、エディターの画面と
データフロー異常検査装置の画面とを簡単な操作で画面
を切り換えながら行うことができる。また、エディター
の中から起動できるようにするメリットとして、現在エ
ディターで表示されているファイルに対して検査がかけ
られるため、新たにファイル名等で指定しなおして検査
ツールを別途起動する必要がなくなることが挙げられ
る。

【００３３】更に、本実施形態では、ソースプログラム
の記述順序で表示した画面上で、パスの実行順序に従っ
て、反転表示するようにしたが、ソースプログラムその
ものを、パスの実行順序に沿って順番に表示するように
してもよい。本発明のデータフロー異常検査装置は、コ
ンピュータプログラムとして実現できるので、当該コン
ピュータプログラムをフロッピーディスクやＣＤ−ＲＯ
Ｍ、光磁気ディスクなどの記録媒体に記録し、コンピュ
ータに読み込ませて実行させることで、コンピュータを
データフロー異常検査装置として機能させることができ
る。

【００３４】尚、本発明は、上記の実施形態に限定され
るものてはなく、その要旨の範囲内で種々の変更が可能
である。

【００３５】

【発明の効果】以上説明したように、本発明によれば、
データフロー異常パス表示手段により、ソースプログラ
ムを表示した画面上で、データフロー異常検査手段によ
り見いだされたデータフロー異常を起こす前記ソースプ
ログラム上のパスを、プログラムの命令実行順序に従っ
て、表示するようにしたことにより、プログラマがソー
スプログラムの修正等を行うときにデータフロー異常検
査の結果の参照がし易くなるため、ソースプログラムの
どういったパスを通ったときにデータフロー異常が起こ
るのかを簡単に把握することができ、その結果、ソース
プログラムのデバッグ等の修正作業が容易となり、プロ
グラム開発の効率を向上させることができるデータフロ
ー異常検査装置を提供することができる。

【図面の簡単な説明】

【図１】ソースプログラムのデータフローを状態遷移図
として示した図である。

【図２】データフロー異常が起こるＣ言語で記載された
実際のプログラムの一例を示した図である。

【図３】本発明の一実施形態であるデータフロー異常検
査装置のブロック図である。

【図４】データフロー異常の検査を行おうとするＣ言語
で作成されたソースプログラムの一例を示す図である。

【図５】図４に示したプログラムにおいてデータフロー
異常が起こるパスを行番号で一覧表示した画面を示す図
である。

【図６】図５に基づいて、実際のソースプログラム上で
データフロー異常が起こるパスを辿るときの画面上の様
子を示す図である。

【符号の説明】

１ソースプログラム１０ソースプログラム入力部１１データフロー異常検査部１２異常パス行表示部１３異常パス追跡表示部２０記録媒体２１コンピュータ

Claims

【特許請求の範囲】

【請求項１】ソースプログラムを読み込むソースプロ
グラム読み込み手段と、前記ソースプログラム読み込み手段により読み込んだソ
ースプログラムに対して、データフロー異常の検査を実
行するデータフロー異常検査手段と、前記ソースプログラムを表示した画面上で、前記データ
フロー異常検査手段により見いだされたデータフロー異
常を起こす前記ソースプログラム上のパスを、プログラ
ムの命令実行順序に従って、表示するデータフロー異常
パス表示手段と、を具備することを特徴とするデータフロー異常検査装
置。
【請求項２】ソースプログラムを読み込むソースプロ
グラム読み込み手段と、前記ソースプログラム読み込み手段により読み込んだソ
ースプログラムに対して、データフロー異常の検査を実
行するデータフロー異常検査手段と、前記データフロー異常検査手段により発見された、デー
タフロー異常を起こす前記ソースプログラムのパスを表
示するパス表示手段と、前記パス表示手段により表示されたパスについて、前記
ソースプログラムを表示した画面上で、プログラムの命
令実行順序に従って、表示するデータフロー異常パス表
示手段と、を具備することを特徴とするデータフロー異常検査装
置。
【請求項３】前記データフロー異常パス表示手段は、
プログラムの記述順序に従って表示された画面を用い
て、オペレータから所定の指示があるたび毎に、前記命
令実行順序に従って、命令の実行単位で、前記画面上の
命令を一つずつ表示態様を変えて表示することを特徴と
する請求項１又は２記載のデータフロー異常検査装置。
【請求項４】前記データフロー異常パス表示手段は、
所定の時間間隔で、前記命令実行順序に従って、命令の
実行単位で、一つずつ表示態様を変えて表示することを
特徴とする請求項１又は２記載のデータフロー異常検査
装置。
【請求項５】コンピュータに、ソースプログラムを読み込むソースプログラム読み込み
機能と、前記ソースプログラム読み込み機能により読み込んだソ
ースプログラムに対して、データフロー異常の検査を実
行するデータフロー異常検査機能と、前記ソースプログラムを表示した画面上で、前記データ
フロー異常検査機能により見いだされたデータフロー異
常を起こす前記ソースプログラム上のパスを、プログラ
ムの命令実行順序に従って、表示するデータフロー異常
パス表示機能と、を実現させるためのプログラムを記録した機械読み取り
可能な記録媒体。
【請求項６】コンピュータに、ソースプログラムを読み込むソースプログラム読み込み
機能と、前記ソースプログラム読み込み機能により読み込んだソ
ースプログラムに対して、データフロー異常の検査を実
行するデータフロー異常検査機能と、前記データフロー異常検査機能により発見された、デー
タフロー異常を起こす前記ソースプログラムのパスを表
示するパス表示機能と、前記パス表示機能により表示されたパスについて、前記
ソースプログラムを表示した画面上で、プログラムの命
令実行順序に従って、表示するデータフロー異常パス表
示機能と、を実現させるプログラムを記録した機械読み取り可能な
記録媒体。