A Research of Reverse Engineering Tool which generates a non-procedural specification from COBOL programs
A Research of Reverse Engineering Tool which generates a non-procedural specification from COBOL programs
批准号:
07680434
负责人:
HARADA Minoru
金额:
$1.54万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
1995
资助国家:
日本
项目状态:
已结题
起止时间:
1995 至 1996
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The maintenance of software becomes more serious year after year. The development/maintenance cost ratio, for example of COBOL programs, is said to be 1 : 3. Major difficulty of software maintenance arises from the fact that a programr should understand the program written by another programr. I propose a technique of reverse engineering of COBOL programs, and develop a "COBOL Reverse Engineer-CORE/M-" based on this technique.CORE/M generates the abstract specification from COBOL programs performing the file processing. CORE/M adopted the non-procedural requirement specification called EOS specification to express the result of understanding of COBOL programs. EOS specification consists of a set of equations, called equality relation, and can be automatically translateed to visual module specification by EOS.EOS specification shows the relationships among the attribute items of entities and their output and update requirements. In each equality relation, each item is modified with "." … More by the entity having it as an attribute, and suffixed with "-" by the file storing it.CORE/M does not use the name of variables to understand program meaning because of their naming depend upon programr's personal principles. CORE/M's analysis depends purely upon correspondence between the program structure and the data structure. First, CORE/M parses the COBOL program, and develops it into a block structure. Next, CORE/M decides which entities are processed under what conditions in each block. It can be thought that all the statements in a block of a well-structured program are the calculations of the same entity fulfillling the same condition. Thus, CORE/M basically modifies every item in such a statement with the same entity identifier and the same file modifier. When a specific processing typically consisting of an initialization and a summation body are found, they are correlatively translated into a more abstract function such as SUM,MAX,and 1st. Above CORE/M's analysis consists of eleven steps in total.CORE/M actually converted the sample COBOL program consisting of 234 lines, and generates its EOS specification, which bears the same meanig of that written by an ordinary EOS designer. Future problems are that CORE/M should be extended to understand more complex COBOL program and to generate higher level specification like business data model. Less
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
原田 実: "COBOLプログラムからの非手続き的仕様を逆生成するリバースエンジニアCORE/M" 情報処理学会ソフトウェア工学研報. 94-SE-100. 97-106 (1994)
Minoru Harada:“从 COBOL 程序反向生成非过程规范的逆向工程 CORE/M”,日本信息处理协会软件工程研究公告 94-SE-106 (1994)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
永井英一郎、原田 実: "構造化されていないCOBOLプログラムも設計仕様に変換する逆工学システム研究開発" 情報処理学会第50回全国大会予稿集4L-1. 第5分冊. 255-256 (1995)
Eiichiro Nagai、Minoru Harada:“将非结构化 COBOL 程序转换为设计规范的逆向工程系统的研究和开发”日本信息处理学会第 50 届全国会议论文集 4L-1 卷 5. 255-256 (1995)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Eiichirou Nagai, Minoru Harada: "A Research of Reverse Engineering System which generates a design specification from an unstructured COBOL programs." Proceedings of the 50^<th> Annual Convention IPS Japan. No.4L-1. 255-256 (1995)
Eiichirou Nagai、Minoru Harada:“逆向工程系统的研究,该系统从非结构化 COBOL 程序生成设计规范。”
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
原田実,吉川彰一,永井栄一郎: "COBOLプログラムからの非手続き仕様を逆生成するリバースエンジニアCORE/M" 情報処理学会論文誌. 36. 714-727 (1995)
Minoru Harada、Shoichi Yoshikawa、Eiichiro Nagai:“从 COBOL 程序反向生成非过程规范的逆向工程 CORE/M”日本信息处理学会杂志 36. 714-727 (1995)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Minoru Harada,Yoshiyuki Nakamura Jun-i-chi Nishimura: "Automatic Process Design from Non-procedural Specitication" Systems and Computers in Japan. 26. 196-206 (1995)
Minoru Harada、Yoshiyuki Nakamura Jun-i-chi Nishimura:“来自非过程规范的自动流程设计”系统和计算机在日本。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 12 条
Development research of highly accurate Question Answering system doing precise matching of meaning
-
批准号:16500085
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.3万
-
财政年份:2004
-
负责人:HARADA Minoru
-
依托单位:
Semantic and Contextual Analysis using Common knowledge from Japanese Articles
-
批准号:13680461
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.41万
-
财政年份:2001
-
负责人:HARADA Minoru
-
依托单位:
A Research of machine learning of object oriented analysis knowledge by induvtive reasoning
-
批准号:09680377
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.92万
-
财政年份:1997
-
负责人:HARADA Minoru
-
依托单位:
海外基金