A Method for Generating Program Specification from Source Program: Analysis by Transforming Program Structure and Argument Manipulation

本論文では，ソースプログラムからプログラム仕様を自動生成するための変形解析法を提案し，この手法を実装したシステムAPSG/I（Automatic Program Specification Generator I）について述べている．変形解析法では，Prologのリスト処理プログラムの類似性に注目し，類推の枠組みを利用することによって，典型的なリスト処理プログラムとその仕様から与えられたプログラムに対する仕様の生成を行っている．まず，プログラムが入力されると，あらかじめ定義した典型的なプログラムと比較して，①命令の有無や実行順序などで規定される構造，②データの受け渡しなどで規定される引数の組合せ，の2点について差異を求める．次に，求めた差異によって，あらかじめ定義したプログラム仕様を変換し，入力されたプログラムの仕様を生成する．変形解析法で生成される仕様は，①プログラム仕様と，仕様を変換する規則を自然語で定義しているため自然言語文になる，②形式が統一され，かつ細部に関する情報についても十分に含んでいるなどの特徴を有している．本研究の一部は，文部省科学研究費（重点領域研(2)02249204）による