以布尔表达式的求值序列为谓词单元的软件错误定位方法技术

本发明专利技术属于软件测试领域，涉及一种以布尔表达式的求值序列为谓词单元的软件错误定位方法，步骤包括：提取待测软件程序中的各布尔表达式，得到其对应的布尔表达式的求值序列；将布尔表达式的求值序列作为谓词，收集各谓词在程序执行中的执行信息；根据各谓词的执行信息，计算各谓词的可疑度，根据可疑度确定与软件错误相关的谓词；根据与软件错误相关的谓词的位置定位软件错误位置。本发明专利技术使收集的谓词信息更充分、粒度更细，更容易且更准确地找到与错误最相关的谓词，从而提高了错误定位的准确度。

【技术实现步骤摘要】

本专利技术属于软件测试
，涉及一种软件错误定位方法，特别提供了一种，可应用于动态的软件错误定位。
技术介绍
为了修改软件中存在的错误，对错误进行定位是必要的步骤之一。软件测试中的错误定位是最困难、最耗时的任务，使用一种自动化的错误定位技术来协助程序员找到错误是解决软件测试问题的趋势。学术界早在十年前已经提出了自动化错误定位的概念。一种流行的方法是通过查找与程序执行结果相关度高的程序语句来定位程序错误。这类方法称为“语句级别的统计错误定位方法”，它关注的是程序语句在成功测试用例和失败测试用例执行中的执行信息的差异。要应用此类分析技术，必须具备两个关键因素(1) 一个(或一组)用于参考的程序执行信息特征，用以提供分析语句可疑度的信息；( 一个评估函数，用以衡量语句的可疑度。Jones等人于2002年基于此类方法进行了研究。还有一种方法是将特定的程序语句(例如布尔表达式)视作谓词，将谓词作为程序实体，进行可疑度评估。此类方法对比每个谓词在成功测试用例执行中的求值和在失败测试用例执行中的求值。二者的差别越大，说明这个谓词与程序错误的相关度越高。按照谓词可疑度对谓词进行排序，就可以获本文档来自技高网...

【技术保护点】

【技术特征摘要】

【专利技术属性】
技术研发人员：张震宇，高文超，
申请(专利权)人：中国科学院软件研究所，
类型：发明
国别省市：