Institutional Repository
| 一种基于单条程序执行路径的错误定位方法 | |
| Alternative Title | Fault Localization Method Based on Program Execution Trace |
| 周艺; 易秋萍; 刘剑; 淮晓永 | |
| 2014 | |
| Source | 计算机系统应用
 |
| ISSN | 1003-3254 |
| Issue | 10Pages:112-118 |
| English Abstract | 当程序在测试中发生错误时，将形成一条错误的程序执行路径，程序员将会花费很多精力去检测程序代码和定位最终的程序错误。提出一种基于单条程序执行路径的错误定位方法，该方法通过对程序进行反向执行，计算出多个最弱前置条件及其相对应的疑似错误语句集，并生成错误定位树，来辅助程序员进行快速错误定位。对西门子测试数据集进行的实验表明了该方法具有良好的效果。 After a failed test is encountered and the error trace is generated, a significant amount of effort is often required for programmers to manually examine the program code and localize the failure’s root cause. In this paper, we propose a fault localization method based on program execution trace. This method computes a set of possible error statements based on a combination of weakest pre-condition computation through program’s reverse execution. All possible error statements are organized in a fault localization tree to help developer identify the root cause. Our experiments on SIR datasets demonstrate that our method can not only efficiently compute the possible causes, but also provide sufficient information to help programmers quickly locate the root cause. |
| Keyword | 错误定位 最弱前置条件 可满足性理论 动态分析 自动化测试 Fault Localization Weakest Pre-condition Computation Satisfiability Modulo Theories Dynamic Analysis Automated Testing |
| Department | 中国科学院软件研究所 总体部，北京 100190; 中国科学院大学 北京 100049 中国科学院软件研究所 总体部,北京,100190 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16966 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 周艺,易秋萍,刘剑,等. 一种基于单条程序执行路径的错误定位方法[J]. 计算机系统应用,2014(10):112-118. |
| APA | 周艺,易秋萍,刘剑,&淮晓永.(2014).一种基于单条程序执行路径的错误定位方法.计算机系统应用(10),112-118. |
| MLA | 周艺,et al."一种基于单条程序执行路径的错误定位方法".计算机系统应用 .10(2014):112-118. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment