プログラムからその意図を理解して非手続き仕様を逆生成するリバース工学の研究

1995 Fiscal Year Annual Research Report

• Project/Area Number: 07680434
• Research Category: Grant-in-Aid for General Scientific Research (C)
• Research Institution: Aoyama Gakuin University
• Principal Investigator: 原田 実 青山学院大学, 理工学部, 助教授 (10218654)
• Keywords: リバース工学 / 非手続き的仕様 / プログラム理解 / ワ-ニエ法 / COBOL / SPACE / EOS / 識別子

Research Abstract

平成7年度は、ワ-ニエ法に従った綺麗な制御構造をもつCOBOLプログラムからEOS仕様に逆変換する方式をほぼ確立できた.さらにこの方式に基づくリバース工学ツールを試作できた.このシステムは,COBOLプログラムを構文解析しブロック構造に変換する部分,ブロックの各実行条件を識別子やファイル修飾子に変換する部分,ブロック内の計算式を適切に識別子やファイル修飾子で修飾して等関係式に変換する部分から構成されている.試作システムに対して事例とした150行からなるCOBOLプログラムを入力したところ,[1]機能記述:約50行,[2]識別子の順序記述:2行,[3]レコード記述:8行からなる,EOS仕様を生成することができた.これをEOSに送りプロセス設計とモジュール設計を行わせると,5個のモジュール仕様が生成された.これらをSPACEに送り,COBOLプログラムを生成させそれらを実行させると,元のCOBOLプログラムと同じ計算結果を得た.従って,当初の目的であるCOBOLプログラムからの非手続き的仕様の逆生成は正しく行えたと考えられる.従って,提案した逆生成方式の正しさを試作システムによる実験を通して実証することができた.しかし,残念ながら現状では入力するプログラムがワ-ニエ法に従って書かれたものでないといけないという制約がある.また,EOSが数値条件による繰り返しを単一の識別子で表現できないという問題がある.このように適用性に制約がある.これを解決するのが8年度以降の課題である.

Research Products

• [Publications] 原田 実: "COBOLプログラムからの非手続き的仕様を逆生成するリバースエンジニアCORE/M" 情報処理学会ソフトウェア工学研報. 94-SE-100. 97-106 (1994)
• [Publications] 永井英一郎: "構造化されていないCOBOLプログラムも設計仕様に変換する工学システム" 情報処理学会第50回全国大会. 4L-1. 255-256 (1995)
• [Publications] 原田 実: "COBOLプログラムからの非手続き的仕様を逆生成するリバースエンジニアCORE/M" 情報処理学会論文誌. 36. 714-727 (1995)