loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th Australian Software Engineering Conference (ASWEC'01)
Testing Java Monitors through Deterministic Execution
Canberra, Australia
August 27-August 28
ISBN: 0-7695-1254-2
Craig Harvey, The University of Queensland
Paul Strooper, The University of Queensland
Abstract: Java is a popular, modern programming language that supports monitors. However, monitor implementations, like other concurrent programs, are hard to test due to the inherent non-determinism. This paper presents a method for testing Java monitors, which extends the work of Brinch Hansen on testing Concurrent Pascal monitors. A monitor is tested by executing a concurrent program in which the processes are synchronised by a clock to make the sequence of interactions deterministic and reproducible. The method is extended to account for the differences between Concurrent Pascal monitors and Java monitors, and to provide additional coverage of the implementation under test. Tool support and documentation in the form of a test plan are also provided. The method is illustrated in detail on an asymmetric producer-consumer monitor, which is the same example that was used to illustrate the original method. The application of the method to the readers and writers problem is also discussed.
Citation:
Craig Harvey, Paul Strooper, "Testing Java Monitors through Deterministic Execution," aswec, pp.0061, 13th Australian Software Engineering Conference (ASWEC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.