kirancodes.me
To Proof Maintenance & Beyond!
ASE 2001

A Concurrency Test Tool for Java Monitors

Brad Long, Daniel Hoffman, Paul A. Strooper

DOI 10.1109/ase.2001.989843dblp

Abstract

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.

BibTeX
@inproceedings{Long-al:ASE01,
  author    = {Brad Long and
               Daniel Hoffman and
               Paul A. Strooper},
  title     = {A Concurrency Test Tool for Java Monitors},
  booktitle = {ASE},
  pages     = {421--425},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}

Related papers