Automated Analysis of Java Message Service Providers
- 1k Downloads
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
KeywordsAutomated component testing performance analysis formal model JMS I/O Automata
- 1.BEA Systems. Programming weblogic 6.0 jms. http://e-docs.bea.com/wls/docs60/jms/.
- 2.P. A. Bernstein. Middleware: A model for distributed system services. CACM, 39(2): 86–98, 1996.Google Scholar
- 3.V. Hadzilacos and S. Toueg. Faulttolerant broadcasts and related problems. In S. Mullendar, editor, Distributed Systems, pages 97–145. Addison-Wesley, 2nd edition, 1994.Google Scholar
- 4.M. Hapner, R. Burridge, and R. Sharma. Java Message Service (JMS) 1.0.2. Sun Microsystems, Java Software, Nov. 1999.Google Scholar
- 5.IBM. Mqseries family. http://www.ibm.com/software/ts/mqseries/.
- 6.N. Kropp, P. Koopman, and D. Siewiorek. Automated robustness testing of off-the-shelf softare components. Fault Tolerant Computing Symposium, 1998.Google Scholar
- 7.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.
- 8.R. Lee and S. Seligman. JNDI API Tutorial and Reference. Addison-Wesley, 2000.Google Scholar
- 9.N. A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996.Google Scholar
- 10.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.Google Scholar
- 11.D. Mills. Network time protocol (ntp). http://www.eecis.udel.edu/yntp/.
- 12.R. Monson-Haefel and D. A. Chappell. Java Message Service. O’Reilly, 2001.Google Scholar
- 13.T. Ouellette. For many companies, MOM knows best. Computerworld, 30(24), 1996.Google Scholar
- 14.Progress Software. Soniqmq. http://www.progress.com/sonicmq/.
- 15.Sun Microsystems, Java Software. Java Remote Method Invocation Specification, 1999. ftp://ftp.java.sun.com/docs/j2se1.3/rmi-spec-1.3.pdf.
- 16.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.Google Scholar
- 17.S. White, M. Fisher, R. Cattell, G. Hamilton, and M. Hapner. JDBC(TM) API Tutorial and Reference. Addison-Wesley, 2nd edition, 1999.Google Scholar