New approach for EFSM-based passive testing of web services

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

Volumn 4581 LNCS, Issue , 2007, Pages 13-27

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

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

EFSM based passive testing; Web services testing

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; FAULT DETECTION; SOFTWARE TESTING; STATE ESTIMATION; WEBSITES;

EFSM-BASED PASSIVE TESTING; FAULT MANAGEMENT; PASSIVE TESTER; STATE RECOGNITION; EFSM MODEL; FAULT DETECTION AND LOCATION; NEW APPROACHES; PASSIVE TESTING; PASSIVE TESTING OF WEB SERVICES; SPEED UP;

WEB SERVICES;

EID: 34548057332     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73066-8_2     Document Type: Conference Paper

References (16)

1. W3C, World Wide Consortium (2006) at http://www.w3.org
2. Lee, D., Netravali, A.N., Sabnani, K.K., Sugla, B., John, A.: Passive testing and applications to network management. In: International Conference on Network Protocols, Atlanta, GA, USA, pp. 113-122. IEEE Computer Society, Washington (1997)
3. Miller, R.E.: Passive testing of networks using a CFSM specification. In: International Performance, Computing and Communications Conference, Tempe/Phoenix, AZ, USA, pp. 111-116. IEEE, New York (1998)
4. Tabourier, M., Cavalli, A., Ionescu, M.: A GSM-MAP protocol experiment using passive testing. In: Brauer, W. (ed.) Formal Methods. World Congress on Formal Methods in the Development of Computing Systems. LNCS, vol. 1, pp. 915-934. Springer, Heidelberg (1999)
5. Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an Extended Finite State Machine specification. Information and Software Technology 45, 837-852 (2003)
6. Alcalde, B., Cavalli, A., Chen, D., Khuu, D., Lee, D.: Network protocol system passive testing for fault management: a backward checking approach. In: Formal Techniques for Networked and Distributed Systems (FM), Madrid, Spain. LNCS, pp. 150-166. Springer, Heidelberg (2004)
7. Ladani, B.T., Alcalde, B., Cavalli, A.: Passive testing - a constrained invariant checking approach. In: 17th International Conference on Testing of communicating systems (TestCom), Montreal, Que, Canada. LNCS, pp. 9-22. Springer, Heidelberg (2005)
8. Lee, D., Dongluo, C., Ruibing, H., Miller, R.E., Jianping, W., Xia, Y.: A formal approach for passive testing of protocol data portions. In: 10th International Conference on Network Protocols, Paris, France, pp. 122-131. IEEE Computer Society, Washington (2002)
9. Lee, D., Dongluo, C., Ruibing, H., Miller, R.E., Jianping, W., Xia, Y.: Network protocol system monitoring-a formal approach with passive testing. IEEE/ACM Transactions on Networking 14, 424-437 (2006)
10. Dssouli, R., Saleh, K., Aboulhamid, E., En-Nouaary, A., Bourhfir, C.: Test development for communication protocols: towards automation. Computer Networks 31, 1835-1872 (1999)
11. Miller, R.E., Arisha, K.A.: On fault location in networks by passive testing. In: International Performance, Computing, and Communications Conference, Phoenix, AZ, USA, pp. 281-287. IEEE, New York (2000)
12. Miller, R.E., Arisha, K.A.: Fault identification in networks by passive testing. In: 34th Annual Simulation Symposium, Seattle, WA, USA, pp. 277-284. IEEE Computer Society, Washington (2001)
13. Arisha, K.A.: Fault management in avionics telecommunication using passive testing. In: 20th Digital Avionics Systems Conference (DASC), Daytona Beach, FL, USA, vol. 1, pp. 1-7. IEEE, New York (2001)
14. Dongluo, C., Jianping, W., HuiCheng, C.: Passive testing on TCP. In: International Conference on Communication Technology (ICCT). Beijing, China: Beijing Univ. Posts & Telecommun, pp. 182-186 (2003)
15. Arnedo, J.A., Cavalli, A., Nunez, M.: Fast testing of critical properties through passive testing. In: 15th IFIP International Conference on Testing of Communicating Systems, Sophia Antipolis, France. LNCS, pp. 295-310. Springer, Heidelberg (2003)
16. Bayse, E., Cavalli, A., Nunez, M., Zaidi, F.: A passive testing approach based on invariants: application to the WAP. Computer Networks 48, 247-266 (2005)