loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th IEEE International Conference on Automated Software Engineering (ASE'01)
A Concurrency Test Tool for Java Monitors
San Diego, California
November 26-November 29
ISBN: 0-7695-1426-X
Brad Long, The University of Queensland, Brisbane
Dan Hoffman, University of Victoria
Paul Strooper, The University of Queensland, Brisbane
The Java programming language supports monitors. Monitor implementations, like other concurrent programs, are hard to test due to the inherent non-determinism. This paper presents the ConAn (Concurrency Analyser) tool for generating drivers for the testing of Java monitors. To obtain adequate controllability over the interactions between Java threads, the generated driver contains processes that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated on an asymmetric producer-consumer monitor, and their application to two other monitors is discussed.
Citation:
Brad Long, Dan Hoffman, Paul Strooper, "A Concurrency Test Tool for Java Monitors," ase, pp.421, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.