JPH05181652A - プログラムリバース装置 - Google Patents
プログラムリバース装置Info
- Publication number
- JPH05181652A JPH05181652A JP4000696A JP69692A JPH05181652A JP H05181652 A JPH05181652 A JP H05181652A JP 4000696 A JP4000696 A JP 4000696A JP 69692 A JP69692 A JP 69692A JP H05181652 A JPH05181652 A JP H05181652A
- Authority
- JP
- Japan
- Prior art keywords
- module
- data flow
- data
- outputting
- source program
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Stored Programmes (AREA)
Abstract
(57)【要約】
【目的】 ソースプログラムからモジュール関係とデー
タフローのうち、特定の領域固有な部分に関連した情報
を抽出し、それに対して問い合わせることができる機能
を有するプログラムリバース装置を提供する。 【構成】 本発明のプログラムリバース装置は、ソース
プログラムを構文解析し構文解析木を出力する構文解析
手段１と、ソースプログラムに対して注目する領域固有
の視点を格納した領域知識格納手段３と、構文解析木と
領域知識格納手段を用いてモジュール階層関係を出力す
るモジュール関係解析手段２と、構文解析木からデータ
フローを出力するデータフロー解析手段４と、問い合わ
せ文を与えると、モジュール階層関係とデータフローを
参照して問い合わせ結果を出力する問い合わせ手段５と
から構成される。
タフローのうち、特定の領域固有な部分に関連した情報
を抽出し、それに対して問い合わせることができる機能
を有するプログラムリバース装置を提供する。 【構成】 本発明のプログラムリバース装置は、ソース
プログラムを構文解析し構文解析木を出力する構文解析
手段１と、ソースプログラムに対して注目する領域固有
の視点を格納した領域知識格納手段３と、構文解析木と
領域知識格納手段を用いてモジュール階層関係を出力す
るモジュール関係解析手段２と、構文解析木からデータ
フローを出力するデータフロー解析手段４と、問い合わ
せ文を与えると、モジュール階層関係とデータフローを
参照して問い合わせ結果を出力する問い合わせ手段５と
から構成される。
Description
【０００１】
【産業上の利用分野】本発明はプログラムリバース装置
に関する。
に関する。
【０００２】
【従来の技術】近年、既存のソフトウェアを新規開発す
るよりも保守改造する要求が急速に増大している。ソフ
トウェア開発者と管理者は異なることが多いので、ドキ
ュメントが不備・標準化されず、ベテラン技術者が長期
間担当することになる。また、企業環境の変化が激し
く、これに応じてソフトウェアに対する緊急の修正要求
が多いなどの問題が顕在化している。
るよりも保守改造する要求が急速に増大している。ソフ
トウェア開発者と管理者は異なることが多いので、ドキ
ュメントが不備・標準化されず、ベテラン技術者が長期
間担当することになる。また、企業環境の変化が激し
く、これに応じてソフトウェアに対する緊急の修正要求
が多いなどの問題が顕在化している。
【０００３】保守改造を行うためには、まず対象となる
ソフトウェアから修正に必要な情報を抽出する必要があ
る。この抽出作業は従来人手で行われていたが、対象と
なるソフトウェアが大規模化，複雑化すると人手では抽
出作業に対処することが難しい。
ソフトウェアから修正に必要な情報を抽出する必要があ
る。この抽出作業は従来人手で行われていたが、対象と
なるソフトウェアが大規模化，複雑化すると人手では抽
出作業に対処することが難しい。
【０００４】計算機を用いて、ソースプログラムからよ
り高レベルの情報を抽出することを支援する技術は、
「プログラムリバース」技術と呼ばれている。従来のプ
ログラムリバース装置の一例を図３に示す。プログラム
リバース装置は、ある特定のプログラミング言語で記述
されたソースプログラムを構文解析し構文解析木を出力
する構文解析手段２１と、構文解析木からモジュール階
層関係を解析するモジュール関係解析手段２２と、構文
解析木から制御フローを解析する制御フロー解析手段２
３と、問い合わせ文を与えると、モジュール階層関係と
制御フローを参照して問い合わせ結果を出力する問い合
わせ手段２４とから構成されている。
り高レベルの情報を抽出することを支援する技術は、
「プログラムリバース」技術と呼ばれている。従来のプ
ログラムリバース装置の一例を図３に示す。プログラム
リバース装置は、ある特定のプログラミング言語で記述
されたソースプログラムを構文解析し構文解析木を出力
する構文解析手段２１と、構文解析木からモジュール階
層関係を解析するモジュール関係解析手段２２と、構文
解析木から制御フローを解析する制御フロー解析手段２
３と、問い合わせ文を与えると、モジュール階層関係と
制御フローを参照して問い合わせ結果を出力する問い合
わせ手段２４とから構成されている。
【０００５】
【発明が解決しようとする課題】まず、ソースプログラ
ムの中でプログラミング言語本来の機能の実現している
部分を領域独立の部分、ある特定のライブラリ変数，ラ
イブラリモジュールを用いている部分を領域固有の部分
と呼ぶことにする。例えば、画面上に部品を配置するプ
ログラムは、画面上に部品を配置するライブラリモジュ
ール，ライブラリ変数を用いて実現されている。プログ
ラムのうち、ライブラリモジュールを用いずに数値計算
を行う部分は領域独立の部分であり、ライブラリモジュ
ールを用いて画面を生成するモジュールは領域固有の部
分である。
ムの中でプログラミング言語本来の機能の実現している
部分を領域独立の部分、ある特定のライブラリ変数，ラ
イブラリモジュールを用いている部分を領域固有の部分
と呼ぶことにする。例えば、画面上に部品を配置するプ
ログラムは、画面上に部品を配置するライブラリモジュ
ール，ライブラリ変数を用いて実現されている。プログ
ラムのうち、ライブラリモジュールを用いずに数値計算
を行う部分は領域独立の部分であり、ライブラリモジュ
ールを用いて画面を生成するモジュールは領域固有の部
分である。
【０００６】上述した従来の技術は、ある特定のプログ
ラミング言語で記述されたソースプログラムに関して領
域固有の部分を特別に扱わない。すなわち、ソースプロ
グラムを与えるとモジュール関係に関する情報と制御フ
ローに関する情報を選別なく出力する。
ラミング言語で記述されたソースプログラムに関して領
域固有の部分を特別に扱わない。すなわち、ソースプロ
グラムを与えるとモジュール関係に関する情報と制御フ
ローに関する情報を選別なく出力する。
【０００７】しかし、このような技術には次のような問
題点がある。まず、利用者の目的はある特定の情報を抽
出することであるが、従来の技術には領域知識が含まれ
ない。よって、利用者は、プログラムリバース装置が出
力した情報から、領域固有の部分を選別しなければなら
なかった。例えば、画面上に部品を配置するプログラム
では、画面上に部品を配置するライブラリを用いている
部分を利用者が選別しなければならなかった。これは、
規模の大きなプログラムをリバースするとリバースされ
た情報が膨大になり深刻な問題となる。
題点がある。まず、利用者の目的はある特定の情報を抽
出することであるが、従来の技術には領域知識が含まれ
ない。よって、利用者は、プログラムリバース装置が出
力した情報から、領域固有の部分を選別しなければなら
なかった。例えば、画面上に部品を配置するプログラム
では、画面上に部品を配置するライブラリを用いている
部分を利用者が選別しなければならなかった。これは、
規模の大きなプログラムをリバースするとリバースされ
た情報が膨大になり深刻な問題となる。
【０００８】また、通常の手続き型プログラミング言語
では、構文要素は、関数・手続きなどのモジュールに関
する部分，分岐文，繰り返し文などの制御フローに関す
る部分，変数宣言文・代入文などのデータフローに関す
る部分の３つに大別できる。従来の方法が扱うのはこの
うちモジュールに関する部分と制御フローに関する部分
であり、データフローに関する情報を扱っていない。し
かし、領域固有の情報はライブラリ変数，ライブラリモ
ジュールに関係するのでデータフローに関する情報は扱
わなければならない。例えば、画面上に部品を配置する
プログラムでは、画面情報が格納された変数を追跡する
といった機能はデータフローに関する部分を用いて実現
される。
では、構文要素は、関数・手続きなどのモジュールに関
する部分，分岐文，繰り返し文などの制御フローに関す
る部分，変数宣言文・代入文などのデータフローに関す
る部分の３つに大別できる。従来の方法が扱うのはこの
うちモジュールに関する部分と制御フローに関する部分
であり、データフローに関する情報を扱っていない。し
かし、領域固有の情報はライブラリ変数，ライブラリモ
ジュールに関係するのでデータフローに関する情報は扱
わなければならない。例えば、画面上に部品を配置する
プログラムでは、画面情報が格納された変数を追跡する
といった機能はデータフローに関する部分を用いて実現
される。
【０００９】本発明の目的は、ソースプログラムからモ
ジュール関係とデータフローのうちある領域固有な部分
に関連した情報を出力する機能を有するプログラムリバ
ース装置を提供することにある。
ジュール関係とデータフローのうちある領域固有な部分
に関連した情報を出力する機能を有するプログラムリバ
ース装置を提供することにある。
【００１０】
【課題を解決するための手段】第１の発明のプログラム
リバース装置は、ソースプログラムを構文解析し構文解
析木を出力する構文解析手段と、前記ソースプログラム
に対して注目する領域固有の視点を格納した領域知識格
納手段と、前記構文解析木と前記領域知識格納手段を用
いてモジュール階層関係を出力するモジュール関係解析
手段と、前記構文解析木からデータフローを出力するデ
ータフロー解析手段と、問い合わせ文を与えると、前記
モジュール階層関係と前記データフローを参照して問い
合わせ結果を出力する問い合わせ手段とから成ることを
特徴とする。
リバース装置は、ソースプログラムを構文解析し構文解
析木を出力する構文解析手段と、前記ソースプログラム
に対して注目する領域固有の視点を格納した領域知識格
納手段と、前記構文解析木と前記領域知識格納手段を用
いてモジュール階層関係を出力するモジュール関係解析
手段と、前記構文解析木からデータフローを出力するデ
ータフロー解析手段と、問い合わせ文を与えると、前記
モジュール階層関係と前記データフローを参照して問い
合わせ結果を出力する問い合わせ手段とから成ることを
特徴とする。
【００１１】第２の発明のプログラムリバース装置は、
ソースプログラムを構文解析し構文解析木を出力する構
文解析手段と、前記ソースプログラムに対して注目する
領域固有の視点を格納した領域知識格納手段と、前記構
文解析木と前記領域知識格納手段を用いてモジュール階
層関係を出力するモジュール関係解析手段と、前記構文
解析木からデータフローを出力するデータフロー解析手
段と、前記モジュール階層関係と前記データフローを参
照してモジュールの引数を伝播させ、データを伝播させ
たモジュールを出力するデータ伝播手段と、他のアプリ
ケーションの入力となるデータ形式を定めたデータ形式
変換規則格納手段と、前記データ形式変換規則格納手段
を参照して前記データを伝播させたモジュールのデータ
形式を変換するデータ形式変換手段とから成ることを特
徴とする。
ソースプログラムを構文解析し構文解析木を出力する構
文解析手段と、前記ソースプログラムに対して注目する
領域固有の視点を格納した領域知識格納手段と、前記構
文解析木と前記領域知識格納手段を用いてモジュール階
層関係を出力するモジュール関係解析手段と、前記構文
解析木からデータフローを出力するデータフロー解析手
段と、前記モジュール階層関係と前記データフローを参
照してモジュールの引数を伝播させ、データを伝播させ
たモジュールを出力するデータ伝播手段と、他のアプリ
ケーションの入力となるデータ形式を定めたデータ形式
変換規則格納手段と、前記データ形式変換規則格納手段
を参照して前記データを伝播させたモジュールのデータ
形式を変換するデータ形式変換手段とから成ることを特
徴とする。
【００１２】
【作用】第１の発明であるプログラムリバース装置は、
ソースプログラムからモジュール関係とデータフローの
うち、特定の領域固有な部分に関連した情報を抽出す
る。領域固有の部分は領域知識格納手段中に蓄積されて
いて、モジュール関係とデータフローから自動的に領域
固有の部分を選別するので、利用者は問い合わせ結果か
ら領域固有の部分を選別する必要がない。
ソースプログラムからモジュール関係とデータフローの
うち、特定の領域固有な部分に関連した情報を抽出す
る。領域固有の部分は領域知識格納手段中に蓄積されて
いて、モジュール関係とデータフローから自動的に領域
固有の部分を選別するので、利用者は問い合わせ結果か
ら領域固有の部分を選別する必要がない。
【００１３】第２の発明であるプログラムリバース装置
は、ソースプログラムからモジュール関係とデータフロ
ーのうち、特定の領域固有な部分に関連した情報を抽出
する。領域固有の部分は領域知識格納手段中に蓄積され
ていて、モジュール関係とデータフローから自動的に領
域固有の部分を選別し、それを他のソフトウェアに入力
可能なデータ形式に変換するので、利用者は新たにデー
タを入力する必要がない。
は、ソースプログラムからモジュール関係とデータフロ
ーのうち、特定の領域固有な部分に関連した情報を抽出
する。領域固有の部分は領域知識格納手段中に蓄積され
ていて、モジュール関係とデータフローから自動的に領
域固有の部分を選別し、それを他のソフトウェアに入力
可能なデータ形式に変換するので、利用者は新たにデー
タを入力する必要がない。
【００１４】
【実施例】第１の発明について図面を参照して説明す
る。図１は第１の発明のプログラムリバース装置の一実
施例を示す構成図である。このプログラムリバース装置
は、ソースプログラムを構文解析し構文解析木を出力す
る構文解析手段１と、ソースプログラムに対して注目す
る領域固有の視点を格納した領域知識格納手段３と、構
文解析木と領域知識格納手段３を用いてモジュール階層
関係を出力するモジュール関係解析手段２と、構文解析
木からデータフローを出力するデータフロー解析手段４
と、問い合わせ文を与えると、モジュール階層関係とデ
ータフローを参照して問い合わせ結果を出力する問い合
わせ手段５とから構成されている。
る。図１は第１の発明のプログラムリバース装置の一実
施例を示す構成図である。このプログラムリバース装置
は、ソースプログラムを構文解析し構文解析木を出力す
る構文解析手段１と、ソースプログラムに対して注目す
る領域固有の視点を格納した領域知識格納手段３と、構
文解析木と領域知識格納手段３を用いてモジュール階層
関係を出力するモジュール関係解析手段２と、構文解析
木からデータフローを出力するデータフロー解析手段４
と、問い合わせ文を与えると、モジュール階層関係とデ
ータフローを参照して問い合わせ結果を出力する問い合
わせ手段５とから構成されている。
【００１５】図４のフローチャートを参照して、図１の
実施例の処理の流れについて説明する。
実施例の処理の流れについて説明する。
【００１６】ステップＡ１ 構文解析手段１は、ソース
プログラムを構文要素を構文解析し構文解析木を出力す
る。ここで、構文解析木はソースプログラム中に出現す
る構文要素の関係を表したものである。構文要素は、関
数・手続きなどのモジュールに関する部分，分岐文・繰
り返し文などの制御フローに関する部分，変数宣言文・
代入文などのデータフローに関する部分の３つに大別で
きる。
プログラムを構文要素を構文解析し構文解析木を出力す
る。ここで、構文解析木はソースプログラム中に出現す
る構文要素の関係を表したものである。構文要素は、関
数・手続きなどのモジュールに関する部分，分岐文・繰
り返し文などの制御フローに関する部分，変数宣言文・
代入文などのデータフローに関する部分の３つに大別で
きる。
【００１７】ステップＡ２ モジュール関係解析手段２
は、構文解析木の中でモジュールの定義とモジュールの
呼び出しを順にたどり、モジュール階層関係を求める。
このモジュール階層関係のうち、領域知識格納手段３中
のライブラリモジュールと合致するモジュールにはマー
ク付けしておく。
は、構文解析木の中でモジュールの定義とモジュールの
呼び出しを順にたどり、モジュール階層関係を求める。
このモジュール階層関係のうち、領域知識格納手段３中
のライブラリモジュールと合致するモジュールにはマー
ク付けしておく。
【００１８】ステップＡ３ データフロー解析手段４
は、構文解析木の中でデータフローに関する部分を解析
する。変数宣言文が出現するとデータフローに型を付
け、代入文が出現するとデータフローに値を付ける。
は、構文解析木の中でデータフローに関する部分を解析
する。変数宣言文が出現するとデータフローに型を付
け、代入文が出現するとデータフローに値を付ける。
【００１９】ステップＡ４ 問い合わせ手段５は、問い
合わせ文を与えると、モジュール階層関係とデータフロ
ーを参照して問い合わせ結果を出力する。
合わせ文を与えると、モジュール階層関係とデータフロ
ーを参照して問い合わせ結果を出力する。
【００２０】第１の発明の例として、画面上に部品を配
置するライブラリを用いてＣ言語で記述されたプログラ
ムに限定し、リバースの過程を具体的に説明する。説明
のために単純な例として、次のプログラムを考える。こ
のプログラムは、画面上の位置（０，１００）と位置
（１００，１００）に幅１００のボタンを配置するプロ
グラムである。ここで、Ｗｉｄｇｅｔは部品を表す領域
固有の型、ｍａｋｅｂｕｔｔｏｎはボタンを生成する領
域固有モジュールである。 ｍａｉｎ（） ｛ ｉｎｔ ｘ１，ｘ２； ｗｉｄｇｅｔ ｂｕｔｔｏｎ１，ｂｕｔｔｏｎ２； ｘ１＝０； ｘ２＝１００； ｂｕｔｔｏｎ１＝ｆｏｏ（ｘ１）； ｂｕｔｔｏｎ２＝ｆｏｏ（ｘ２）； ｝ ｗｉｄｇｅｔ ｆｏｏ（ｘ） ｛ ｒｅｔｕｒｎ ｂａｒ（ｘ，１００）； ｝ ｗｉｄｇｅｔ ｂａｒ（ｘ，ｙ） ｛ ｗｉｄｇｅｔ ｃｏｏ； ｃｏｏ＝ｍａｋｅｂｕｔｔｏｎ（ ＸＰＯＳ，ｘ， ＹＰＯＳ，ｙ， ＷＩＤＴＨ，１００， ）； ｒｅｔｕｒｎ ｃｏｏ； ｝ ステップＡ１ 構文解析手段１は、ｍａｉｎなどのモジ
ュールとｘ１などの変数が含んだ構文解析木を生成す
る。
置するライブラリを用いてＣ言語で記述されたプログラ
ムに限定し、リバースの過程を具体的に説明する。説明
のために単純な例として、次のプログラムを考える。こ
のプログラムは、画面上の位置（０，１００）と位置
（１００，１００）に幅１００のボタンを配置するプロ
グラムである。ここで、Ｗｉｄｇｅｔは部品を表す領域
固有の型、ｍａｋｅｂｕｔｔｏｎはボタンを生成する領
域固有モジュールである。 ｍａｉｎ（） ｛ ｉｎｔ ｘ１，ｘ２； ｗｉｄｇｅｔ ｂｕｔｔｏｎ１，ｂｕｔｔｏｎ２； ｘ１＝０； ｘ２＝１００； ｂｕｔｔｏｎ１＝ｆｏｏ（ｘ１）； ｂｕｔｔｏｎ２＝ｆｏｏ（ｘ２）； ｝ ｗｉｄｇｅｔ ｆｏｏ（ｘ） ｛ ｒｅｔｕｒｎ ｂａｒ（ｘ，１００）； ｝ ｗｉｄｇｅｔ ｂａｒ（ｘ，ｙ） ｛ ｗｉｄｇｅｔ ｃｏｏ； ｃｏｏ＝ｍａｋｅｂｕｔｔｏｎ（ ＸＰＯＳ，ｘ， ＹＰＯＳ，ｙ， ＷＩＤＴＨ，１００， ）； ｒｅｔｕｒｎ ｃｏｏ； ｝ ステップＡ１ 構文解析手段１は、ｍａｉｎなどのモジ
ュールとｘ１などの変数が含んだ構文解析木を生成す
る。
【００２１】ステップＡ２ モジュール関係解析手段２
は、（ｍａｉｎ，ｆｏｏ，ｂａｒ，ｍａｋｅｂｕｔｔｏ
ｎ）なるモジュール階層関係を生成し、ｍａｋｅｂｕｔ
ｔｏｎの箇所にマーク付けする。
は、（ｍａｉｎ，ｆｏｏ，ｂａｒ，ｍａｋｅｂｕｔｔｏ
ｎ）なるモジュール階層関係を生成し、ｍａｋｅｂｕｔ
ｔｏｎの箇所にマーク付けする。
【００２２】ステップＡ３ データフロー解析手段４
は、モジュールｍａｉｎの中を例にとるとｘ１，ｘ２，
ｂｕｔｔｏｎ１，ｂｕｔｔｏｎ２に関するデータフロー
を生成する。
は、モジュールｍａｉｎの中を例にとるとｘ１，ｘ２，
ｂｕｔｔｏｎ１，ｂｕｔｔｏｎ２に関するデータフロー
を生成する。
【００２３】ステップＡ４ 問い合わせ手段５は例え
ば、「変数ｂｕｔｔｏｎ１が格納している値はどの領域
固有モジュールの返り値か？」という問い合わせに対し
て、ｂｕｔｔｏｎ１に関するデータフローと（ｍａｉ
ｎ，ｆｏｏ，ｂａｒ，ｍａｋｅｂｕｔｔｏｎ）なるモジ
ュール階層関係を参照して、「変数ｂｕｔｔｏｎ１が格
納している値はモジュールｍａｋｅｂｕｔｔｏｎの返り
値である」という問い合わせ結果を生成する。
ば、「変数ｂｕｔｔｏｎ１が格納している値はどの領域
固有モジュールの返り値か？」という問い合わせに対し
て、ｂｕｔｔｏｎ１に関するデータフローと（ｍａｉ
ｎ，ｆｏｏ，ｂａｒ，ｍａｋｅｂｕｔｔｏｎ）なるモジ
ュール階層関係を参照して、「変数ｂｕｔｔｏｎ１が格
納している値はモジュールｍａｋｅｂｕｔｔｏｎの返り
値である」という問い合わせ結果を生成する。
【００２４】第２の発明について図面を参照して説明す
る。図２は第２の発明のプログラムリバース装置の一実
施例を示す構成図である。このプログラムリバース装置
は、ソースプログラムを構文解析し構文解析木を出力す
る構文解析手段１１と、ソースプログラムに対して注目
する領域固有の視点を格納した領域知識格納手段１３
と、構文解析木と領域知識格納手段を用いてモジュール
階層関係を出力するモジュール関係解析手段１２と、構
文解析木からデータフローを出力するデータフロー解析
手段１４と、モジュール階層関係とデータフローを参照
してモジュールの引数を伝播させ、データを伝播させた
モジュールを出力するデータ伝播手段１５と、他のアプ
リケーションの入力となるデータ形式を定めたデータ形
式変換規則格納手段１６と、データ形式変換規則格納手
段を参照してデータを伝播させたモジュールのデータ形
式を変換するデータ形式変換手段１７とから構成されて
いる。
る。図２は第２の発明のプログラムリバース装置の一実
施例を示す構成図である。このプログラムリバース装置
は、ソースプログラムを構文解析し構文解析木を出力す
る構文解析手段１１と、ソースプログラムに対して注目
する領域固有の視点を格納した領域知識格納手段１３
と、構文解析木と領域知識格納手段を用いてモジュール
階層関係を出力するモジュール関係解析手段１２と、構
文解析木からデータフローを出力するデータフロー解析
手段１４と、モジュール階層関係とデータフローを参照
してモジュールの引数を伝播させ、データを伝播させた
モジュールを出力するデータ伝播手段１５と、他のアプ
リケーションの入力となるデータ形式を定めたデータ形
式変換規則格納手段１６と、データ形式変換規則格納手
段を参照してデータを伝播させたモジュールのデータ形
式を変換するデータ形式変換手段１７とから構成されて
いる。
【００２５】図５のフローチャートを参照して、図２の
実施例の処理の流れについて説明する。
実施例の処理の流れについて説明する。
【００２６】ステップＢ１ 構文解析手段１１は、ソー
スプログラムを構文要素を構文解析し構文解析木を出力
する。ここで、構文解析木はソースプログラム中に出現
する構文要素の関係を表したものである。構文要素は、
関数・手続きなどのモジュールに関する部分，分岐文・
繰り返し文などの制御フローに関する部分，変数宣言文
・代入文などのデータフローに関する部分の３つに大別
できる。
スプログラムを構文要素を構文解析し構文解析木を出力
する。ここで、構文解析木はソースプログラム中に出現
する構文要素の関係を表したものである。構文要素は、
関数・手続きなどのモジュールに関する部分，分岐文・
繰り返し文などの制御フローに関する部分，変数宣言文
・代入文などのデータフローに関する部分の３つに大別
できる。
【００２７】ステップＢ２ モジュール関係解析手段１
２は、構文解析木の中でモジュールの定義とモジュール
の呼び出しを順にたどり、モジュール階層関係を求め
る。このモジュール階層関係のうち、領域知識格納手段
１３中のライブラリモジュールと合致するモジュールに
はマーク付けしておく。
２は、構文解析木の中でモジュールの定義とモジュール
の呼び出しを順にたどり、モジュール階層関係を求め
る。このモジュール階層関係のうち、領域知識格納手段
１３中のライブラリモジュールと合致するモジュールに
はマーク付けしておく。
【００２８】ステップＢ３ データフロー解析手段１４
は、構文解析木の中でデータフローに関する部分を解析
する。変数宣言文が出現するとデータフローに型を付
け、代入文が出現するとデータフローに値を付ける。
は、構文解析木の中でデータフローに関する部分を解析
する。変数宣言文が出現するとデータフローに型を付
け、代入文が出現するとデータフローに値を付ける。
【００２９】ステップＢ４ データ伝播手段１５は、モ
ジュール階層関係とデータフローを参照してモジュール
の引数を伝播させ、データを伝播させたモジュールを出
力する。ここで、データ伝播手段１５の処理の流れは図
６に示す通りである。
ジュール階層関係とデータフローを参照してモジュール
の引数を伝播させ、データを伝播させたモジュールを出
力する。ここで、データ伝播手段１５の処理の流れは図
６に示す通りである。
【００３０】ステップＣ１ まず、モジュール階層関係
から、葉が領域固有のモジュールに合致するパスを見つ
ける。この時領域知識格納手段１３を参照する。
から、葉が領域固有のモジュールに合致するパスを見つ
ける。この時領域知識格納手段１３を参照する。
【００３１】ステップＣ２ 次に、そのパスについて親
モジュールで確定した引数の値を子モジュールに伝播す
る。
モジュールで確定した引数の値を子モジュールに伝播す
る。
【００３２】ステップＣ３ そして、領域固有モジュー
ル（パスの葉の部分）の引数の値を確定させる。
ル（パスの葉の部分）の引数の値を確定させる。
【００３３】ステップＣ４ ソースプログラム中の親モ
ジュールの位置に引数の値が確定した領域固有モジュー
ルを埋め込む。
ジュールの位置に引数の値が確定した領域固有モジュー
ルを埋め込む。
【００３４】ステップＢ５ データ形式変換手段１７
は、データを伝播させたモジュールを他のソフトウェア
に入力可能なデータに変換する。
は、データを伝播させたモジュールを他のソフトウェア
に入力可能なデータに変換する。
【００３５】第１の発明と同じ例を用いて第２の発明を
具体的に説明する。
具体的に説明する。
【００３６】ステップＢ１ 構文解析手段１１は、ｍａ
ｉｎなどのモジュールとｘ１などの変数が含んだ構文解
析木を生成する。
ｉｎなどのモジュールとｘ１などの変数が含んだ構文解
析木を生成する。
【００３７】ステップＢ２ モジュール関係解析手段１
２は、（ｍａｉｎ，ｆｏｏ，ｂａｒ，ｍａｋｅｂｕｔｔ
ｏｎ）なるモジュール階層関係を生成し、ｍａｋｅｂｕ
ｔｔｏｎの箇所にマークを付ける。
２は、（ｍａｉｎ，ｆｏｏ，ｂａｒ，ｍａｋｅｂｕｔｔ
ｏｎ）なるモジュール階層関係を生成し、ｍａｋｅｂｕ
ｔｔｏｎの箇所にマークを付ける。
【００３８】ステップＢ３ データフロー解析手段は、
モジュールｍａｉｎの中を例にとるとｘ１，ｘ２，ｂｕ
ｔｔｏｎ１，ｂｕｔｔｏｎ２に関するデータフローを生
成する。
モジュールｍａｉｎの中を例にとるとｘ１，ｘ２，ｂｕ
ｔｔｏｎ１，ｂｕｔｔｏｎ２に関するデータフローを生
成する。
【００３９】ステップＢ４ データ伝播手段は以下の処
理を行う。
理を行う。
【００４０】ステップＣ１ モジュール階層関係から、
葉が領域固有のモジュールに合致するパスとして（ｍａ
ｉｎ，ｆｏｏ，ｂａｒ，ｍａｋｅｂｕｔｔｏｎ）を得
る。
葉が領域固有のモジュールに合致するパスとして（ｍａ
ｉｎ，ｆｏｏ，ｂａｒ，ｍａｋｅｂｕｔｔｏｎ）を得
る。
【００４１】ステップＣ２ ステップＣ１で得られたパ
スについて親モジュールで確定した引数の値を子モジュ
ールに伝播し、ｆｏｏの引数はｆｏｏ（０）に、ｂａｒ
の引数はｂａｒ（０，１００）と確定する。
スについて親モジュールで確定した引数の値を子モジュ
ールに伝播し、ｆｏｏの引数はｆｏｏ（０）に、ｂａｒ
の引数はｂａｒ（０，１００）と確定する。
【００４２】ステップＣ３ 領域固有モジュールｍａｋ
ｅｂｕｔｔｏｎの引数の値を確定させる。ｍａｋｅｂｕ
ｔｔｏｎの引数はｍａｋｅｂｕｔｔｏｎ（ＸＰＯＳ，
０，ＹＰＯＳ，１００，ＷＩＤＴＨ，１００）と確定す
る。
ｅｂｕｔｔｏｎの引数の値を確定させる。ｍａｋｅｂｕ
ｔｔｏｎの引数はｍａｋｅｂｕｔｔｏｎ（ＸＰＯＳ，
０，ＹＰＯＳ，１００，ＷＩＤＴＨ，１００）と確定す
る。
【００４３】ステップＣ４ ソースプログラム中の親モ
ジュールのｆｏｏ（ｘ１）の位置に引数の値が確定した
領域固有モジュールｍａｋｅｂｕｔｔｏｎ（ＸＰＯＳ，
０，ＹＰＯＳ，１００，ＷＩＤＴＨ，１００）を埋め込
む。
ジュールのｆｏｏ（ｘ１）の位置に引数の値が確定した
領域固有モジュールｍａｋｅｂｕｔｔｏｎ（ＸＰＯＳ，
０，ＹＰＯＳ，１００，ＷＩＤＴＨ，１００）を埋め込
む。
【００４４】ステップＢ５ リバース装置が出力するデ
ータを受け取るソフトウェアとして、画面上に部品を配
置する簡易言語を仮定する。この簡易言語が受け取るデ
ータ形式は図７に示すように、属性と値の組からなる。
ータを受け取るソフトウェアとして、画面上に部品を配
置する簡易言語を仮定する。この簡易言語が受け取るデ
ータ形式は図７に示すように、属性と値の組からなる。
【００４５】データ形式変換手段１７は、ＨＥＩＧＨＴ
のデフォルト値５０を埋め込み、データ伝播手段が出力
したデータ形式を図７で示したデータに変換することに
より、以下のデータを出力する。このデータは、画面上
の位置（０，１００）と位置（１００，１００）に幅１
００高さ５０のボタンを配置することを表現している。 （ｂｕｔｔｏｎ ＸＰＯＳ ０ ＹＰＯＳ １００ ＷＩＤＴＨ １００ ＨＥＩＧＨＴ ５０ ） （ｂｕｔｔｏｎ ＸＰＯＳ １００ ＹＰＯＳ １００ ＷＩＤＴＨ １００ ＨＥＩＧＨＴ ５０ ）
のデフォルト値５０を埋め込み、データ伝播手段が出力
したデータ形式を図７で示したデータに変換することに
より、以下のデータを出力する。このデータは、画面上
の位置（０，１００）と位置（１００，１００）に幅１
００高さ５０のボタンを配置することを表現している。 （ｂｕｔｔｏｎ ＸＰＯＳ ０ ＹＰＯＳ １００ ＷＩＤＴＨ １００ ＨＥＩＧＨＴ ５０ ） （ｂｕｔｔｏｎ ＸＰＯＳ １００ ＹＰＯＳ １００ ＷＩＤＴＨ １００ ＨＥＩＧＨＴ ５０ ）
【発明の効果】以上に説明したように、第１の発明は、
ソースプログラムからモジュール関係とデータフローの
うち、特定の領域固有な部分に関連した情報を抽出し、
それに対して問い合わせることができる機能を有する。
ソースプログラムからモジュール関係とデータフローの
うち、特定の領域固有な部分に関連した情報を抽出し、
それに対して問い合わせることができる機能を有する。
【００４６】第２の発明は、ソースプログラムからモジ
ュール関係とデータフローのうち、特定の領域固有な部
分に関連した情報を抽出し、それを他のソフトウェアに
入力可能なデータに変換できる機能を有する。
ュール関係とデータフローのうち、特定の領域固有な部
分に関連した情報を抽出し、それを他のソフトウェアに
入力可能なデータに変換できる機能を有する。
【図１】第１の発明の一実施例を示す構成図である。
【図２】第２の発明の一実施例を示す構成図である。
【図３】従来の一例を示す構成図である。
【図４】図１の実施例における処理の流れを表すフロー
チャートである。
チャートである。
【図５】図２の実施例における処理の流れを表すフロー
チャートである。
チャートである。
【図６】図２の実施例におけるデータ伝播手段の例であ
る。
る。
【図７】図２の実施例において、他のソフトウェアの入
力となるデータ形式の一例である。
力となるデータ形式の一例である。
１，１１ 構文解析手段 ２，１２ モジュール関係解析手段 ３，１３ 領域知識格納手段 ４，１４ データフロー解析手段 ５ 問い合わせ手段 １５ データ伝播手段 １６ データ形式変換規則格納手段 １７ データ形式変換手段
Claims (2)
- 【請求項１】ソースプログラムを構文解析し構文解析木
を出力する構文解析手段と、 前記ソースプログラムに対して注目する領域固有の視点
を格納した領域知識格納手段と、 前記構文解析木と前記領域知識格納手段を用いてモジュ
ール階層関係を出力するモジュール関係解析手段と、 前記構文解析木からデータフローを出力するデータフロ
ー解析手段と、 問い合わせ文を与えると、前記モジュール階層関係と前
記データフローを参照して問い合わせ結果を出力する問
い合わせ手段とから成ることを特徴とするプログラムリ
バース装置。 - 【請求項２】ソースプログラムを構文解析し構文解析木
を出力する構文解析手段と、 前記ソースプログラムに対して注目する領域固有の視点
を格納した領域知識格納手段と、 前記構文解析木と前記領域知識格納手段を用いてモジュ
ール階層関係を出力するモジュール関係解析手段と、 前記構文解析木からデータフローを出力するデータフロ
ー解析手段と、 前記モジュール階層関係と前記データフローを参照して
モジュールの引数を伝播させ、データを伝播させたモジ
ュールを出力するデータ伝播手段と、 他のアプリケーションの入力となるデータ形式を定めた
データ形式変換規則格納手段と、 前記データ形式変換規則格納手段を参照して前記データ
を伝播させたモジュールのデータ形式を変換するデータ
形式変換手段とから成ることを特徴とするプログラムリ
バース装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4000696A JPH05181652A (ja) | 1992-01-07 | 1992-01-07 | プログラムリバース装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4000696A JPH05181652A (ja) | 1992-01-07 | 1992-01-07 | プログラムリバース装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH05181652A true JPH05181652A (ja) | 1993-07-23 |
Family
ID=11480932
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP4000696A Pending JPH05181652A (ja) | 1992-01-07 | 1992-01-07 | プログラムリバース装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH05181652A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0756731A (ja) * | 1993-08-17 | 1995-03-03 | Nec Corp | プログラム解析装置 |
| JP2016051367A (ja) * | 2014-09-01 | 2016-04-11 | 日本電気通信システム株式会社 | データ解析装置、データ解析方法、および、プログラム。 |
-
1992
- 1992-01-07 JP JP4000696A patent/JPH05181652A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0756731A (ja) * | 1993-08-17 | 1995-03-03 | Nec Corp | プログラム解析装置 |
| JP2016051367A (ja) * | 2014-09-01 | 2016-04-11 | 日本電気通信システム株式会社 | データ解析装置、データ解析方法、および、プログラム。 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US11036614B1 (en) | Data control-oriented smart contract static analysis method and system | |
| EP3745256B1 (en) | External code integrations within a computing environment | |
| JP2004505379A (ja) | Ｘｍｌロボット | |
| JP5147240B2 (ja) | リバーシブルなデザイン・ツリーの変換のための方法とシステム | |
| CN115639980A (zh) | 一种低代码平台可拖拽的前端逻辑编排方法及装置 | |
| CN110109671A (zh) | 一种webpack标签尺寸样式转换方法及装置 | |
| US8700374B1 (en) | System and method of using an active link in a state programming environment to locate an element in a graphical programming environment | |
| JPH1165832A (ja) | ソースコード変換方法及び記録媒体 | |
| JPH08292881A (ja) | プログラム影響範囲表示装置 | |
| JP2004185508A (ja) | プログラム解析装置およびプログラム | |
| Wipliez et al. | Code generation for the MPEG reconfigurable video coding framework: From CAL actions to C functions | |
| JPH05181652A (ja) | プログラムリバース装置 | |
| AU631128B2 (en) | Software agent used to provide instruction to a user for a plurality of computer applications | |
| JPH10187461A (ja) | 言語処理方式 | |
| Kacsuk et al. | The GRED graphical editor for the GRADE parallel program development environment | |
| JP3003459B2 (ja) | プログラム作成支援装置 | |
| CN117573106A (zh) | 前端h5项目构建方法、装置、设备及存储介质 | |
| EP0202007A2 (en) | A generator of program generators | |
| KR100249517B1 (ko) | 서비스 개발 환경 시스템에서의 코드 생성 방법 | |
| CN114968334A (zh) | 工作流的流转控制方法、装置及电子设备 | |
| KR960018928A (ko) | 실행 모듈들간의 시그널 정보 획득을 위한 장치 | |
| CN114064773A (zh) | 一种数据转换方法、装置、计算机设备及存储介质 | |
| CN115480755A (zh) | 一种逻辑结构建模方法、系统、电子设备及存储介质 | |
| CN114564186A (zh) | 图形化编程模块控制硬件的实现方法 | |
| CN116932819A (zh) | 一种数据流程的控制方法、系统、设备及介质 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |