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

摘要：

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

关键词：错误定位、最弱前置条件、可满足性理论、动态分析、自动化测试

分类号：TP3;G4

资助基金：中国科学院知识创新工程重要方向性项目KGCX2-YW-12;国家“核高基”重大科技专项2010ZX01036-001-002-2;国家自然科学基金青年基金61305054

在线出版日期：2014-11-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：112-118