Interoperability verification for Web Service based robot communication platforms

The common robot communication platform using Web service is well accepted and becoming popular gradually. One of the key components for robot communication platform is the reliable messaging which provides reliable high performance message transfer. Both conforming to standard specifications and interoperability among multiple implementations are critical requirements for the platform, because different robots and different services should be able to connect and communicate each other on the platform. However, there is no conformance/interoperability testing tool for the reliable message component of Web services. This paper describes requirements for the conformance and interoperability testing for Web service technologies, and how we developed the verification suit that satisfies the requirements by automated error case verification model. This paper also reports the interoperability verification results for the reliable message component of Web service. It shows that the verification suite is effective to verify interoperability easily even for various complicated error situation. And it is also shows the application driven tests, which neither require installation of the test programs nor probes, are effective to ensure the interoperability in the actual application system and the common robot service platform implementation.