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

摘要：

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

关键词：并发测试、非确定性测试、资源竞争、并发正确性

分类号：TP306.2(计算技术、计算机技术)

资助基金：广东省自然科学基金资助项目07001802

在线出版日期：2014-10-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：109-113