基于不确定性的并发正确性测试方法的改进

摘要

The uncertainty and asynchronous nature in the implementation of multi-threading makes it fairly difficult to test the correctness of the concurrent program .To improve the efficiency , it proposed a method to test the correctness of concurrent programs , based on the non-deterministic test method . Through intensifying concurrent programs to compete for resources , the potential concurrency errors were found and the correctness of concurrent programs was tested .The experimental results show that with this method, the efficiency of testing concurrent correctness is validly improved .And that the errors in the concurrency program can be found with more efficiency .%多线程执行过程中的不确定性和异步性，导致测试并发程序的正确性相当困难。基于不确定测试方法上，提出了一个改进的并发程序正确性测试方法。通过激化并发程序的资源竞争来发现潜在的并发错误，从而测试并发程序的正确性。实验结果表明，使用该测试方法可以更加精确地发现并发程序产生的错误并有效地提高并发正确性测试的效率。