A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
Deterministic replay of Java multithreaded applications
SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Data flow analysis for checking properties of concurrent Java programs
Proceedings of the 21st international conference on Software engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Replay and Testing for Concurrent Programs
IEEE Software
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Test-Case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Tools and Techniques for Java API Testing
ASWEC '00 Proceedings of the 2000 Australian Software Engineering Conference
Prose + Test Cases = Specifications
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Testing Java Monitors through Deterministic Execution
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
A Case Study in Testing Distributed Systems
DOA '01 Proceedings of the Third International Symposium on Distributed Objects and Applications
A framework for table driven testing of Java classes
Software—Practice & Experience
Improved multithreaded unit testing
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Hi-index | 0.00 |
The Java programming language supports monitors.Monitor implementations, like other concurrent programs,are hard to test due to the inherent non-determinism. Thispaper presents the ConAn (Concurrency Analyser) tool forgenerating drivers for the testing of Java monitors. To obtainadequate controllability over the interactions betweenJava threads, the generated driver contains processes thatare synchronized by a clock. The driver automatically executesthe calls in the test sequence in the prescribed orderand compares the outputs against the expected outputsspecified in the test sequence. The method and tool are illustratedon an asymmetric producer-consumer monitor, andtheir application to two other monitors is discussed.