JP2003050722A - プログラム解析システムとプログラム解析方法 - Google Patents

Abstract

(57)【要約】 【課題】 十分にプログラムを解析することができ、か
つ汎用性を有するプログラム解析システム及びプログラ
ム解析方法を提供する。 【解決手段】 プログラムを解析するプログラム解析方
法であって、構造化プログラミング言語により記述され
たプログラムを字句解析してトークン列を生成するステ
ップＳ１と、トークン列を構文解析して、解析木と構文
木を生成するステップＳ２と、解析木に対してＣＦＧを
生成すると共に、構文木に対して第一のＤＦＧを生成す
るステップＳ３と、生成されたＣＦＧの節点に対応する
第二のＤＦＧを生成するステップＳ４と、生成されたＣ
ＦＧと前記第一及び第二のＤＦＧを表示するステップＳ
５とを有することを特徴とするプログラム解析方法を提
供する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、コンピュータに関
するソフトウェア及びハードウェアの開発において利用
されるプログラム解析システム及びプログラム解析方法
に関するものである。

【０００２】

【従来の技術】近年においては、コンピュータハードウ
ェアの高機能化により、高速で複雑な処理を要求するソ
フトウェアを該ハードウェア上で実行可能になってきて
いる。このため、ソフトウェア開発は従来のアセンブラ
言語等に代表される低水準言語から、Ｃ言語等の手続き
型言語やＣ＋＋及びJava（登録商標）等のオブジェクト
指向言語によって開発されるようになっている。また、
近年のソフトウェア開発においては、ソフトウェアが大
規模化しているため、コーディングを複数の開発者が分
担して、個々の開発者により作成されたサブモジュール
を組み合わせる手法が一般的になっている。このため、
他の設計者により作成されたプログラムを容易に解読し
たいといった要求が高まっている。

【０００３】ここで、従来においては、特開平10−2141
80号公報に示されるように、オブジェクト指向言語によ
り記述されたプログラムに示された処理手順を視覚的に
表現する手法が提案されている。すなわち、このような
手法により、例えば図１１に示されたソースコードに対
応して、図１２に示されるような表記図が生成される。

【０００４】しかしながら、上記手法においては、図１
２に示されるように、クラス及び関数等のデータ処理単
位間における関係を表記するが、該データ処理単位内に
おける演算子同士の依存関係などといった処理の詳細に
ついてまで表記しないため、ソフトウェアやハードウェ
アの開発に必要とされる程度まで十分にプログラムの解
析を行えないという問題があった。

【０００５】また、上記手法では、解析対象とするプロ
グラミング言語がオブジェクト指向言語に特化されてい
るため、十分な汎用性を有しないといった問題がある。

【０００６】

【発明が解決しようとする課題】本発明は上記のような
問題を解消するためになされたもので、ソフトウェアや
ハードウェアの開発に必要な程度まで十分にプログラム
を解析することができ、かつ汎用性を有するプログラム
解析システム及びプログラム解析方法を提供することを
目的とする。

【０００７】

【課題を解決するための手段】本発明の目的は、プログ
ラムを解析するプログラム解析システムであって、構造
化プログラミング言語により記述されたプログラムをデ
ータ処理単位に分割し、データ処理単位間における相互
関係、及び各々のデータ処理単位内におけるデータの処
理手順を画像により表示する解析手段を備えたことを特
徴とするプログラム解析システムを提供することにより
達成される。

【０００８】このような手段によれば、構造化プログラ
ミング言語により記述されたプログラムに関して、デー
タ処理単位相互の関係のみならず、該データ処理単位内
における処理手順まで容易に解析することができる。こ
こで、より具体的には、上記解析手段は、プログラムを
字句解析してトークン列を生成し、トークン列より構文
木及び解析木を生成するものとすることができ、さら
に、データ処理単位の相互依存関係を示すコントロール
フローグラフやデータ処理単位内におけるデータの処理
の相互依存関係を示すデータフローグラフを生成するも
のとすることができる。

【０００９】このような手段によれば、構造化プログラ
ミング言語により記述されたプログラムを、人間にとっ
て理解し易いような画像により表現することができる。

【００１０】また、解析手段はメモリを含み、コントロ
ールフローグラフの節点を特定する情報と、節点に対応
して関連付けられたデータフローグラフをメモリへ格納
し、ユーザにより節点が選択されたときは、選択された
節点に関連付けられつつメモリに格納されたデータフロ
ーグラフを表示するものとすれば、コントロールフロー
グラフと対応するデータフローグラフとを必要に応じて
容易に参照することができる。また、本発明の目的は、
プログラムを解析するプログラム解析方法であって、構
造化プログラミング言語により記述されたプログラムを
字句解析してトークン列を生成するステップと、トーク
ン列を構文解析して、解析木と構文木を生成するステッ
プと、解析木に対してコントロールフローグラフを生成
すると共に、構文木に対して第一のデータフローグラフ
を生成するステップと、生成されたコントロールフロー
グラフの節点に対応する第二のデータフローグラフを生
成するステップと、生成されたコントロールフローグラ
フと第一及び第二のデータフローグラフを表示するステ
ップとを有することを特徴とするプログラム解析方法を
提供することにより達成される。

【００１１】このような手段によれば、構造化プログラ
ミング言語により記述されたプログラムを、データ処理
単位相互の関係のみならず、該データ処理単位内におけ
る処理手順まで明瞭に表示することができる。

【００１２】

【発明の実施の形態】以下において、本発明の実施の形
態を図面を参照しつつ詳しく説明する。なお、図中同一
符号は同一または相当部分を示す。

【００１３】図１は、本発明の実施の形態に係るプログ
ラム解析システムの構成を示す図である。図１に示され
るように、本実施の形態に係るプログラム解析システム
は、メモリ１とバス２、ＣＰＵ３、入力装置５、及び表
示装置７を備えたものである。ここで、メモリ１とＣＰ
Ｕ３、入力装置５及び表示装置７はそれぞれバス２に接
続される。

【００１４】そして、メモリ１には、後述する字句解析
や構文解析、コントロールフローグラフ（ＣＦＧ）及び
データフローグラフ（ＤＦＧ）の生成と表示を実行する
ためのプログラム、及び解析対象とされるプログラムが
予め格納される。

【００１５】なお、「ＣＦＧ」とは関数節点と条件分岐
節点、及びループ節点という三種類の節点と、該節点相
互間の関係を示す枝とによってデータ処理の手順を視覚
的に示すグラフ、「ＤＦＧ」とは演算と変数、命令文、
ラベル、関数呼び出し、ループ、及び条件分岐を表す節
点と、該演算の依存関係を表す枝とによってデータ処理
の手順を視覚的に示すグラフを意味する。

【００１６】以下において、上記のような構成を有する
本発明の実施の形態に係るプログラム解析システムの動
作を説明する。

【００１７】図２は、本プログラム解析システムの動作
を説明するフローチャートである。図２に示されるよう
に、まずステップＳ１において、ＣＰＵ３はメモリ１に
格納された所定のプログラムを実行することによって、
メモリ１に格納された解析対象とするプログラム（以下
においては、「動作記述」ともいう。）を字句解析し、
トークン列を生成する。なお、以下においてはＣ言語に
よるプログラムを動作記述の例として説明する。また、
上記において「トークン列」とは、プログラミング言語
の予約語や演算子、識別子、括弧、区切り文字等として
予め定義された文字列をいう。

【００１８】ＣＰＵ３は、ステップＳ１においてメモリ
１から読み出した動作記述を予め定義された文字列と順
次比較することによって、トークン列を生成する。な
お、動作記述に付記されたコメントは、この字句解析時
に削除するようにしても良い。また、ＣＰＵ３は認識で
きない字句を読み出した場合には、該字句解析を中断し
て表示装置７に「字句エラー」と表示する。

【００１９】ここで例えば、ＣＰＵ３は、図３に示され
た動作記述をスペース文字（スペース、タブ、改行）及
び区切り文字（括弧、句読点、セミコロン、コロン）に
よって区切り、図４に示されたようにトークン列に分解
する。なおこのとき、動作記述に含まれたスペース文字
はトークン列として保持されることなく削除される。

【００２０】そしてＣＰＵ３は、上記のような方法によ
り生成したトークン列をメモリ１へ格納する。

【００２１】次に、ステップＳ２において、ＣＰＵ３は
メモリ１に格納された所定のプログラムを実行すること
によって、メモリ１に格納された上記トークン列を構文
解析し、解析木と構文木を生成する。

【００２２】ＣＰＵ３は読み出したトークン列に構文上
のエラーを見出した場合には、該構文解析を中断して表
示装置７に「構文エラー」と表示する。

【００２３】ここで例えば、ＣＰＵ３は、図４に示され
たトークン列をＣ言語の構文に従って、図５に示される
ように解析木に変換する。なおこのとき、ＣＰＵ３は各
節点を「int」や「if」などと表記される識別子と、他
の節点への参照先を保持するブロックとから構成する。

【００２４】また、ＣＰＵ３はＣ言語における構文の定
義や演算優先順位に応じて、図６に示されるような構文
木を生成する。なお、図６は図３に示された（式１）を
構文木に変換した例である。ＣＰＵ３は、図６に示され
るように、優先順位が最も高い演算を葉節点（葉ノー
ド）とし、優先順位が最も低い演算を根節点（根ノー
ド）として構文木を構成し、各節点は識別子及び他の節
点への参照先を保持するブロックから構成する。

【００２５】そしてＣＰＵ３は、上記のような方法によ
り生成した解析木と構文木とをメモリ１へ格納する。

【００２６】次に、図２に示されたステップＳ３におい
て、ＣＰＵ３はまず最初に、メモリ１に格納された所定
のプログラムを実行することによってメモリ１に格納さ
れた上記解析木を入力し、ＣＦＧに変換する。ここで、
ＣＰＵ３は、解析木を根節点から順に探索し、探索され
た節点が関数本体や分岐あるいはループ処理のいずれか
である場合に、対応するＣＦＧの節点をＣＦＧに追加す
る。以下において、このような該ＣＦＧへの変換方法
を、図７に示されたフローチャートを参照しつつ具体的
に説明する。なお、以下の方法はＣＰＵ３により実行さ
れる。

【００２７】ステップＳ１において、ＣＰＵ３は、図５
に示されるように、まず解析木の最初のブロックをＣＦ
Ｇの初期節点（節点ブロックＢｐｔ）として初期化する
と共に、該節点ブロックＢｐｔを含む節点を他の節点に
対する接続先とすべく根節点Ｎｃｐとして設定する。

【００２８】次に、ステップＳ２において、解析木の中
に未処理ブロックがないか否かを判断し、ない場合には
ＣＦＧの生成動作を終了し、ある場合にはステップＳ３
へ進む。ステップＳ３では、節点ブロックＢｐｔの参照
先Ｐｐｔが関数であるか否かを判断し、関数である場合
にはステップＳ４へ進むと共に、関数でない場合にはス
テップＳ２０へ進む。

【００２９】ステップＳ２０では、外部変数やプロトタ
イプの型、識別子、引数を根節点Ｎｃｐの情報として登
録し、節点ブロックＢｐｔを次の未処理ブロックへ移動
させると共に、ステップＳ２へ戻る。一方、ステップＳ
４では、図５に示されるように階層的に節点Ｎｃを生成
し（create(Nc)）、ステップＳ５において該節点Ｎｃを
上記根節点Ｎｃｐに子節点として接続する。

【００３０】次に、ステップＳ６では節点ブロックＢｐ
ｔを特定する情報をメモリ１の所定領域に格納し（push
(Bpt)）、ステップＳ７において該関数の型や識別子を
節点Ｎｃの情報として登録する。そして、ＣＰＵ３は指
定する節点ブロックＢｐｔを次の未処理ブロックへ移動
させる。

【００３１】ステップＳ８では、参照先Ｐｐｔが引数で
あるか否か判断し、引数であると判断された場合にはス
テップＳ３０へ進み、引数でないと判断された場合には
ステップＳ９へ進む。ここで、ステップＳ３０では、該
引数の型や識別子を上記節点Ｎｃの情報として登録す
る。なお、このときＣＰＵ３は指定する節点ブロックＢ
ｐｔをさらに次の未処理ブロックへ移動させ、ステップ
Ｓ８へ戻る。

【００３２】ステップＳ９では、参照先Ｐｐｔが位置す
る節点の先頭ブロックを節点ブロックＢｐｔとし、ステ
ップＳ１０において未処理ブロックがないか否かを判断
する。そして、未処理ブロックがあると判断した場合に
はステップＳ１１へ進むと共に、未処理ブロックがない
と判断した場合にはステップＳ４０へ進む。

【００３３】ステップＳ４０では、根節点Ｎｃｐについ
てメモリ１内にスタックされた情報が空であるか否かを
判断し、空であると判断した場合にはステップＳ４１へ
進み、空でないと判断した場合にはステップＳ５０へ進
む。このとき、ステップＳ４１で元の根節点Ｎｃｐへ戻
り、ステップＳ２へ進む一方、ステップＳ５０では根節
点Ｎｃｐの情報として最後に登録された情報を読み出し
（pop(Nｃｐ)）、かつ節点Ｎｃの情報として最後に登録
された情報を読み出し（pop(Ｎｃ)）、さらに節点ブロ
ックＢｐｔの情報として最後に登録された情報を読み出
す（pop(Ｂｐｔ)）。なお、このような処理を実行した
ＣＰＵ３は、後述するステップＳ１１の処理へ進む。

【００３４】ステップＳ１１では、参照先Ｐｐｔが変数
（変数宣言）であるか否か判断し、変数であると判断さ
れた場合にはステップＳ６０へ進み、変数でないと判断
された場合にはステップＳ１２へ進む。ここで、ステッ
プＳ６０では、該変数を上記節点Ｎｃの情報として登録
する。なお、このときＣＰＵ３は指定する節点ブロック
Ｂｐｔをさらに次の未処理ブロックへ移動させ、ステッ
プＳ１１へ戻る。

【００３５】また、ステップＳ１２では、参照先Ｐｐｔ
が分岐命令であるか否か判断し、分岐命令であると判断
された場合にはステップＳ１５へ進み、分岐命令でない
と判断された場合にはステップＳ１３へ進む。

【００３６】ステップＳ１５では、根節点Ｎｃｐを特定
する情報をメモリ１の第一領域にスタック（順に格納）
すると共に、最後に作成した節点Ｎｃを特定する情報を
メモリ１の第二領域にスタックし、さらに節点ブロック
Ｂｐｔを特定する情報をメモリ１の第三領域にスタック
する。

【００３７】そして、ステップＳ１６においては、上記
第二領域へ最後に格納された節点Ｎｃを新たな根節点Ｎ
ｃｐとして設定する。その後、ステップＳ１７で節点Ｎ
ｃを生成し、ステップＳ１８において該節点Ｎｃを子節
点として上記根節点Ｎｃｐに接続する。なお、このよう
な動作を終えた後は、ステップＳ９へ戻る。

【００３８】一方、ステップＳ１３では、参照先Ｐｐｔ
がループ命令であるか否か判断し、ループ命令であると
判断された場合にはステップＳ１５へ進み、ループ命令
でないと判断された場合にはステップＳ１４へ進む。ス
テップＳ１４では、該参照先Ｐｐｔのループ命令を節点
Ｎｃの情報として登録し、ステップＳ１２へ戻る。

【００３９】以上が、本実施の形態における解析木のＣ
ＦＧへの変換方法であるが、上記においてＣＦＧの各節
点は、その作成時に型や識別子、引数の型及び識別子、
条件式、内部処理に関する情報のうち、各節点において
保持できるものを例えばメンバといった節点に付随する
情報として保持する。そして、これらのメンバは、トー
クン列やトークン列の先頭アドレス、解析木の節点、解
析木の節点の先頭アドレス、該アドレスが一意に定まる
インデックスのいずれであっても良い。

【００４０】次に、図２に示されたステップＳ３におけ
る構文木からのＤＦＧの生成、及び同じく図２に示され
たステップＳ４に示されたＣＦＧの節点に対応するＤＦ
Ｇの生成について説明する。ＣＰＵ３はＣＦＧの節点一
つに対応してＤＦＧを一つ以上生成するが、このときＣ
ＰＵ３はＤＦＧ生成時に、ＤＦＧを表す情報をメンバな
どＣＦＧの節点に付随する情報としてメモリ１へ保持す
る。なお、このＤＦＧを表す情報は、例えばＤＦＧ根節
点のアドレス等とされる。

【００４１】また、ＤＦＧの生成において、ループや条
件分岐の節点では内部処理をＤＦＧで構成する必要がな
く、ＣＰＵ３は対応するＣＦＧの節点又はＤＦＧが一意
に定まる情報を上記メンバ等の節点に付随する情報とし
てメモリ１に保持する。なおＤＦＧの節点は、例えばイ
ンデックスやＣＦＧを示すアドレス等からなる該情報が
メンバとして関連付けられる。

【００４２】ここで、図８に動作記述と該動作記述に対
応して生成されたＤＦＧの例が示される。ＣＰＵ３はＤ
ＦＧの節点に対応させて、変数又は他の節点との接続情
報をメモリ１へ格納する。また、図８に示されるよう
に、演算式に対応したＤＦＧは上記の構文木と同様な形
態に生成される。すなわち例えば、図８に示されたＸ＝
（ａ＋ｂ）＊ｃという演算を実行する場合には、加算の
対象とされる変数ａと変数ｂがそれぞれ該加算節点ＮＤ
Ａに接続されると共に、該加算節点ＮＤＡが乗算節点Ｎ
ＤＭに接続される。また、変数ｃが乗算節点ＮＤＭに接
続され、乗算節点ＮＤＭ及び変数ｘはそれぞれイコール
節点ＮＤＥに接続される。

【００４３】なお、このような表記は、呼び出される関
数のＣＦＧ及びＤＦＧを先に生成し、若しくは、呼び出
される関数に対応する部分を解析木や構文木から順次生
成する方法により得ることができる。

【００４４】また、上記の加算節点や乗算節点等の関数
呼び出し節点を作成することなく、字句解析前に該演算
についての動作記述を全動作記述に組み込み（インライ
ン展開）、その後該全動作記述を図式化するようにして
も良い。

【００４５】さらに、ＤＦＧは全ての節点同士が直接的
又は間接的に接続されている必要は無く、実行する節点
の順序が一意に定まっていればよい。すなわち例えば、
図８に示されたfor文に対応する節点とbreak文に対応す
る節点は互いに枝によって接続される必要は無く、節点
の情報が格納されているメモリ１の番地をＣＰＵ３が比
較すること等により、実行順序が定められるようにして
も良い。

【００４６】次に、図２に示されるように、ＣＰＵ３は
ステップＳ５において、上記のように生成されたＣＦＧ
及びＤＦＧを表示装置７に表示させる。より具体的に
は、ＣＰＵ３は上記のような方法により生成されたＣＦ
Ｇを表示装置７に表示するコンポーネントに関連付け、
ＣＦＧ表示用のフレームに表示する。ここで、例えば関
数の節点と分岐及びループに対して、それぞれ図９
（１）から図９（３）に示されるような表示コンポーネ
ントが関連付けられ、図１０に示されるように、動作記
述に含まれるＣＦＧの各節点がこれらの表示コンポーネ
ントにより表記される。

【００４７】なお、上記表示コンポーネントとしては、
条件分岐とループに対応するコンポーネントがあればよ
く、たとえ関数が文法上存在する言語であっても、存在
する全ての関数を字句解析前にインライン展開すること
により、関数に対応したコンポーネントは必要とされな
い。すなわち、本実施の形態に係るプログラム解析装置
は、関数用のコードを含まない動作記述も解析すること
ができる。

【００４８】上記において各表示コンポーネントは、Ｃ
ＰＵ３により対応するＣＦＧの節点に関する情報に関連
付けられる。これによって、入力装置５でコンポーネン
トを選択すると、ＣＰＵ３により対応するＣＦＧの節点
が一意に定められると共に、該ＣＦＧに付随する情報が
表示装置７に表示される。

【００４９】またＣＰＵ３は、上記のＣＦＧ生成時に各
節点に対応してメモリ１に保持される型や識別子、引数
の型、及び識別子や条件式、あるいは内部処理に関する
情報から各ＣＦＧ節点に対応する動作記述のトークン列
をメモリ１から読み出し、該トークン列をスペース文字
で区切った文字列を生成することにより、ＣＦＧの各節
点に対応する動作記述を表示装置７に表示する機能を有
するものとすることができる。

【００５０】なおこのとき、ＣＰＵ３が各トークンとプ
ログラム言語の予約語とを比較することにより、表示装
置７において例えば該予約語のみ色を変えて表示するよ
うにしても良い。

【００５１】また、ＣＰＵ３は上記のように、ＣＦＧの
各節点に対応させつつＤＦＧ生成時に得られたＤＦＧの
情報をメモリ１に格納する。これより例えば、ＣＰＵ３
は、ＣＦＧの節点に関連付けられたＤＦＧの情報をもと
に、各ＣＦＧの節点に対応するＤＦＧを表示装置７に表
示することができる。なお、この場合における表示形式
は、節点の種類や実行順序、あるいは節点相互の依存関
係といった情報を表すことができる形式であれば足り
る。

【００５２】また、ＣＰＵ３は、ＣＦＧの節点に関連付
けられたＤＦＧの情報から、例えば各ＣＦＧの節点に対
応する処理内に含まれた演算や命令、あるいは変数の数
や種類を算出し、表示装置７に表示することもできる。
なお、このときＣＰＵ３は、例えばＤＦＧのメンバのう
ち算出対象に相当するデータのみをカウントすることに
より、上記数や種類を算出する。また、ＤＦＧの各節点
同士が直接的又は間接的に枝により接続されている場合
には、ＤＦＧを根節点から探索することにより該数や種
類を探索することもできる。

【００５３】表示装置７上においては、例えば表示画面
を３つのフレームに分割し、第一フレームでＣＦＧを表
示し、第二フレームで動作記述を表示し、第三フレーム
でＤＦＧを表示することができる。このような表示方法
によれば、動作記述により表された処理同士の依存関係
や処理内容を視覚的に容易に理解できるよう表示させる
ことができる。

【００５４】また、ＣＰＵ３はＣＦＧを表示するフレー
ム上でＣＦＧの節点を選択できる表示形式にして、該Ｃ
ＦＧの節点が選択されたとき、該節点が保持するＤＦＧ
や動作記述、及び変数や演算、命令の種類や個数に対応
するメンバにアクセスすることにより、該節点に対応す
る各々の情報を他のフレームに表示することができる。

【００５５】以上のように、本実施の形態に係るプログ
ラム解析システムは、構造化プログラム言語の動作記述
を解析し、該動作記述により表された処理を条件分岐、
ループ、関数を表すブロックに分割し、各ブロック同士
の依存関係及びブロック内の演算及び命令文をＧＵＩ
（Graphical User Interface）上に視覚的に表現するも
のである。そして、主として以下の四つの特徴を有する
システムとされる。

【００５６】まず第一に、ＣＰＵ３は、予めメモリ１に
格納されたプログラムを実行することによって、構造化
プログラミング言語による動作記述から分岐処理、ルー
プ処理、関数といった処理単位を抽出してグラフ化し、
表示装置７に表示する。

【００５７】また、二つ目の特徴として、ＣＰＵ３は、
各処理単位内の演算や命令を動作記述及び変数、演算、
命令の種類や数といった形式で表示装置７に表示する。

【００５８】また、三つ目の特徴として、ＣＰＵ３は、
動作記述に表された処理内容を異なる複数の形式で表示
装置７上に同時に表示することができる。

【００５９】さらに、四つ目の特徴として、ＣＰＵ３
は、ユーザに対して表示装置７上でＣＦＧの節点を任意
に選択できるようにし、ＣＦＧと共に選択されたＣＦＧ
の節点に対応するＤＦＧや動作記述及び演算や変数、命
令の種類や個数を同時に表示することができる。

【００６０】以上より、本発明の実施の形態に係るプロ
グラム解析システム及びプログラム解析方法によれば、
構造化プログラミング言語による動作記述（プログラ
ム）において、実行時間を要する部分の検証や、かかる
部分をハードウェアにより実現するために必要とされる
回路等を容易に解析できるため、ソフトウェア／ハード
ウェア分割などの作業を簡易化して、ソフトウェア及び
ハードウェア相互の開発を促進することができる。

【００６１】また、該動作記述に表された処理全体の流
れと、選択された処理単位内の流れを同時に表示するこ
とにより、一部の処理の抽出や、検証対象とされる処理
の処理全体における位置付けの把握などを容易に実現す
ることができる。

【００６２】

【発明の効果】本発明に係るプログラム解析システム及
びプログラム解析方法によれば、構造化プログラミング
言語により記述されたプログラムに関して、データ処理
単位相互の関係のみならず、該データ処理単位内におけ
る処理手順まで容易に解析することができるため、ソフ
トウェア開発、及びプログラム解析の必要なハードウェ
ア開発を有効に促進することができる。

【図面の簡単な説明】

【図1】本発明の実施の形態に係るプログラム解析シス
テムの構成を示すブロック図である。

【図２】図１に示されたプログラム解析システムの動作
を示すフローチャートである。

【図３】動作記述の例を示すプログラムである。

【図４】図３に示されたプログラムに対応するトークン
列を示す図である。

【図５】図３に示されたプログラムに対応する解析木を
示す図である。

【図６】図３に示された式１に対応する構文木を示す図
である。

【図７】ＣＦＧの生成方法を示すフローチャートであ
る。

【図８】動作記述とＤＦＧとの関係を示す図である。

【図９】表示コンポーネントの例を示す図である。

【図１０】動作記述と図９に示された表示コンポーネン
トとの関係を示す図である。

【図１１】ソースコードの例を示す図である。

【図１２】図１１に示されたソースコードに対応して作
成された従来の表記図である。

【符号の説明】

１ メモリ、２ バス、３ ＣＰＵ、５ 入力装置、７
表示装置。

Claims (6)

【特許請求の範囲】
1. 【請求項１】 プログラムを解析するプログラム解析シ
   ステムであって、 構造化プログラミング言語により記述されたプログラム
   をデータ処理単位に分割し、前記データ処理単位間にお
   ける相互関係、及び各々の前記データ処理単位内におけ
   るデータの処理手順を画像により表示する解析手段を備
   えたことを特徴とするプログラム解析システム。
2. 【請求項２】 前記解析手段は、前記プログラムを字句
   解析してトークン列を生成し、前記トークン列より構文
   木及び解析木を生成する請求項１に記載のプログラム解
   析システム。
3. 【請求項３】 前記解析手段は、前記データ処理単位の
   相互依存関係を示すコントロールフローグラフを生成す
   る請求項１に記載のプログラム解析システム。
4. 【請求項４】 前記解析手段は、前記データ処理単位内
   におけるデータの処理の相互依存関係を示すデータフロ
   ーグラフを生成する請求項１から３のいずれかに記載の
   プログラム解析システム。
5. 【請求項５】 前記解析手段はメモリを含み、 前記コントロールフローグラフの節点を特定する情報
   と、前記節点に対応して関連付けられた前記データフロ
   ーグラフを前記メモリへ格納し、ユーザにより前記節点
   が選択されたときは、選択された前記節点に関連付けら
   れつつ前記メモリに格納された前記データフローグラフ
   を表示する請求項４に記載のプログラム解析システム。
6. 【請求項６】 プログラムを解析するプログラム解析方
   法であって、 構造化プログラミング言語により記述されたプログラム
   を字句解析してトークン列を生成するステップと、 前記トークン列を構文解析して、解析木と構文木を生成
   するステップと、 前記解析木に対してコントロールフローグラフを生成す
   ると共に、前記構文木に対して第一のデータフローグラ
   フを生成するステップと、 生成された前記コントロールフローグラフの節点に対応
   する第二のデータフローグラフを生成するステップと、 生成された前記コントロールフローグラフと前記第一及
   び第二のデータフローグラフを表示するステップとを有
   することを特徴とするプログラム解析方法。