基于启发式规则的并发式自适应随机测试方法

摘要

本发明公开了一种基于启发式规则的自适应随机并发测试方法，步骤1、随机执行待测试并发程序作为输入；步骤2、从初始状态开始探索程序状态空间；步骤3、进行启发式规则排序选择，三种启发规则分别为线程切换频率、写操作占比和共享变量个数；步骤4、在基于距离度量以及启发式规则排序之后，控制存储所有可行子状态的队列Q的长度，利用超参数N进行调整，直至到达程序的终止状态；步骤5、进行错误报告，即能够检测出为给定的待测并发程序其包含的错误，最终输出检测到的错误的详细信息报告。与现有技术相比，本发明利用启发式规则提高了加速检测并发程序的效率，从而解决了利用内存访问模式检测出现的“冷启动”问题；通过不断积累之前探索的信息，矫正之后的检测方向，大幅提高了检测并发程序错误的效率。