Client and server verification for web services using interface grammars

ABSTRACT

Web services provide a promising framework for developing interoperable software components that interact with each other across organizational boundaries. For this framework to be successful, the client and the server for a service have to interact with each other based on the published service interface specification. If either the client or the server deviate from the interface specification, the client-server interaction will lead to errors. We present a framework for checking interface conformance for web services. Given an interface specification, we automatically generate web service server stubs (for client verification) and drivers (for server verification) and then use these stubs and drivers to check the conformance of the client and server to the interface specification. We implemented this framework by using interface grammars as the interface specification language. We developed an interface compiler that automatically generates a stub or a driver from a given interface grammar. We conducted a case study by applying these techniques to the Amazon E-Commerce Service.

REFERENCES

• 1: Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 2: Rajeev Alur , Pavol Černý , P. Madhusudan , Wonhong Nam, Synthesis of interface specifications for Java classes, Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.98-109, January 12-14, 2005, Long Beach, California, USA
• 3: Amazon web services. http://solutions.amazonwebservices.com/.
• 4: Jonathan A. Bauer , Alan B. Finger, Test plan generation using formal grammars, Proceedings of the 4th international conference on Software engineering, p.425-432, September 17-19, 1979, Munich, Germany
• 5: Aysu Betin-Can , Tevfik Bultan, Verifiable Web Services with Hierarchical Interfaces, Proceedings of the IEEE International Conference on Web Services, p.85-94, July 11-15, 2005 [doi>10.1109/ICWS.2005.128]
• 6: Aysu Betin-Can , Tevfik Bultan, Verifiable Concurrent Programming Using Concurrency Controllers, Proceedings of the 19th IEEE international conference on Automated software engineering, p.248-257, September 20-24, 2004 [doi>10.1109/ASE.2004.75]
• 7: G. Brat, K. Havelund, S. Park, and W. Visser. Java pathfinder: Second generation of a Java model checker. In Proceedings Workshop on Advances in Verification, 2000.
• 8: Arindam Chakrabarti , Luca de Alfaro , Thomas A. Henzinger , Marcin Jurdzinski , Freddy Y. C. Mang, Interface Compatibility Checking for Software Modules, Proceedings of the 14th International Conference on Computer Aided Verification, p.428-441, July 27-31, 2002
• 9: Luca de Alfaro , Thomas A. Henzinger, Interface automata, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
• 10: A. G. Duncan , J. S. Hutchison, Using attributed grammars to test designs and implementations, Proceedings of the 5th international conference on Software engineering, p.170-178, March 09-12, 1981, San Diego, California, United States
• 11: Graham Hughes , Tevfik Bultan, Extended interface grammars for automated stub generation, Proceedings of the second workshop on Automated formal methods, p.41-50, November 06-06, 2007, Atlanta, Georgia [doi>10.1145/1345169.1345174]
• 12: Graham Hughes , Tevfik Bultan, Interface grammars for modular software model checking, Proceedings of the 2007 international symposium on Software testing and analysis, July 09-12, 2007, London, United Kingdom [doi>10.1145/1273463.1273471]
• 13: B. A. Malloy and J. F. Power. A top-down presentation of purdom's sentence-generation algorithm. Technical Report NUIM-CS-TR-2005-04, National University of Ireland at Maynooth, May 2005.
• 14: Peter M. Maurer, Generating Test Data with Enhanced Context-Free Grammars, IEEE Software, v.7 n.4, p.50-55, July 1990 [doi>10.1109/52.56422]
• 15: Peter M. Maurer, The design and implementation of a grammar-based data generator, Software—Practice & Experience, v.22 n.3, p.223-244, March 1992 [doi>10.1002/spe.4380220303]
• 16: P. Purdom. A sentence generator for testing parsers. BIT, 12(3):366--375, 1972.
• 17: Emin Gün Sirer , Brian N. Bershad, Using production grammars in software testing, Proceedings of the 2nd conference on Domain-specific languages, p.1-13, October 03-06, 1999, Austin, Texas, United States
• 18: Simple object access protocol (soap) 1.1. W3C Note 08, http://www.w3.org/TR/SOAP/, May 2000.
• 19: John Whaley , Michael C. Martin , Monica S. Lam, Automatic extraction of object-oriented component interfaces, Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, July 22-24, 2002, Roma, Italy
• 20: Web services description language (WSDL) 1.1. http://www.w3.org/TR/wsdl.
• 21: Extensible markup language (XML) 1.0 (second edition). W3C, http://www.w3.org/TR/REC-xml, 2000.
• 22: XML Schema part 2: Datatypes. W3C Recommendation, http://www.w3.org/TR/xmlschema-2/, May 2001.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

General Terms:
Reliability, Verification

Keywords:
interface grammars, web services