Reachability Testing of Monitor-based Programs

Y. Lei and R. Carver (USA)


Reachability Testing, Software Testing, Monitor-based Programs, Multithreaded Programs


Concurrent programs exhibit non-deterministic behavior, which makes them difficult to test. In this paper, we describe how to apply reachability testing to monitor based multithreaded programs, i.e., programs that use monitors to synchronize operations on shared data. A novel aspect of reachability testing is that it derives test sequences on-the-fly, without constructing any static models. Also, our reachability testing algorithms deal with partial orders directly, avoiding the test sequence explosion problem that occurs when independent events are interleaved. We describe a tool called RichTest and report some preliminary results.

Important Links:

Go Back