A framework of reachability testing for Java multithread programs

The nondeterministic behavior of concurrent software makes the results of its running and testing uncertain. So it is difficult to debug and test concurrent software. Reachability testing is an effective method for concurrent software testing. This paper presents a framework for selecting synchronization sequences from Java multithread program based on the analysis of reading and writing shared variables. Our framework consists of a strategy for generating synchronization sequence set of reachability testing, and an approach for deterministic testing of the synchronization sequences. A prototype for reachability testing of Java multithread program has been developed. In the prototype, a dynamic proxy class is used to implement a deterministic testing framework of Java multithread program.