课题基金 / 基金详情

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
从COBOL程序生成非过程规范的逆向工程工具的研究
批准号:
07680434
负责人:
HARADA Minoru
金额:
$1.54万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
1995
资助国家:
日本
项目状态:
已结题
起止时间:
1995 至 1996

项目摘要

项目成果

HARADA Minoru的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
原田実,吉川彰一,永井栄一郎: "COBOLプログラムからの非手続き仕様を逆生成するリバースエンジニアCORE/M" 情報処理学会論文誌. 36. 714-727 (1995)
Minoru Harada、Shoichi Yoshikawa、Eiichiro Nagai:“从 COBOL 程序反向生成非过程规范的逆向工程 CORE/M”日本信息处理学会杂志 36. 714-727 (1995)。
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
    • 依托单位:
    海外基金