Event-driven modeling and testing of real-time web services

A service-oriented architecture (SOA) for web applications is often implemented using web services (WSs) and consists of different operations the executions of which are perceived as events. The order and time-appropriateness of occurrences of these events play a vital role for the proper functioning of a real-time SOA. This paper presents an event-based approach to modeling and testing of functional behavior of WSs by event sequence graphs (ESG). Nodes of an ESG represent events, e.g., “request” or “response”, and arcs give the sequence of these events. For representing parameter values, e.g., for time-out of operation calls, ESG are augmented by decision tables. A case study carried out on a commercial web system with SOA validates the approach and analyzes its characteristic issues. The novelty of the approach stems from (i) its simplicity and lucidity in representing complex real-time web applications based on WSs in SOA, and (ii) its modeling that considers also testing and thus enables a comfortable fault management leading to a holistic view.

[1]  Reiko Heckel,et al.  Towards Contract-based Testing of Web Services , 2005, Electron. Notes Theor. Comput. Sci..

[2]  Solomon L. Pollack,et al.  Decision Tables Theory and Practice , 1971 .

[3]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[4]  Phil Bianco Evaluating a Service-Oriented Architecture , 2007 .

[5]  Frank Leymann,et al.  Combining WS-Policy and Aspect-Oriented Programming , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[6]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[7]  Dimitris Dranidis,et al.  Formal Verification of Web Service Behavioural Conformance through Testing , 2007 .

[8]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[9]  Bernd Freisleben,et al.  WS-TemporalPolicy: A WS-Policy Extension for Describing Service Properties with Time Constraints , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[10]  Fevzi Belli,et al.  Event‐based modelling, analysis and testing of user interactions: approach and case study , 2006, Softw. Test. Verification Reliab..

[11]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[12]  Luciano Baresi,et al.  Test and Analysis of Web Services , 2007, Test and Analysis of Web Services.

[13]  Alfred V. Aho,et al.  An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours , 1991, IEEE Trans. Commun..

[14]  Dong Wang,et al.  Extending WSDL to facilitate Web services testing , 2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..

[15]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[16]  Gerardo Canfora,et al.  Using Test Cases as Contract to Ensure Service Compliance Across Releases , 2005, ICSOC.

[17]  Sungwon Kang,et al.  Generating Test Cases for Web Services Using Extended Finite State Machine , 2006, TestCom.

[18]  Jan Vanthienen,et al.  An Overview of decision table literature 1982-2000 , 2000 .