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

• 作者: 徐海水 李桢
• 来源期刊: 广东工业大学学报
• 学科: 工学
• 关键词: 并发测试 非确定性测试 资源竞争 并发正确性
• 年，卷（期）: 2014,（3）
• 页码范围: 109-113
• 页数: 5页
• 分类号: TP306.2
• 字数: 4444字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7162.2014.03.019

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐海水	广东工业大学计算机学院	14	91	5.0	9.0
5	李桢	广东工业大学计算机学院	1	1	1.0	1.0