Generating test cases for web services using extended finite state machine

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

Volumn 3964 LNCS, Issue , 2006, Pages 103-117

  Keum, ChangSup ^a   Kang, Sungwon ^b   Ko, In Young ^b   Baik, Jongmoon ^b   Choi, Young Il ^a  

^a Electronics and Telecommunications Research Institute (ETRI)   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; DATA FLOW ANALYSIS; DATA PROCESSING; INFORMATION ANALYSIS; MATHEMATICAL MODELS; PERTURBATION TECHNIQUES; XML; FAULT DETECTION; INTERNET PROTOCOLS; LOGIC CIRCUITS; SIGNAL ENCODING; SOCIAL NETWORKING (ONLINE); SOFTWARE TESTING; SPECIFICATIONS; TESTING; WEBSITES;

PARLAY-X WEB SERVICES; POTENTIAL FAULT DETECTION; WEB SERVICE; BEHAVIOR SPECIFICATIONS; COMMUNICATION INFRASTRUCTURE; DISTRIBUTED APPLICATIONS; DOMAIN PARTITIONING; EMERGING TECHNOLOGIES; EXTENDED FINITE STATE MACHINE; WEB SERVICES DESCRIPTION LANGUAGE;

WEBSITES; WEB SERVICES;

EID: 33745892387     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11754008_7     Document Type: Conference Paper

References (16)

1. E. Cerami, Web Services Essentials, O'Reilly, 2002.
2. D. Booth, H. Haas, F. McCabe, E. Newcomer, M. Champion, C. Ferris, and D. Orchard, Web Services Architecture. W3C working group note, W3C, 2004.
3. C. Bourhfir, E.Aboulhamid, F.Khendek, and R.Dssouli, "Test cases selection from SDL specifications," Computer Networks 35(6), pp.693-708, 2001.
4. R. Heckel and L. Mariani, "Automatic Conformance Testing of Web Services," FASE 2005, LNCS 3442, pp. 34 - 48, 2005.
5. P. Baldan, B.Konig, and I.Sturmer, "Generating test cases for code generators by unfolding graph transformation systems," Proc. 2nd Intl. Conference on Graph Transformation, Rome, Italy, 2004.
6. L. White and E. Cohen, "A domain strategy for computer program testing." IEEE Transactions on Software Engineering 6, pp. 247-257, 1980.
7. E. Weyuker and B. Jeng, "Analyzing partition testing strategies," IEEE Transactions on Software Engineering 17, pp. 703-711, 1991.
8. S. Rapps, and E. Wejuker, "Data flow analysis techniques for program test data selection," 6th Intl. Conference on Software Engineering, pp. 272-278, 1982.
9. J. Offutt and W. Xu, "Generating Teat Cases for Web Services Using Data Perturbation," ACM SIGSOFT SEN, 2004.
10. B. Beizer, Software Testing Techniques, Van Nostrand Reinhold, Inc, New York NY, 2nd edition, 1990.
11. Y. Li, M. Li, and J. Yu, "Web Service Testing, the Methodology, and the Implementation of the Automation-Testing Tool," GCC2003, LNCS 3032, pp.940-947, 2004.
12. W.T.Tsai, R. Paul, Y. Wang, C. Fan, and D. Wang, "Extending WSDL to Facilitate Web Services Testing," HASE 2002, 2002.
13. C. Bourhfir, R. Dssouli, E.Aboulhamid, and N.Rico, "Automatic executable test case generation for EFSM specified protocols," IWTCS'97, pp.75-90, 1997.
14. K.Sabnani and A.Dahbura, "A new Technique for Generating Protocol Tests," ACM Comput. Commun. 15(4), 1985.
15. Weyuker, E.J. and Rapps, S., "Selecting Software Test Data using Data Flow Information", IEEE Transactions on Software Engineering, April, 1985.
16. Parlay X Working Group, Parlay-X White Paper, http://www.parlay.org, 2002.