The Community for Technology Leaders
RSS Icon
Subscribe
Raleigh, North Carolina
Nov. 7, 2006 to Nov. 10, 2006
ISBN: 0-7695-2684-5
pp: 256-265
Yu Lei , University of Texas at Arlington
Richard Carver , George Mason University
David Kung , University of Texas at Arlington
Vidur Gupta , 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
Yu Lei, Richard Carver, David Kung, Vidur Gupta, Monica Hernandez, "A State Exploration-Based Approach to Testing Java Monitors", ISSRE, 2006, 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) 2006, pp. 256-265, doi:10.1109/ISSRE.2006.9
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool