权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

プログラムの静的解析に基づくプログラム部品の抽出に関する研究

基于程序静态分析的程序部件提取研究

基本信息

批准号：
07680355
负责人：
井上克朗
金额：
$ 0.77万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1995
资助国家：
日本
起止时间：
1995 至无数据
项目状态：
已结题

项目摘要

本研究の目的は、プログラムスライス及び部分評価を組み合わせ、与えられた手続き型のプログラムから、ある特定の機能のみを持つプログラム(プログラム部品と呼ぶ)を効率良く生成する方法をし、また、その方法を実証し、効果を評価するためにプロトタイプシステムを作ることであった。実際に用いた方式は、再帰を含むプログラムに対するスライスアルゴリズム及び、値の代入による式の評価と不要式の削除という方法に基づいた部分評価のアルゴリズムを組み合わせたものである。また、それに基づいて、教育用のPASCALのサブセットのプログラムに対してスライスや部分評価を行なうデバッグ支援システムを作成した。本システムは、スライスや部分評価を行ない、その結果をプログラム部品として保存することができる。その他、通常のデバッガとして、プログラムのステップ実行、停止、ブレイクポイントの設定、変数の内容の参照/変更などを、元になるプログラムや取り出した部品に対して行なうこともできる。このシステムを利用することにより、プログラムのある部分のみを抽出してその部分を保存し、再利用する、という目的は実現できた。その際,その依存関係情報は,一度解析すれば内部に保存できるため,同じプログラムに対しては,解析しなおすことなく別のスライス計算などの作業を行なうことができる。スライスによって部分を取り出す際、一般に元のプログラムが大きい時には,スライスも大きくなる.本ツールでは,スライス全体を参照するだけでなく,PDG(プログラム依存グラフ)を探索するレベルを任意に設定することができるので、注目している文に直接影響する文のみを抽出したり;データ依存もしくは制御依存の一方だけを用いたPDGの探索もできるため,参照部分をさらに小さくすることができる。

The purpose of this study is to combine the functions of the platform and the evaluation of the components, to support the development of the platform with specific functions, and to demonstrate the methods of effective generation and evaluation of the results. In fact, the method of using the middle part of the text includes the following: the first part of the text is used to evaluate the text and the second part of the text is used to evaluate the text. For example, in the case of educational PASCAL applications, some evaluation programs are created. The results of this review are listed below: Other, usual, list of items, start, stop, change, content, reference/change, original, list of items, select, select, part, start, stop, change, change, The purpose of this project is to preserve and reuse some of the materials. When the dependency information is analyzed, it is stored in the internal system. When the dependency information is analyzed, it is stored in the internal system. When you get to the top, you get to the bottom. This article refers to the whole PDG(List of Dependency Groups). It is arbitrarily set. It is noted that the text directly affects the extraction of the text. It is dependent on the control of the PDG. The reference part is small.