一种基于Delta Debugging与约束求解的并发程序缺陷定位方法

摘要

本发明公开了一种基于Delta Debugging与约束求解的并发程序缺陷定位方法，利用内存访问模式来抽象程序执行轨迹(Trace)来帮助程序开发人员理解错误原因，利用Delta Debugging方法快速找到导致并发程序失败的内存访问模式集合，以及利用约束求解技术生成满足要求的可执行程序轨迹(Trace)。本发明利用Delta Debugging算法，可以快速准确定位到导致错误的原因；利用约束求解技术可以高效找到符合要求的可执行程序序列，进一步提高定位速度。