| 講演名 | 1998/1/22 プラン認識に基づくCプログラムの保守ツール 関本 理佳, 海尻 賢二, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | プログラムの保守を支援するために、プランを利用した検索パターンの表現方法を提案し、プラン認識に基づきソースコードを探索するCプログラムの保守ツールを試作した。本システムは、プランの表現をテンプレートと制約に分離して記述することにより、プランの記述が柔軟で、拡張が容易であるという特徴を持つ。我々は、これをプログラミングスタイルの診断システムとして応用し、種々の悪形パターンをプランとして記述し、UNIXのテキストユーティリティのプログラム群を対象とした認識実験を行なった。本実験により、テキスト上の単純なパターンマッチングでは検索が難しい文脈依存や関数にまたがるパターンなども容易に記述でき、探索可能であることが確認できた。また、制約の追加によるシステムの拡張性も実証できた。 |
| 抄録(英) | We have proposed plan representation method for source code search and implemented a maintenance tool using plan recognition technique in order to assist maintenance of C programs. In order to make it flexible to define plans and to make it easy to extend the system, we divided the description of plans into the template part and the constraint part. We apply the plan recognition system to diagnosis of programming style. We attempted the plan definition of various kinds of ill-formed patterns and did recognition experiment for programs in the GNU text utility library. We ascertained that the description and recognition for the dispersed or context dependent plans, which is difficult in former methods, is possible in our method. We also ascertained the extendibility of the system by adding the new constraints. |
| キーワード(和) | 保守 / ソースコード探索 / プラン / プログラミングスタイル / プログラム認識 |
| キーワード(英) | maintenance / source code search / plan / programming style / program recognition |
| 資料番号 | KBSE97-25 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1998/1/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プラン認識に基づくCプログラムの保守ツール |
| サブタイトル（和） | |
| タイトル（英） | A Maintenance Tool of C Programs Using Plan Recognition |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 保守 / maintenance |
| キーワード(2)（和/英） | ソースコード探索 / source code search |
| キーワード(3)（和/英） | プラン / plan |
| キーワード(4)（和/英） | プログラミングスタイル / programming style |
| キーワード(5)（和/英） | プログラム認識 / program recognition |
| 第 1 著者 氏名（和/英） | 関本 理佳 / Rika SEKIMOTO |
| 第 1 著者 所属（和/英） | 信州大学工学部情報工学科 Faculty of Engineering, Shinshu University |
| 第 2 著者 氏名（和/英） | 海尻 賢二 / Kenji KAIJIRI |
| 第 2 著者 所属（和/英） | 信州大学工学部情報工学科 Faculty of Engineering, Shinshu University |
| 発表年月日 | 1998/1/22 |
| 資料番号 | KBSE97-25 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 502 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |