广东工业大学学报Issue(3)：109-113,5.DOI:10.3969/j.issn.1007-7162.2014.03.019
基于不确定性的并发正确性测试方法的改进
Improvement of the Concurrency Correctness Testing Method Based on Non-deterministic Test Method
摘要
Abstract
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 .关键词
并发测试/非确定性测试/资源竞争/并发正确性Key words
concurrency testing/non-deterministic test/resource competition/concurrency correctness分类
信息技术与安全科学引用本文复制引用
李桢,徐海水..基于不确定性的并发正确性测试方法的改进[J].广东工业大学学报,2014,(3):109-113,5.基金项目
广东省自然科学基金资助项目 （）
