WEKO3
アイテム
A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs
https://ipsj.ixsq.nii.ac.jp/records/147454
https://ipsj.ixsq.nii.ac.jp/records/1474546c80a8c9-cce8-41e1-9448-ef327f7b7a41
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL5701039.pdf (322.6 kB)
|
Copyright (c) 2016 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2016-01-15 | |||||||||
| タイトル | ||||||||||
| タイトル | A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | [一般論文] model-based diagnosis theory, multiple faults, partial maximum satisfiability, LLVM, Yices | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| 資源タイプ | journal article | |||||||||
| 著者所属 | ||||||||||
| The Graduate University for Advanced Studies (SOKENDAI)／National Institute of Informatics | ||||||||||
| 著者所属 | ||||||||||
| National Institute of Informatics／The Graduate University for Advanced Studies (SOKENDAI) | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| The Graduate University for Advanced Studies (SOKENDAI) / National Institute of Informatics | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| National Institute of Informatics / The Graduate University for Advanced Studies (SOKENDAI) | ||||||||||
| 著者名 |
Si-Mohamed, Lamraoui
× Si-Mohamed, Lamraoui
× Shin, Nakajima
|
|||||||||
| 著者名(英) |
Si-Mohamed, Lamraoui
× Si-Mohamed, Lamraoui
× Shin, Nakajima
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Formula-based fault localization approach is an algorithmic method that is able to provide fine-grained information account for identified root causes. The method combines the SAT-based formal verification techniques with the Reiter's model-based diagnosis theory. This paper adapts the formula-based fault localization method, and introduces a new program encoding, called full flow-sensitive trace formula. This encoding is particularly useful for programs with multiple faults. Furthermore, we improve the efficiency of computing the potential root causes by using the push & pop mechanism of the Yices solver. We implemented the method in a tool, SNIPER, which was applied to some benchmarks. All single and multiple faults were successfully identified and discriminated. \n------------------------------ This is a preprint of an article intended for publication Journal of Information Processing(JIP). This preprint should not be cited. This article should be cited as: Journal of Information Processing Vol.24(2016) No.1 (online) DOI http://dx.doi.org/10.2197/ipsjjip.24.88 ------------------------------ |
|||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Formula-based fault localization approach is an algorithmic method that is able to provide fine-grained information account for identified root causes. The method combines the SAT-based formal verification techniques with the Reiter's model-based diagnosis theory. This paper adapts the formula-based fault localization method, and introduces a new program encoding, called full flow-sensitive trace formula. This encoding is particularly useful for programs with multiple faults. Furthermore, we improve the efficiency of computing the potential root causes by using the push & pop mechanism of the Yices solver. We implemented the method in a tool, SNIPER, which was applied to some benchmarks. All single and multiple faults were successfully identified and discriminated. \n------------------------------ This is a preprint of an article intended for publication Journal of Information Processing(JIP). This preprint should not be cited. This article should be cited as: Journal of Information Processing Vol.24(2016) No.1 (online) DOI http://dx.doi.org/10.2197/ipsjjip.24.88 ------------------------------ |
|||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN00116647 | |||||||||
| 書誌情報 |
情報処理学会論文誌 巻 57, 号 1, 発行日 2016-01-15 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 1882-7764 | |||||||||
