文献

J-GLOBAL ID：201702235067021252   整理番号：17A0113492

ノポール:Javaプログラムにおける条件付きステートメントバグの自動修復【Powered by NICT】

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

著者 (8件)： Xuan Jifeng (State Key Lab of Software Engineering, School of Computer, Wuhan University, Wuhan, China) ,  Martinez Matias (Faculty of Informatics, University of Lugano, Lugano, Switzerland) ,  DeMarco Favio (University of Buenos Aires, Buenos Aires, Argentina) ,  Clement Maxime (Department of Computer Science, University of Lille, Lille, France) ,  Marcote Sebastian Lamelas (University of Buenos Aires, Buenos Aires, Argentina) ,  Durieux Thomas (Department of Computer Science, University of Lille, Lille, France) ,  Le Berre Daniel (University of Artois & CNRS, Lens, France) ,  Monperrus Martin (University of Lille & INRIA, Lille, France)
資料名： IEEE Transactions on Software Engineering  (IEEE Transactions on Software Engineering)
巻： 43  号： 1  ページ： 34-55  発行年： 2017年 
JST資料番号： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ノポール,バギー条件文(すなわち,if-then-elseステートメント)の自動修復へのアプローチを提案した。このアプローチは,バギープログラムと同様に入力としてテストスイートを採用し,出力として条件付き発現とパッチを生成する。テストスイートは,プログラムの期待される挙動と欠陥が修復されるを明らかにすることを少なくとも1つの不全テストケースをモデル化するために通過するテストケースを含むことが必要である。ノポールのプロセスは三つの主要な段階から成る。ノポール試験施工中の条件の期待値を同定するためのアンゲリカ固定局在を採用している。第二に,実行時トレース収集は,原始データ型とオブジェクト指向特徴(例えば,nullnessチェック)を含む変数とそれらの実際の値を収集パッチ生成のためのビルディングブロックとして機能するのに使用される。第三に,ノポールは充足可能性モジュロ理論(SMT)問題の例にこれらの収集したデータをコードしている;SMT例えばに実現可能な解は,コードパッチへ再翻訳された。二大規模オープンソースプロジェクトにおける22件の実世界バグ(バギーならば条件16バグと失われた前提条件六バグ)に対するノポール,すなわちApacheコモンズ数学とApacheコモンズLangを評価した。これらバグに関する経験的分析は,筆者らのアプローチは,条件と失われた前提条件かどうかバギーとバグを効果的に固定化できることを示した。実バグ修正の事例研究を用いたノポールの可能性と限界を示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： Java ,  *ソフトウェア障害 ,  モデリング ,  データ型 ,  事例研究 ,  期待値 ,  実証分析 ,  オレフィン化合物 ,  架橋化合物 ,  不飽和アルコール ,  二環モノテルペン
準シソーラス用語： 固定化 ,  Apacheモジュール ,  ビルディングブロック ,  テストケース ,  テストスイート , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

物質索引 (1件)： ノポール

タイトルに関連する用語 (4件)： ノポール ,  Java ,  バグ ,  修復