文献

J-GLOBAL ID：201802246463467786   整理番号：18A1573123

可変空間代数に基づく自動プログラム修復手法【JST・京大機械翻訳】

Automatic Program Repair Based on Version-Space Algebra

著者 (4件)： Xu Yong (广東肇慶学院数学与統計学院,广東肇慶,526061) ,  Wu Guoqing (武漢大学計算机学院,湖北武漢,430072) ,  Yuan Mengting (武漢大学計算机学院,湖北武漢,430072) ,  Huang Bo (上海工程技術大学電子電气工程学院計算机系,上海,201620)
資料名： Dianzi Xuebao  (Dianzi Xuebao)
巻： 45  号： 10  ページ： 2498-2505  発行年： 2017年 
JST資料番号： C2504A  ISSN： 0372-2112  CODEN： TTHPAG  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： コード列挙に基づく自動プログラム修復方法は,突然変異オペレータによってプログラム中の誤り文の変更操作を行い,プログラムの修復解を得る。構文と突然変異オペレータの数の制限の欠如のため,この方式の有効性は,さらに改善する必要がある。本論文では,可変空間代数に基づく自動プログラム修復法,すなわち回帰テストケースセットを訓練事例と見なし,帰納学習によりプログラム中の誤り文の修復解を得た。具体的に言えば、この方法は以下の特徴を含む:(1)文法から変化空間までの自動構造生成方法(2)、可変空間ツリー中の可変空間の異なる種類によって、それぞれ一致性定義(3)、静的および類型検査の可変空間代数演算を結びつける。実験結果は,コード列挙と検索に基づく修復方法と比較して,本論文で提案した方法が修復の成功率においてより優勢であり,同時に,静的およびタイプ検査機構が仮説空間のスケールを効果的に削減できることを示した。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： *代数学 ,  文法 ,  帰納学習 ,  演算 ,  突然変異 ,  構造形成 ,  オペレータ
準シソーラス用語： テストケース ,  構文 , 【Automatic Indexing@JST】

著者キーワード (5件)： automatic program repair ,  version-space algebra ,  inductive learning ,  context-free grammar ,  derivative tree

分類 (2件)： 数値計算  (JE02000J) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： 可変 ,  代数 ,  修復 ,  手法