一种并发程序的蜕变测试方法

摘要

本发明针对并发程序测试中存在的测试预期问题，公开了一种并发程序的蜕变测试方法，所述蜕变测试方法包括：针对并发程序执行交错的特点，以能够触发数据竞争的交错场景指导蜕变关系模式的识别；将原始测试用例的执行轨迹作为原始执行序列，依据蜕变关系模式生成衍生测试用例，并控制衍生测试用例的执行；通过比较衍生测试用例与原始测试用例的输出结果是否违反当前蜕变关系模式，进行测试结果验证；同时提出了一种并发程序的蜕变关系模式，指导衍生测试用例的生成及测试结果判定。本发明通过缩小并发程序的交错空间，优化了程序的执行过程，能够有效检测出并发程序中的数据竞争故障。