Abstract
The Java Message Service (JMS) is a specification that provides a consistent Java API for accessing message-oriented middleware services. This paper presents a test harness that automates the testing of JMS implementations (providers) for correctness and performance. Since the JMS specification is expressed in informal language, a formal model for JMS behaviour is developed, based on the I/O automata used in other group communication systems. The test harness has been successfully used to test a number of JMS implementations. This paper contains a descriptive presentation of the formal model, the full details are found in a technical report
Chapter PDF
Similar content being viewed by others
References
BEA Systems. Programming weblogic 6.0 jms. http://e-docs.bea.com/wls/docs60/jms/.
P. A. Bernstein. Middleware: A model for distributed system services. CACM, 39(2): 86–98, 1996.
V. Hadzilacos and S. Toueg. Faulttolerant broadcasts and related problems. In S. Mullendar, editor, Distributed Systems, pages 97–145. Addison-Wesley, 2nd edition, 1994.
M. Hapner, R. Burridge, and R. Sharma. Java Message Service (JMS) 1.0.2. Sun Microsystems, Java Software, Nov. 1999.
IBM. Mqseries family. http://www.ibm.com/software/ts/mqseries/.
N. Kropp, P. Koopman, and D. Siewiorek. Automated robustness testing of off-the-shelf softare components. Fault Tolerant Computing Symposium, 1998.
D. Kuo and D. Palmer. Automated analysis of java message service providers. Technical Report 01/123, CSIRO Mathematical and Information Sciences, GPO Box 664 Canberra ACT Australia, 2001. http://www.cmis.csiro.au/adsat/reports.
R. Lee and S. Seligman. JNDI API Tutorial and Reference. Addison-Wesley, 2000.
N. A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996.
A. G. Mathur, R. W. Hall, F. Jahanian, A. Prakash, and C. Rasmussen. The publish/subscribe paradigm for scalable group collaboration systems. Technical Report CSE-TR-270-95, Department of Electrical Engineering and Computer Science, Univerity of Michigan, Nov. 1995.
D. Mills. Network time protocol (ntp). http://www.eecis.udel.edu/yntp/.
R. Monson-Haefel and D. A. Chappell. Java Message Service. O’Reilly, 2001.
T. Ouellette. For many companies, MOM knows best. Computerworld, 30(24), 1996.
Progress Software. Soniqmq. http://www.progress.com/sonicmq/.
Sun Microsystems, Java Software. Java Remote Method Invocation Specification, 1999. ftp://ftp.java.sun.com/docs/j2se1.3/rmi-spec-1.3.pdf.
R. Vitenberg, I. Keidar, G. V. Chockler, and D. Dolev. Group communication specifications: A comprehensive study. Technical Report CS0964, Computer Science Department, the Technion — Israel Institute of Technology, Sept. 1999.
S. White, M. Fisher, R. Cattell, G. Hamilton, and M. Hapner. JDBC(TM) API Tutorial and Reference. Addison-Wesley, 2nd edition, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 IFIP International Federation for Information Processing
About this paper
Cite this paper
Kuo, D., Palmer, D. (2001). Automated Analysis of Java Message Service Providers. In: Guerraoui, R. (eds) Middleware 2001. Middleware 2001. Lecture Notes in Computer Science, vol 2218. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45518-3_1
Download citation
DOI: https://doi.org/10.1007/3-540-45518-3_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42800-8
Online ISBN: 978-3-540-45518-9
eBook Packages: Springer Book Archive