Automated Analysis of Java Message Service Providers

  • Dean Kuo
  • Doug Palmer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2218)


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


Automated component testing performance analysis formal model JMS I/O Automata 


  1. 1.
    BEA Systems. Programming weblogic 6.0 jms.
  2. 2.
    P. A. Bernstein. Middleware: A model for distributed system services. CACM, 39(2): 86–98, 1996.Google Scholar
  3. 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. 4.
    M. Hapner, R. Burridge, and R. Sharma. Java Message Service (JMS) 1.0.2. Sun Microsystems, Java Software, Nov. 1999.Google Scholar
  5. 5.
  6. 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. 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.
  8. 8.
    R. Lee and S. Seligman. JNDI API Tutorial and Reference. Addison-Wesley, 2000.Google Scholar
  9. 9.
    N. A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996.Google Scholar
  10. 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. 11.
    D. Mills. Network time protocol (ntp).
  12. 12.
    R. Monson-Haefel and D. A. Chappell. Java Message Service. O’Reilly, 2001.Google Scholar
  13. 13.
    T. Ouellette. For many companies, MOM knows best. Computerworld, 30(24), 1996.Google Scholar
  14. 14.
    Progress Software. Soniqmq.
  15. 15.
    Sun Microsystems, Java Software. Java Remote Method Invocation Specification, 1999.
  16. 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. 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

Copyright information

© IFIP International Federation for Information Processing 2001

Authors and Affiliations

  • Dean Kuo
    • 1
  • Doug Palmer
    • 1
  1. 1.Software Architectures and Component Technologies GroupCSIRO Mathematical and Information SciencesCanberraAustralia

Personalised recommendations