【摘要】随着计算机应用的快速发展,软件已经渗透到各行各业,人们高度关注软件的正确性、可靠性、安全性、完整性、可用性等可信性质。而并发程序的出现,使其对正确性测试越发的困难,由于并发程序运行时的不确定性,很难检测到错误；许多并发错误到了用户使用阶段才被发现,再修复这些错误需要付出昂贵的费用。并发正确性测试是可信软件测试过程中最重要的一部分,如何检测出并发错误并采取有效的措施来保证可信软件的并发正确性 […]