Prologを対象としたソースプログラムからのプログラム仕様自動生成 : 構造と引数操作パターンに基づく変形解析法の提案
電子情報通信学会論文誌 D J76-D2 巻 12 号
2586-2596 頁
1993-12-25 発行
アクセス数 : 662 件
ダウンロード数 : 48 件
今月のアクセス数 : 1 件
今月のダウンロード数 : 0 件
この文献の参照には次のURLをご利用ください : https://ir.lib.hiroshima-u.ac.jp/00045768
| ファイル情報(添付) | |
| タイトル ( jpn ) |
Prologを対象としたソースプログラムからのプログラム仕様自動生成 : 構造と引数操作パターンに基づく変形解析法の提案
|
| タイトル ( eng ) |
A Method for Generating Program Specification from Source Program: Analysis by Transforming Program Structure and Argument Manipulation
|
| 作成者 |
永井 隆弘
今中 武
永澤 勇一
上原 邦昭
豊田 順一
|
| 収録物名 |
電子情報通信学会論文誌 D
|
| 巻 | J76-D2 |
| 号 | 12 |
| 開始ページ | 2586 |
| 終了ページ | 2596 |
| 抄録 |
本論文では，ソースプログラムからプログラム仕様を自動生成するための変形解析法を提案し，この手法を実装したシステムAPSG/I（Automatic Program Specification Generator I）について述べている．変形解析法では，Prologのリスト処理プログラムの類似性に注目し，類推の枠組みを利用することによって，典型的なリスト処理プログラムとその仕様から与えられたプログラムに対する仕様の生成を行っている．まず，プログラムが入力されると，あらかじめ定義した典型的なプログラムと比較して，①命令の有無や実行順序などで規定される構造，②データの受け渡しなどで規定される引数の組合せ，の2点について差異を求める．次に，求めた差異によって，あらかじめ定義したプログラム仕様を変換し，入力されたプログラムの仕様を生成する．変形解析法で生成される仕様は，①プログラム仕様と，仕様を変換する規則を自然語で定義しているため自然言語文になる，②形式が統一され，かつ細部に関する情報についても十分に含んでいるなどの特徴を有している．
|
| 著者キーワード |
プログラム仕様生成
Prolog
プログラム解析
リスト処理プログラム
|
| 内容記述 |
本研究の一部は，文部省科学研究費（重点領域研(2)02249204）による．
|
| NDC分類 |
教育 [ 370 ]
|
| 言語 |
日本語
|
| 資源タイプ | 学術雑誌論文 |
| 出版者 |
電子情報通信学会
|
| 発行日 | 1993-12-25 |
| 権利情報 |
Copyright (c) 1993 IEICE
|
| 出版タイプ | Version of Record（出版社版。早期公開を含む） |
| アクセス権 | オープンアクセス |
| 収録物識別子 |
[ISSN] 0915-1923
[NCID] AN1007132X
[URI] http://search.ieice.org/bin/summary.php?id=j76-d2_12_2586&category=D&lang=J&year=1993
[URI] http://search.ieice.org/
|
