文献

J-GLOBAL ID：201902239689498902   整理番号：19A0797566

アバタ:静的解析違反の固定パターンによる意味的バグの固定【JST・京大機械翻訳】

AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations

著者 (4件)： Liu Kui (Interdisciplinary Centre for Security Reliability and Trust (SnT), University of Luxembourg, Luxembourg) ,  Koyuncu Anil (Interdisciplinary Centre for Security Reliability and Trust (SnT), University of Luxembourg, Luxembourg) ,  Kim Dongsun (Interdisciplinary Centre for Security Reliability and Trust (SnT), University of Luxembourg, Luxembourg) ,  Bissyande Tegawende F. (Interdisciplinary Centre for Security Reliability and Trust (SnT), University of Luxembourg, Luxembourg)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： SANER  ページ： 1-12  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 固定パターンベースのパッチ生成は,自動化プログラム修復(APR)における有望な方向である。特に,遺伝的プログラミングにより突然変異演算子で得られたパッチよりも,より許容可能で正しいパッチを生成することが示されている。しかしながら,パターンベースのAPRシステムの性能は,開発履歴における固定変化から採掘された固定成分に依存する。残念ながら,リポジトリにおけるバグ固定具の信頼できるセットの収集は困難である。本論文では,静的バグ検出ツールによる違反を扱うレバーエージング符号変化のAPRシナリオにおける可能性を調べることを提案した。そのために,パッチ生成のための成分として静的解析違反の固定パターンを利用するAVATAR APRシステムを構築した。Defects4Jベンチマークについて評価し,故障の完全な局在化を仮定すると,AVATARは34/39のバグを固定するための正しいパッチを生成できることを示した。さらに,AVATARは,文献における密接に関連するアプローチと同等の性能計量をもたらすことを見出した。AVATARは多くの最新のパターンベースのAPRシステムより優れているが,それは現在のアプローチにほとんど相補的である。全体として,著者らの研究は,機能的テストケースで同定されたコード欠陥を扱うための固定成分の間接的寄与としての静的バグ発見ツールの関連性を強調する。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *ソフトウェア障害 ,  遺伝的プログラミング ,  リポジトリ ,  ベンチマーク ,  固定具 ,  自動化 ,  忍容性 ,  突然変異演算子 ,  *アバタ ,  *静的コード解析 ,  進化的計算 ,  改変
準シソーラス用語： テストケース ,  局在化 ,  許容性 ,  *静的解析 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： アバタ ,  静的解析 ,  意味 ,  バグ