講演名 1993/7/19
模範解の知識を利用した類似ネットワークによるプログラム理解
川崎 治夫,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) プログラム理解システムでは一般的に、プログラミング課題に関する多くの知識を事前に与えておく必要がある。だから新しいプログラミング課題を与えるためには、この課題に対する必要な知識をシステムに与えなければならない。我々は類似ネットワークを利用した新しいプログラム理解システムについて述べる。このシステムは、模範解の知識だけを利用する。我々のシステムは三つの特色を持っている。第一にプログラムの意味を構造木列で表現する。第二にプログラム構造木列にデータ構造を対応づけ学生解の評価に利用する。第三に学生解の意味を解析するために類似ネットワークを使う。これらの特色により知識が模範解だけであることにより起こる、知識不足を補っている。
抄録(英) Genrally speaking program understanding systems presuppose large amount of knowledge on the problem domains of the programs they are supposed to understand.Hence,adding new programming problems to these systems requires preparing the necessary knowledge for the new problems.We propose a new program understanding system based on similarity networks.This system uses only knowledge about prespecified model solutions.Our approach has three characteristic points.First,we represent meaning of the programs as the sequences of structural trees.Second,the teacher assigns data structure to parts of structural trees that compute meaningful information,and these data structure are used to estimate the correctness of student solutions.Third,we use the similarity networks to analyze the meaning of student solutions.We can cover the lack of knowledge by these points.
キーワード(和) プログラム理解システム / 類似ネットワーク / データ構造
キーワード(英) program understanding system / similarity network / information structure
資料番号 KBSE93-8
発行日

研究会情報
研究会 KBSE
開催期間 1993/7/19(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) 模範解の知識を利用した類似ネットワークによるプログラム理解
サブタイトル(和)
タイトル(英) Similarity network based program understanding using knowledge about model solutions
サブタイトル(和)
キーワード(1)(和/英) プログラム理解システム / program understanding system
キーワード(2)(和/英) 類似ネットワーク / similarity network
キーワード(3)(和/英) データ構造 / information structure
第 1 著者 氏名(和/英) 川崎 治夫 / Haruo Kawasaki
第 1 著者 所属(和/英) 国士舘大学情報科学センター
Center for Information Science,Kokushikan University
発表年月日 1993/7/19
資料番号 KBSE93-8
巻番号(vol) vol.93
号番号(no) 146
ページ範囲 pp.-
ページ数 8
発行日