التفاصيل البيبلوغرافية
| العنوان: |
Automated Analysis of Java Message Service Providers. |
| المؤلفون: |
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Guerraoui, Rachid, Kuo, Dean, Palmer, Doug |
| المصدر: |
Middleware 2001; 2001, p1-14, 14p |
| مستخلص: |
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 [ABSTRACT FROM AUTHOR] |
|
Copyright of Middleware 2001 is the property of Springer eBooks and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| قاعدة البيانات: |
Supplemental Index |
