New approach for EFSM-based passive testing of web services

Abdelghani Benharref; Rachida Dssouli; Mohamed Adel Serhani; Abdeslam En-Nouaary; Roch Glitho

doi:10.1007/978-3-540-73066-8_2

New approach for EFSM-based passive testing of web services

Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch Glitho

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

16 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Testing of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings
Editors	Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp
Publisher	Springer Verlag
Pages	13-27
Number of pages	15
ISBN (Print)	3540730656, 9783540730651
DOIs	https://doi.org/10.1007/978-3-540-73066-8_2
Publication status	Published - 2007
Externally published	Yes
Event	19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Testcom 2007, and 7th International Workshop on Formal Approaches to Testing Software, FATES 2007 - Tallinn, Estonia Duration: Jun 26 2007 → Jun 29 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4581 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Testcom 2007, and 7th International Workshop on Formal Approaches to Testing Software, FATES 2007
Country/Territory	Estonia
City	Tallinn
Period	6/26/07 → 6/29/07

Keywords

EFSM-based passive testing
Web services testing

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-73066-8_2

Cite this

Benharref, A., Dssouli, R., Serhani, M. A., En-Nouaary, A., & Glitho, R. (2007). New approach for EFSM-based passive testing of web services. In A. Petrenko, M. Veanes, J. Tretmans, & W. Grieskamp (Eds.), Testing of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings (pp. 13-27). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4581 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-73066-8_2

New approach for EFSM-based passive testing of web services. / Benharref, Abdelghani; Dssouli, Rachida; Serhani, Mohamed Adel et al.
Testing of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings. ed. / Alexandre Petrenko; Margus Veanes; Jan Tretmans; Wolfgang Grieskamp. Springer Verlag, 2007. p. 13-27 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4581 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Benharref, A, Dssouli, R, Serhani, MA, En-Nouaary, A & Glitho, R 2007, New approach for EFSM-based passive testing of web services. in A Petrenko, M Veanes, J Tretmans & W Grieskamp (eds), Testing of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4581 LNCS, Springer Verlag, pp. 13-27, 19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Testcom 2007, and 7th International Workshop on Formal Approaches to Testing Software, FATES 2007, Tallinn, Estonia, 6/26/07. https://doi.org/10.1007/978-3-540-73066-8_2

Benharref A, Dssouli R, Serhani MA, En-Nouaary A, Glitho R. New approach for EFSM-based passive testing of web services. In Petrenko A, Veanes M, Tretmans J, Grieskamp W, editors, Testing of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings. Springer Verlag. 2007. p. 13-27. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-73066-8_2

Benharref, Abdelghani ; Dssouli, Rachida ; Serhani, Mohamed Adel et al. / New approach for EFSM-based passive testing of web services. Testing of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings. editor / Alexandre Petrenko ; Margus Veanes ; Jan Tretmans ; Wolfgang Grieskamp. Springer Verlag, 2007. pp. 13-27 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{67cd59f6b60241b99024216b7fe97ae1,

title = "New approach for EFSM-based passive testing of web services",

abstract = "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.",

keywords = "EFSM-based passive testing, Web services testing",

author = "Abdelghani Benharref and Rachida Dssouli and Serhani, {Mohamed Adel} and Abdeslam En-Nouaary and Roch Glitho",

year = "2007",

doi = "10.1007/978-3-540-73066-8_2",

language = "English",

isbn = "3540730656",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "13--27",

editor = "Alexandre Petrenko and Margus Veanes and Jan Tretmans and Wolfgang Grieskamp",

booktitle = "Testing of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings",

note = "19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Testcom 2007, and 7th International Workshop on Formal Approaches to Testing Software, FATES 2007 ; Conference date: 26-06-2007 Through 29-06-2007",

}

TY - GEN

T1 - New approach for EFSM-based passive testing of web services

AU - Benharref, Abdelghani

AU - Dssouli, Rachida

AU - Serhani, Mohamed Adel

AU - En-Nouaary, Abdeslam

AU - Glitho, Roch

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - EFSM-based passive testing

KW - Web services testing

UR - http://www.scopus.com/inward/record.url?scp=34548057332&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34548057332&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-73066-8_2

DO - 10.1007/978-3-540-73066-8_2

M3 - Conference contribution

AN - SCOPUS:34548057332

SN - 3540730656

SN - 9783540730651

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 13

EP - 27

BT - Testing of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings

A2 - Petrenko, Alexandre

A2 - Veanes, Margus

A2 - Tretmans, Jan

A2 - Grieskamp, Wolfgang

PB - Springer Verlag

T2 - 19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Testcom 2007, and 7th International Workshop on Formal Approaches to Testing Software, FATES 2007

Y2 - 26 June 2007 through 29 June 2007

ER -

New approach for EFSM-based passive testing of web services

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this