一种基于谓词执行序列的软件动态缺陷定位方法

摘要

一种基于谓词执行序列的软件动态缺陷定位方法，包括五个步骤：(1)对含缺陷的程序插桩；(2)加载程序的测试用例，运行插有输出谓词执行序列桩函数的程序；(3)分别收集程序运行正确时，和运行错误时，桩函数的输出信息；(4)对收集到的谓词运行信息做统计学分析，统计学分析又包括统计谓词执行序列、统计谓词执行序列向量、计算谓词关联缺陷度和谓词排序这四小步；(5)根据第四步中得到的谓词序列，对谓词依序进行查找，直到找到缺陷为止。该方法将谓词的执行序列信息贯穿到关联缺陷定位的四个基本步骤中，以提高定位效率，而且方法简单，容易实现。