New Approach for EFSM-Based Passive Testing of Web Services

Fault management, including fault detection and location, is an important task in management of Web Services. Fault detection can be performed through testing, which can be active or passive. Based on passive observation of interactions between a Web Service and its client, a passive tester tries to detect possible misbehaviors in requests and/or responses. Passive observation is performed in two steps: passive homing and fault detection. In FSM-based observers, the homing consists of state recognition. However, it consists of state recognition and variables initialization in EFSM-based observers. In this paper, we present a novel approach to speed up homing of EFSM-based observers designed for observation of Web Services. Our approach is based on combining observed events and backward walks in the EFSM model to recognize states and appropriately initialize variables. We present different algorithms and illustrate the procedure through an example where faults would not be detected unless backward walks are considered.

[1]  Ana R. Cavalli,et al.  Fast Testing of Critical Properties through Passive Testing , 2003, TestCom.

[2]  Abdeslam En-Nouaary,et al.  Test development for communication protocols: towards automation , 1999, Comput. Networks.

[3]  Jianping Wu,et al.  Passive testing on TCP , 2003, International Conference on Communication Technology Proceedings, 2003. ICCT 2003..

[4]  Ana R. Cavalli,et al.  New approaches for passive testing using an Extended Finite State Machine specification , 2003, Inf. Softw. Technol..

[5]  Ana R. Cavalli,et al.  Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach , 2004, FORTE.

[6]  David Lee,et al.  Passive testing and applications to network management , 1997, Proceedings 1997 International Conference on Network Protocols.

[7]  K. A. Arisha.  Fault management in avionics telecommunication using passive testing , 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).

[8]  David Lee,et al.  Network protocol system monitoring-a formal approach with passive testing , 2006, IEEE/ACM Transactions on Networking.

[9]  David Lee,et al.  A formal approach for passive testing of protocol data portions , 2002, 10th IEEE International Conference on Network Protocols, 2002. Proceedings..

[10]  Ana R. Cavalli,et al.  Passive Testing - A Constrained Invariant Checking Approach , 2005, TestCom.

[11]  Katalin Tarnay,et al.  Testing of Communicating Systems , 1999, IFIP — The International Federation for Information Processing.

[12]  S. Anderson,et al.  Secure Synthesis of Code: A Process Improvement Experiment , 1999, World Congress on Formal Methods.

[13]  R. E. Miller,et al.  Passive testing of networks using a CFSM specification , 1998, 1998 IEEE International Performance, Computing and Communications Conference. Proceedings (Cat. No.98CH36191).

[14]  Ana R. Cavalli,et al.  A passive testing approach based on invariants: application to the WAP , 2005, Comput. Networks.

[15]  K. A. Arisha,et al.  On fault location in networks by passive testing , 2000, Conference Proceedings of the 2000 IEEE International Performance, Computing, and Communications Conference (Cat. No.00CH37086).

[16]  Ana R. Cavalli,et al.  A GSM-MAP Protocol Experiment Using Passive Testing , 1999, World Congress on Formal Methods.

[17]  Raymond E. Miller,et al.  Fault identification in networks by passive testing , 2001, Proceedings. 34th Annual Simulation Symposium.