文献

J-GLOBAL ID：201502201633613413   整理番号：15A0582394

SNIPER: 命令型プログラムのためのLLVMベースの自動障害ローカリゼーションツール

SNIPER:An LLVM-based Automatic Fault Localization Tool for Imperative Programs

著者 (2件)： LAMRAOUI Si-Mohamed (SOKENDAI & National Inst. of Informatics, Tokyo, JPN) ,  NAKAJIMA Shin (SOKENDAI & National Inst. of Informatics, Tokyo, JPN)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 114  号： 510(SS2014 55-73)  ページ： 13-18  発行年： 2015年03月02日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 自動障害ローカリゼーションは,障害のあるプログラムをデバッグする人間の開発者を支援するのに有望なものである。ツールSNIPERは命令型プログラムのための式ベースの障害ローカリゼーション方法を実装している。SNIPERは入力プログラムを処理するためにLLVMコンパイラインフラストラクチャを利用し,バックエンドSMTソルバーとしてYicesを使用している。これは,そのインクリメンタル解決能力の利点を活用している。この論文では,SNIPERの内部アーキテクチャを詳しく述べた。また,同様の障害ローカリゼーションツールであるBagAssistと比較して,SNIPERは効率的であり,正確であることを報告した。(翻訳著者抄録)

シソーラス用語： *改変 ,  コンパイラ ,  インフラストラクチャー ,  計算機プログラム ,  仮想機械システム ,  *デバッギング ,  *自動化 ,  応用プログラム ,  実装設計 ,  システムアーキテクチャ ,  計算機診断 ,  充足可能性問題
準シソーラス用語： VMシステム ,  ソフトウェアアーキテクチャ ,  ソルバ ,  プログラムデバッグ ,  モデルベース診断 ,  *ローカリゼーション

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

引用文献 (17件)：

• M. Bekkouche. ANSI-C Benchmark. http://www.i3s.unice.fr/~bekkouch/Benchs_Mohammed.html
• J. Christ, E. Ermis, M. Schaf, and T. Wies. Flow-Sensitive Fault Localization. In Proc. VMCAI 2013, pages 189-208,2013.
• E. Clarke, D. Kroening, and F. Lerda. A Tool for Checking ANSI-C Programs. In Proc. TACAS 2004, pages 168-176,2004.
• R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman and E K. Zadeck. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Trans. Program. Lang. Syst., 13(4):pages 451-490,1991.
• B. Dutertre and L. de Moura. The Yices SMT Solver. http://yices.csl.Sci.com

タイトルに関連する用語 (5件)： 命令 ,  LLVM ,  障害 ,  ローカリゼーション ,  ツール