论文部分内容阅读
多线程执行过程中的不确定性和异步性，导致测试并发程序的正确性相当困难。基于不确定测试方法上，提出了一个改进的并发程序正确性测试方法。通过激化并发程序的资源竞争来发现潜在的并发错误，从而测试并发程序的正确性。实验结果表明，使用该测试方法可以更加精确地发现并发程序产生的错误并有效地提高并发正确性测试的效率。