Dynamic testing for Java monitor

[[abstract]]In this thesis, we study how to apply the dynamic effective testing to Java programs which the synchronization mechanism is the Java monitor. Compare with the shared-memory access and shared semaphore based concurrent program, Java monitor based concurrent programs exhibit much more complicated synchronization behavior as the Java monitor contains "wait", "notify", "notify all", and exclusive execution of synchronization methods and a segment of codes. Thus, we need to design new prefix-based replay protocol for Java monitor based concurrent program to conduct dynamic effective testing. We also design an algorithm to make the feasibility check of generated race variants. According to the implementation and experimental results, we demonstrate that we can perform dynamic effective testing on Java monitor based concurrent program to achieve the goal of state-cover testing.