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