The Community for Technology Leaders
2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (2006)
Raleigh, North Carolina
Nov. 7, 2006 to Nov. 10, 2006
ISSN: 1071-9458
ISBN: 0-7695-2684-5
pp: 256-265
Richard Carver , George Mason University
Vidur Gupta , University of Texas at Arlington
Yu Lei , University of Texas at Arlington
David Kung , University of Texas at Arlington
Monica Hernandez , University of Texas at Arlington
ABSTRACT
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simultaneously. Thus, testing a Java monitor can be significantly different from testing a regular class. In this paper, we propose a state exploration-based approach to testing a Java monitor. A novel aspect of our approach is that during exploration, threads are introduced on-the-fly, and as needed, to simulate race conditions that can occur when multiple threads try to access a monitor object at the same time. Furthermore, each transition is defined in a way such that the behavior of the threads along each path can be precisely characterized and controlled. We describe a prototype tool called MonitorExplorer and report three case studies that are designed to provide an initial evaluation of our approach.
INDEX TERMS
null
CITATION
Richard Carver, Vidur Gupta, Yu Lei, David Kung, Monica Hernandez, "A State Exploration-Based Approach to Testing Java Monitors", 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), vol. 00, no. , pp. 256-265, 2006, doi:10.1109/ISSRE.2006.9
99 ms
(Ver )