Transcript オントロジーを使用したプログラム開発支援システムの提案

オントロジーを使用した
プログラム開発支援システムの提案
神奈川大学 工学部 電気電子情報工学科
斎藤 倫紀
松田 充敏
能登 正人
はじめに


現在、IT技術の発展によってソフトウェア開発の規
模は大きくなり、多種多様なソフトウェアが求められ
てきている
それに対応して、さまざまな開発手法が考案され、
実際のソフトウェア開発でも利用されている
はじめに

しかし、それらのプログラムのほとんどは開発者の
中での閉じた手法であり、開発者以外には理解し
辛い
オントロジー

開発者と他者との共通理解を目的としたプログラ
ム解析システムの構築をする
オントロジー

世界に存在するすべてのものを体系化し、それぞれ
の関係性を明らかにする
情報工学

ある項目群の関係性を、コンピュータに理解できる記
述方式で階層的に記述したもの
オントロジー


概念と概念の間の関係を結びつけ、その概念が
持っている性質や特徴を表現し、そのものがどのよ
うなものであるかということを定義し知識を記述する
知識が表している内容が明確になり、さまざまな相
互理解を助けることができる
オントロジー構成要素


概念クラス・・・ノードとして表され、見出し語に相当する
意味リンク・・・概念と概念を結び、その間の関係を表す
(1)is-a関係(一般-特殊リンク)
概念間の上位(super)-下位(sub)関係を表す
(2)part-of(p/o)関係
概念間の全体-部分関係を表す
オントロジー構築




オントロジー構築環境である「法造」を利用する
制御文や関数を概念化し、プログラムの中ではどのように記
述されているかを考えて構築する
現在の概念の数は197
概念と概念を意味リンクで結びつけていき、それぞれの関係
を明確する
提案システム
開始

プログラム解析対象を基
本的で広く活用されてい
るC言語とする
オントロジー読み込み
解析対象プログラム入力
オントロジーの概念と解析対象のワードが
一致するものを検索
Y
コメント出力
一致？
N
文の終了？
Y
終了
N
C言語オントロジー
for(初期設定式;継続条件式;再設定式){
文1;
文2;
・・・
}
出力例 バブルソート
おわりに



作成したオントロジーを使用することでソースプログラ
ムにコメントを付け加えることができる
構築したオントロジーをさらに使用しやすいものにす
るために概念の性質や特徴の表現に改良を加える
複数行のコメントを出力させるようにする
オントロジーを使用した
プログラム開発支援システムの提案
神奈川大学 工学部 電気電子情報工学科
斎藤 倫紀
松田 充敏
能登 正人