| 一种基于单条程序执行路径的错误定位方法 |
| 其他题名 | Fault Localization Method Based on Program Execution Trace
|
| 周艺; 易秋萍; 刘剑; 淮晓永
|
| 2014
|
| 发表期刊 | 计算机系统应用
 |
| ISSN | 1003-3254
|
| 期号 | 10页码:112-118 |
| 摘要 | 当程序在测试中发生错误时，将形成一条错误的程序执行路径，程序员将会花费很多精力去检测程序代码和定位最终的程序错误。提出一种基于单条程序执行路径的错误定位方法，该方法通过对程序进行反向执行，计算出多个最弱前置条件及其相对应的疑似错误语句集，并生成错误定位树，来辅助程序员进行快速错误定位。对西门子测试数据集进行的实验表明了该方法具有良好的效果。 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. |
| 关键词 | 错误定位
最弱前置条件
可满足性理论
动态分析
自动化测试
Fault Localization
Weakest Pre-condition Computation
Satisfiability Modulo Theories
Dynamic Analysis
Automated Testing
|
| 部门归属 | 中国科学院软件研究所 总体部，北京 100190; 中国科学院大学 北京 100049 中国科学院软件研究所 总体部,北京,100190
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/16966
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
周艺,易秋萍,刘剑,等. 一种基于单条程序执行路径的错误定位方法[J]. 计算机系统应用,2014(10):112-118.
|
| APA |
周艺,易秋萍,刘剑,&淮晓永.(2014).一种基于单条程序执行路径的错误定位方法.计算机系统应用(10),112-118.
|
| MLA |
周艺,et al."一种基于单条程序执行路径的错误定位方法".计算机系统应用 .10(2014):112-118.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论