プログラムのコメント付けによる理解支援

通过添加程序注释来支持理解

• 批准号: 13780280
• 负责人: 川上 浩司
• 金额: $ 1.34万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13780280/
• 关键词: プログラム理解支援; 知識ベースシステム; 説明に基づく学習; 知識精錬; 知識ベース推論; 知識ベース精錬

計算機システム管理の現場では、既存システムの保守のために過去のプログラムの更新が行われる。そのプログラムの多くは、構造化手法が確立する以前に作成されたものが、更に機械的に異言語間コンバートされている。また、更新後の動作保証が最優先されるため、抜本的な修正は避けられ、その結果、幾多の部分的修正が重ねられたものとなる。これがプログラム理解や修正の負担を増加させ、今では管理費の8割りを越えると言われる。そこで、抜本的な修正は避けながら現状のプログラム理解を容易にするため、プログラムにコメント文を付ける手法の開発に着目した。13年度には、プログラムソースの解析部と初期知識ベースを作成した。解析部は、プログラムソースの構文解析、HTGに基づくモジュール分解の後、記号処理可能な表現形式へ変換する。また、初期知識ベースには、現場で通常定められている、ファイル、関数、識別子の統一名称とその意味を断片的な領域固有知識として登録した。さらに、機能仕様書とコメントのついたサンプルプログラムとを対応させ、木構造で表現された機能仕様書の各部分木を目的--手段の関係に読み替え、それにコメントを対応させて知識ベースに登録した。さらに、すでにコメントがつけられているサンプルプログラムに対して、コメントから目的--手段関係を辿って後ろ向きにその実現手段を探索し、最終的にソースの一部に合致した場合に意味解析が成功するという形の解析機構を設計した。14年度には、機能仕様書とコメントのないプログラムを対象とする解析部を実装した。ただし対象プログラムは、ファイル名、関数名、識別子名に対する規約が前年度でサンプルとしたプログラムと等しいものである。解析には、平成13年度で構築した知識ベースと解析機構を用いた。学習機構に関しては、前年度に設計した枠組みを、prologによって計算機上に実装した後、幾つかのサンプルプログラムを入手して、解析と学習を行った。

The computer システム manages the <s:1> site で で, the existing システム, the conservative ために, the past プログラム, and the updated が lines われる. そ の プ ロ グ ラ ム の more く は, construct technique が establish す る に done before さ れ た も の が, more に mechanical に different words between コ ン バ ー ト さ れ て い る. ま た, updated の action to guarantee the most preferred さ が れ る た め, sorting this な correction は avoid け ら れ, そ の results, much の part of the fixed が ね ら れ た も の と な る. Youdaoplaceholder2 れがプログラム understand や correct the burden を increase させ, now で れがプログラム management fee <s:1> 8 cut <s:1> を more えると words われる. そ こ で, sorting this な correction は avoid け な が ら status quo の プ ロ グ ラ ム understand を easy に す る た め, プ ロ グ ラ ム に コ メ ン ト article を pay け る gimmick の open 発 に with mesh し た. In the 13th year, に プログラムソ, プログラムソ, ス, <s:1>, the と initial knowledge of the <s:1> analysis department, ベ, スを and スを were completed as スを た. Parsing は, プ ロ グ ラ ム ソ ー ス の compose text parsing, HTG に base づ く モ ジ ュ ー の ル decomposition, mark 処 may な form へ variations in す る. ま た, early knowledge ベ ー ス に は, on-site で usually め ら れ て い る, フ ァ イ ル uniform name と, masato, identify の そ の mean を な inherent knowledge of fragment と し て login し た. さ ら に, function (others books と コ メ ン ト の つ い た サ ン プ ル プ ロ グ ラ ム と を 応 seaborne さ せ, wood structure で performance さ れ た function shi others books の wood を purpose - means the parts の masato is に 読 み for え, そ れ に コ メ ン ト を 応 seaborne さ せ て knowledge ベ ー ス に login し た. さ ら に, す で に コ メ ン ト が つ け ら れ て い る サ ン プ ル プ ロ グ ラ ム に し seaborne て, コ メ ン ト か ら purpose - means masato is を 辿 っ て after ろ to き に そ の を exploring し, eventually be now means に ソ ー ス の a に close to し た occasions に mean parsing が successful す る と い う form の を design parsing mechanism し た. The 14th annual に た, functional standard books とコメ ト ト ト <s:1> な プログラムを プログラムを and とする analysis department を published た. た だ し like プ seaborne ロ グ ラ ム は, フ ァ イ ル name, masato several, identifying name に す seaborne が る code before the annual で サ ン プ ル と し た プ ロ グ ラ ム と etc し い も の で あ る. Analysis: に に, Heisei 13 で construction of <s:1> た knowledge ベ スと スと Analysis: Institutions を use を た. Before learning institutions に masato し て は, annual に design し た 枠 group み を, prolog に よ っ て computer に be loaded し た after, a few つ か の サ ン プ ル プ ロ グ ラ ム を of し て, analytical study と を っ た.

项目成果

H.Kawakami, et al.: "Failure-driven Knowledge Refinement for Program Commenting"Proc. of Australia-Japan Joint Workshop on Intelligent and Evolutionary Systems. Vol.6. 172-179 (2002)

H.Kawakami 等人：“程序评论的故障驱动知识细化”Proc。