一种基于偏序关系的通用并发缺陷检测方法及系统

摘要

本发明提出一种基于偏序关系的通用并发缺陷检测方法及系统，属于软件测试技术领域和软件可靠性领域，可以将多种并发缺陷经过转化得到待测序列，进而进行检测，本发明不局限于某一种特定的并发缺陷，能够检测数据竞争、死锁、原子性违背等多种并发缺陷。能够在多项式时间内得到检测结果，且检测得到的缺陷都是真实的，没有误报情况。