アブダクティブ推論を用いた自動誤り診断

DILLIG Isil; DILLIG Thomas; AIKEN Alex

文献

J-GLOBAL ID：201202273173313822 整理番号：12A1243828

アブダクティブ推論を用いた自動誤り診断

Automated Error Diagnosis Using Abductrve Inference

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=12A1243828&from=J-GLOBAL&jstjournalNo=D0915A") }}

著者 (3件)： , ,
資料名：
巻： 47 号： 6 ページ： 181-191 発行年： 2012年06月
JST資料番号： D0915A ISSN： 0362-1340 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

静的解析がプログラムの正確性の検証に失敗した時,そのツールによって生成された報告が純粋なバグか偽警告かを決定する重荷はユーザに掛かっている。本論文において,筆者らは自動静的解析がプログラムの検証に失敗した時に誤り報告分類においてユーザを支援するための新しい技法を提案した。本技法はその解析がプログラムの検証あるいは実際の誤りの存在の証明いずれかを損なっているという事実を正確に捕獲する小さな関連したクエリを計算する事によって検証ツールがユーザと相互作用する事を可能とする。それから,これらのクエリを回答がイエスかノーかを決定するユーザに対して提示する。実験結果は本技法が誤り報告分類の速度及び精度双方を改善するために非常に有用である事を論証した。

, , , , , , ,
,

計算機システム開発

, ,

前のページに戻る