| 講演名 | 1995/7/21 プログラムスライシングを用いたプログラミング知識の抽出 平川 一郎, 酒井 三四郎, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | プログラム理解を推論を用いておこなう場合、どのようにして推論規則を作るかという問題がある。この推論規則作成をプログラムスライシング技法を利用して支援する。ソースコードを単純にスライシングするのではなく、スライス基準を計算機が自動的に変更して連続的にスライシングを繰り返すことで、プログラムに含まれる概念を表すと思われるスライスを抽出する。これをスライシング解析と呼ぶ。このスライスに人間が意味付けをおこなうことにより推論規則作成に役立つ情報にする。また、スライシング解析の過程を木に表現することでスライス間の関係に関する情報も得ることができる。現在、ワークステーション上にスライシング解析ツールを実装し、実際にプログラムにスライシング解析を適用している。本稿では、スライシング解析から推論規則作成に有効な情報が得られているか考察する。 |
| 抄録(英) | When a program is understood by inference engine, there is a problem that inference rules are difficult to make. We support to make inference rules using program slicing technique. A program is automatically analyzed by repeating program slicing while changing a slice criterion. Program structures and dependencies are extracted through the analysis. Most of the inference rules are automatically generated and the rest that cannot be generated is supplemented through an interview. At present, a tool that extracts slices from source program are implemented, and actually we are extracting slices from program. In this paper, the authors examine whether slicing analysis is helpful to get effective information for making inference rules. |
| キーワード(和) | プログラム理解 / プログラミング知識 / プログラムスライシング |
| キーワード(英) | Program understanding / programing knowledge / program slicing |
| 資料番号 | |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1995/7/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プログラムスライシングを用いたプログラミング知識の抽出 |
| サブタイトル（和） | |
| タイトル（英） | Extracting Programming Knowledge through Program Slicing |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プログラム理解 / Program understanding |
| キーワード(2)（和/英） | プログラミング知識 / programing knowledge |
| キーワード(3)（和/英） | プログラムスライシング / program slicing |
| 第 1 著者 氏名（和/英） | 平川 一郎 / Ichiroh Hirakawa |
| 第 1 著者 所属（和/英） | 静岡大学工学部 Shizuoka University |
| 第 2 著者 氏名（和/英） | 酒井 三四郎 / Sanshiro Sakai |
| 第 2 著者 所属（和/英） | 静岡大学工学部 Shizuoka University |
| 発表年月日 | 1995/7/21 |
| 資料番号 | |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 173 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |