A Research of Reverse Engineering Tool which generates a non-procedural specification from COBOL programs

从COBOL程序生成非过程规范的逆向工程工具的研究

• 批准号: 07680434
• 负责人: HARADA Minoru
• 金额: $ 1.54万
• 依托单位: Aoyama Gakuin University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 1996
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07680434/
• 关键词: Non-procedural Specification; Reverse Engineering; Regeneration; COBOL; Business Processing; Equality Relation; リバース工学; 非手続き的仕様; プログラム理解; ワ-ニエ法; SPACE; EOS; 識別子

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

软件的维护工作一年比一年严重。例如，COBOL 程序的开发/维护成本比据说为 1:3。软件维护的主要困难在于程序员应该理解另一个程序员编写的程序。我提出了一种COBOL程序逆向工程技术，并基于该技术开发了“COBOL Reverse Engineer-CORE/M-”。CORE/M从执行文件处理的COBOL程序生成抽象规范。 CORE/M采用了称为EOS规范的非过程化需求规范来表达对COBOL程序的理解结果。 EOS规范由一组方程组成，称为等式关系，EOS可以自动将其转换为可视化模块规范。EOS规范显示了实体的属性项与其输出和更新需求之间的关系。在每个等式关系中，每一项都用“.”修饰。 … 更多由具有它作为属性的实体表示，并由存储它的文件以“-”为后缀。CORE/M 不使用变量的名称来理解程序含义，因为它们的命名取决于程序员的个人原则。 CORE/M的分析完全依赖于程序结构和数据结构之间的对应关系。首先，CORE/M解析COBOL程序，并将其发展成块结构。接下来，CORE/M 决定每个块中在什么条件下处理哪些实体。可以认为，结构良好的程序块中的所有语句都是满足相同条件的同一实体的计算。因此，CORE/M 基本上使用相同的实体标识符和相同的文件修饰符来修改此类语句中的每个项目。当找到通常由初始化和求和体组成的特定处理时，它们被相关地转换为更抽象的函数，例如SUM、MAX和1st。上述CORE/M的分析总共包括十一个步骤。CORE/M实际上是对由234行组成的示例COBOL程序进行了转换，并生成了其EOS规范，该规范与普通EOS设计者编写的规范具有相同的含义。未来的问题是 CORE/M 应该扩展以理解更复杂的 COBOL 程序并生成更高级别的规范（如业务数据模型）。较少的

项目成果

原田 実: "COBOLプログラムからの非手続き的仕様を逆生成するリバースエンジニアCORE/M" 情報処理学会ソフトウェア工学研報. 94-SE-100. 97-106 (1994)

Minoru Harada：“从 COBOL 程序反向生成非过程规范的逆向工程 CORE/M”，日本信息处理协会软件工程研究公告 94-SE-106 (1994)。

永井英一郎、原田 実: "構造化されていないCOBOLプログラムも設計仕様に変換する逆工学システム研究開発" 情報処理学会第50回全国大会予稿集4L-1. 第5分冊. 255-256 (1995)

Eiichiro Nagai、Minoru Harada：“将非结构化 COBOL 程序转换为设计规范的逆向工程系统的研究和开发”日本信息处理学会第 50 届全国会议论文集 4L-1 卷 5. 255-256 (1995)。

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 程序生成设计规范。”

原田実,吉川彰一,永井栄一郎: "COBOLプログラムからの非手続き仕様を逆生成するリバースエンジニアCORE/M" 情報処理学会論文誌. 36. 714-727 (1995)

Minoru Harada、Shoichi Yoshikawa、Eiichiro Nagai：“从 COBOL 程序反向生成非过程规范的逆向工程 CORE/M”日本信息处理学会杂志 36. 714-727 (1995)。

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：“来自非过程规范的自动流程设计”系统和计算机在日本。