Research on Software Recycle Environment -Design and Implementation of Browser, Slicer, and Specializer-

软件回收环境研究-浏览器、切片器、专用器的设计与实现-

• 批准号: 10308008
• 负责人: AGUSA Kiyoshi
• 金额: $ 5.38万
• 依托单位: Nagoya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (A).
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 2000
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10308008/
• 关键词: software recycle; browser; slicer; specializer; dependency analysis; program pattern

The purpose of this research is to construct the software recycle support environment which consist of 3 sub-system ; (1) Browser which efficiently refers and retrieves large-scale software, (2) Slicer to extract required portions from large-scale software easily, (3) Specializer which make extracted software adjust to a target system. The main results of this research are shown below.1. We developed a program browser SPIE based on hyper-text. SPIE translates C language source program files into HTML files, and generates a detailed cross-reference tables for 11 kinds of objects (file, function, function argument, global variable, local variable, type, tag, member, enumerator, constant, macro).2. We developed a function slicer for extract required portions which are necessary to compile specified function from source programs. If function f is specified by user, this tool identify (1) definition and prototype of f, (2) definition and prototype of functions f' which called from f, (3) all defined types which used in f and f', (4) all macros which used in f and f'.3. We proposed an automatic method of the partial evaluation to extract the specialized program from general purpose parts, and implemnent the prototype tool.

本研究的目的是建构一个软体回收支援环境，它包含三个子系统：（1）浏览器，可有效地存取大型软体;（2）切片器，可轻易地从大型软体中抽取所需的部分;（3）专业化器，可使抽取的软体适应目标系统。本研究的主要结果如下.我们开发了一个基于超文本的程序浏览器SPIE。SPIE将C语言源程序文件转换为HTML文件，并生成11种对象（文件、函数、函数参数、全局变量、局部变量、类型、标记、成员、枚举数、常量、宏）的详细对照表.我们开发了一个函数切片器，用于从源程序中提取编译指定函数所需的部分。如果函数f是由用户指定的，这个工具可以识别（1）f的定义和原型，（2）从f调用的函数f'的定义和原型，（3）在f和f'中使用的所有定义类型，（4）在f和f '中使用的所有宏。提出了一种从通用部件中自动提取专用程序的部分求值方法，并实现了原型工具。

项目成果

Irek Ulidowski,Shoji Yuen: "Process Languaes for Rooted Eager Bisimulation"CONCUR2000, Lecture Notes in Computer Science. 1877. 275-289 (2000)

Irek Ulidowski、Shoji Yuen：“Rooted Eager Bisimulation 的处理语言”CONCUR2000，计算机科学讲义。

大橋洋貴,山本晋一郎,阿草清滋: "ソフトウェア空間をトラバースする柔軟な検索"日本ソフトウェア科学会第16回大会論文集. 16. 149-152 (1999)

Hiroki Ohashi、Shinichiro Yamamoto、Kiyoji Asakusa：“穿越软件空间的灵活搜索”日本软件学会第 16 届年会论文集 16. 149-152 (1999)。

Yamamoto Shinichirou, Kiyoshi Agusa: "Source Program Archives Site : A Step toward Cooperation of Open-source Movement and Software Engineering"Proceeding of International Symposium on Principles of Software Evolution 2000. 213-222 (2000)

Yamamoto Shinichirou、Kiyoshi Agusa：“源程序档案站点：开源运动与软件工程合作的一步”软件演进原理国际研讨会论文集 2000. 213-222 (2000)

植村敦志.山本晋一郎.濱口毅.阿草清滋: "パターンを用いた代数的仕様からのコーディングに関する研究" 1998年度電気関係学会東海支部連合大会. 316 (1998)

Atsushi Uemura、Shinichiro Yamamoto、Takeshi Hamaguchi 和 Kiyoji Asakusa：“使用模式的代数规范编码研究”1998 年电气工程学会东海分会会议 316（1998 年）。

三浦良.山本晋一郎.阿草清滋: "プログラムパターンの段階的抽出手法" ソフトウェア工学の基礎V日本ソフトウェア科学会FOSE‘98. 181-188 (1998)

Ryo Miura。Shinichiro Yamamoto：“程序模式的逐步提取方法”V Japan Software Science Society FOSE98 (1998)。