一种基于单条程序执行路径的错误定位方法
文献类型：期刊论文
| 作者 | 周艺 ; 易秋萍 ; 刘剑 ; 淮晓永 |
| 刊名 | 计算机系统应用
 |
| 出版日期 | 2014 |
| 期号 | 10页码:112-118 |
| 关键词 | 错误定位 最弱前置条件 可满足性理论 动态分析 自动化测试 fault localization weakest pre-condition computation satisfiability modulo theories dynamic analysis automated testing |
| ISSN号 | 1003-3254 |
| 其他题名 | Fault Localization Method Based on Program Execution Trace |
| 中文摘要 | 当程序在测试中发生错误时，将形成一条错误的程序执行路径，程序员将会花费很多精力去检测程序代码和定位最终的程序错误。提出一种基于单条程序执行路径的错误定位方法，该方法通过对程序进行反向执行，计算出多个最弱前置条件及其相对应的疑似错误语句集，并生成错误定位树，来辅助程序员进行快速错误定位。对西门子测试数据集进行的实验表明了该方法具有良好的效果。 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. |
| 语种 | 中文 |
| 公开日期 | 2014-12-16 |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。