基于测试充分性准则的非死锁并发缺陷定位方法

摘要：

并发程序的非确定性使得其调试工作异常困难.基于程序谱的软件缺陷定位方法虽然能够缓解该情况,但其定位结果依赖于调试信息.针对在此过程中难以获得调试信息及如何选择利用调试信息的问题,提出了一种基于测试充分性准则的缺陷定位方法,该方法包括3个部分:预测满足测试充分性准则的条件;制定相应的测试方案;将收集到的调试信息用于缺陷定位分析.依据此方法,用C#语言实现了缺陷定位工具——ConFinder.在含有实际并发缺陷的程序上进行实验,结果表明该方法可以有效找出引起程序失效的原因并且所得结果具有很好的稳定性.

关键词：平发程序、软件测试、软件缺陷定位

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

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

页数：共7页

页码：195-201