The Investigation And Implementation Of A Reachability Testing Framework For Java Multithread

The nondeterministic behavior of concurrent software, make the results of running and testing uncertain, so they are difficult to specify, design, code, debug and test. Reachability testing is a valid method for concurrent software testing. In this paper, we propose a strategy for selecting synchronization sequences from Java multi-thread program based on the analyzing of reading and writing on shared variable, and implemented a deterministic testing framework of Java multi-thread program by using the dynamic proxy class. A reachability testing system of Java multi-thread program is constructed by the Strategy and the deterministic testing framework .