Inoue, Katsuro

Lian, Lin

Takaya, Nobuyuki

Torii, Koji

井上, 克郎

練, 林

高谷, 暢之

鳥居, 宏次

年々ソフトウェアは多機能化，大規模化している．一般に，利用者はソフトウェアのすべての機能を利用しておらず，一部の機能のみを利用している場合が多い．多機能なソフトウェアから，必要な機能だけを残し，それ以外の不要な機能を削除したソフトウェアが容易に構築できれば，サイズも小さくなり，その実行効率の向上が期待できる．またプログラム部品として別の用途に用いることもできる．本稿では，既存のプログラムに対して，入出力の値を制限することによってその機能を限定した小さな軽いプログラム（簡素化プログラム）を自動生成する方法を提案する．さらに，この方法を一般化するための枠組についても提案する.Software systems we are using are becoming larger and larger. However, all the facilities provided to the users would be hardly used, but some specific ones are repeatedly used. In this paper, we propose a program simplification method, which extracts the program statements related to the specific facilities and remove other unnecessary statements. The extraction is based on the techniques to restrict input and/or output domains. This restriction leads to source program transformation, based on partial evaluation technique and static slicing technique. The resulting program (simplified program) performs only the restricted facilities, and it would be smaller and more efficient than the original one. Also, the simplified program is used as a program component for other software systems. We propose an idea of a formal and uniform framework for this method

Osaka University Knowledge Archive

プログラム　ノ　セイテキ　カイセキ　ギホウ　ヲ　モチイタ　プログラム　カンソカ　シュホウ　ノ　ケントウ

http://ir.library.osaka-u.ac.jp/dspace/bitstream/11094/50205/1/ipsj-pro_015_7_17.pdf

プログラム　ノ　セイテキ　カイセキ　ギホウ　ヲ　モチイタ　プログラム　カンソカ　シュホウ　ノ　ケントウ

Abstract

Similar works

Full text

Available Versions

Osaka University Knowledge Archive

プログラム ノ セイテキ カイセキ ギホウ ヲ モチイタ プログラム カンソカ シュホウ ノ ケントウ

Abstract

Similar works

Full text

Available Versions

Osaka University Knowledge Archive

プログラム　ノ　セイテキ　カイセキ　ギホウ　ヲ　モチイタ　プログラム　カンソカ　シュホウ　ノ　ケントウ