自動プログラム修理のための例外駆動故障位置決め【JST・京大機械翻訳】

Ginelli Davide; Riganelli Oliviero; Micucci Daniela; Mariani Leonardo

プレプリント

J-GLOBAL ID：202202209156508986 整理番号：22P0022973

自動プログラム修理のための例外駆動故障位置決め【JST・京大機械翻訳】

Exception-Driven Fault Localization for Automated Program Repair

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2022年01月03日プレプリントサーバーでの情報更新日： 2022年01月03日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

自動化プログラム修復(APR)技法は,典型的にスペクトルベース故障局所化(SBFL)を利用して,パッチ化すべきプログラム位置を同定し,故障局所化の有効性に依存するAPR技術の有効性を作った。実際,結果は,SBFLがしばしば故障を正確に局所化せず,APRの有効性を妨げることを示した。本論文では,SBFLのように,実行状態と故障試験間の相関よりも,故障の意味論に焦点を当てて,位置決め問題を扱う技法であるEXCEPTを提案した。例外による故障に焦点を当て,そのタイプとソースを利用して故障を局所化し,推定した。欠陥4Jベンチマークからの43の例外的故障による実験は,EXCEPTがOchiaiとssFixより良好に機能できることを示した。【JST・京大機械翻訳】

, , , , ,
, 【Automatic Indexing@JST】

計算機システム開発 , 固体デバイス計測・試験・信頼性

前のページに戻る