一种基于单条程序执行路径的错误定位方法

• 作者: 刘剑 周艺 易秋萍 淮晓永
• 来源期刊: 计算机系统应用
• 关键词: 错误定位 最弱前置条件 可满足性理论 动态分析 自动化测试
• 年，卷（期）: 2014,（10）
• 所属期刊栏目: 软件技术?算法
• 页码范围: 112-118
• 页数: 7页
• 字数: 7050字
• 语种: 中文

摘要

当程序在测试中发生错误时，将形成一条错误的程序执行路径，程序员将会花费很多精力去检测程序代码和定位最终的程序错误。提出一种基于单条程序执行路径的错误定位方法，该方法通过对程序进行反向执行，计算出多个最弱前置条件及其相对应的疑似错误语句集，并生成错误定位树，来辅助程序员进行快速错误定位。对西门子测试数据集进行的实验表明了该方法具有良好的效果。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	淮晓永	中国科学院软件研究所总体部	17	356	12.0	17.0
2	刘剑	中国科学院软件研究所总体部	66	379	12.0	17.0
3	周艺	中国科学院软件研究所总体部	74	1911	28.0	42.0
7	易秋萍	中国科学院软件研究所总体部	3	7	2.0	2.0