A framework for testing Web services and its supporting tool

Proceedings - SOSE 2005: IEEE International Workshop on Service-Oriented System Engineering

Volumn 2005, Issue , 2005, Pages 199-206

  Mei, Hong ^a   Zhang, Lu ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DATA ACQUISITION; QUALITY OF SERVICE; SYSTEMS ANALYSIS; WORLD WIDE WEB;

SOFTWARE TESTING; WEB SERVICES;

TELECOMMUNICATION SERVICES;

EID: 33845489153     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOSE.2005.1     Document Type: Conference Paper

References (41)

1. B.K. Aichernig, "Mutation Testing in the Refinement Calculus," Formal Aspects of Computing, 15(2-3), 2003, pp. 280-295.
2. th International Symposium on Software Reliability Engineering (ISSRE'02), Annapolis, MD, USA, 2002, pp. 341-351.
3. T. Andrews, F. Curbera, H. Dholakia, and Y. Goland, "Specification: Business Process Execution Language for Web Services," Version 1.1. http://www106.ibm.com/developerworks/webservices/library/wsbpel/, 2003.
4. D. Austin, A. Barbir, and S. Garg, "Web Services Architecture Requirements," http://www.w3.org/TR/2002/WD-wsa-reqs-20020429, 2002.
5. D. Beyer, A.J. Chlipala, T.A. Henzinger, R. Jhala, and R. Majumdar, "Generating tests from counter examples," Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004.
6. T.A. Budd, R.J. Lipton, F.G. Sayward, and R.A. Demillo, "The Design of a Prototype Mutation System for Program Testing," In Proceedings of the National Computer Conference, Anaheim, CA, 1978, pp. 623-627.
7. R.A. DeMillo, R.J. Lipton, and F.G. Sayward, "Hints on Test Data Selection: Help for the Practicing Programmer," IEEE Computer, 11(4), 1978, pp. 34-41.
8. th International Conference on Software Engineering, 3-10 May 2003
9. S. Elbaum, G. Rothermal, S. Karre, M. Fisher, "Leveraging User-Session Data to Support Web Application Testing," IEEE Transactions of Software Engineering, 2005, 31(3): 187-202.
10. S.C.P.F. Fabbri, J.C. Maldonado, M.E. Delamaro, and P.C. Masiero, "Mutation Analysis Testing for Finite StateMachine," In Proceedings of the Fifth International Symposium on Software Reliability Engineering, California, USA, 1994, pp. 220-229.
11. S.C.P.F. Fabbri, J.C. Maldonado, P.C. Masiero, M.E. Delamaro, and E. Wong, "Mutation Testing Applied to Validate Specifications Based on Petri Nets," In Proceedings of the 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocol, Montreal, 1995.
12. th International Symposium on Software Reliability Engineering, Florida, USA, 1999, pp. 210-219.
13. th IEEE International Conference on Automated Software Engineering, 2003
14. S. Ghosh, and A.P. Mathur, "Interface Mutation," Software Testing, Verification and Reliability, 11, 2001, pp. 227-247.
15. Y. Jiang, G.-M. Xin, J.-H. Shan, and B. Xie, "Research on a Testing Technology Based on Design-by-Contract," Journal of Software, 15(Suppl.), October, 2004, p 130-137 (in Chines).
16. Y. Jiang, G.-M. Xin, J.-H. Shan, L. Zhang, B. Xie, F.-Q. Yang, "A Method of Automated Test Data Generation for Web Services," Chinese Journal of Computers, 28(4), 2005, pp. 568-577 (in Chinese).
17. Y. Jiang, S.-S. Hou, J.-H. Shan, L. Zhang and B. Xie, "Contract-Based Mutation for Testing Components," Proceedings of IEEE International Conference on Software Maintenance, September 2005, Budapest, (to appear)
18. G. Kovács, Z. Pap, D.L. Viet, A. Wu-Hen-Chang, and G. Csopaki, "Applying Mutation Analysis to SDL Specifications," In Proceedings of the 11th Specification and Description Language, LNCS 2708, Stuttgart, Germany, 2003, pp. 269-284.
19. S.C. Lee, and A. J. Offutt, "Generating Test Cases for XML-based Web Component Interactions using Mutation Analysis," In Proceedings of the 12th International Symposium on Software Reliability Engineering, Hong Kong, China, 2001, pp. 200-209.
20. F. Leymann, "Web Services Flow Language," (WSFL 1.0). http://www106.ibm.com/developerworks/webservices, 2001.
21. B. Long, R. Duke, D. Goldson, P. Strooper, and L. Wildman, "Mutation-Based Exploration of a Method for Verifying Concurrent Java Components," In Proceedings of the 18th International Parallel and Distributed Processing Symposium, Santa Fe, New Mexico, 2004, pp. 265-272.
22. B. Meyer, Object-Oriented Software Construction,Prentice Hall, New Jersey, 1997.
23. S. Nakajima, "On Verifying Web Services Flows," Proceedings of the 2002 Symposium on Applications and the Internet Workshop (SAINT'02), 2002.
24. S. Nakajima, "Verification of Web Services Flows with Model-Checking Techniques," Proceedings of First International Symposium on Cyber Worlds (CW'02), 2002
25. A.J. Offutt, J. Pan, K. Tewary, and T. Zhang, "An Experimental Evaluation of Data Flow and Mutation Testing," Software Practice and Experience, 26(2), 1996, pp. 165-176.
26. A.J. Offutt, A. Lee, G. Rothermel, R. Untch, and C. Zapf, "An Experimental Determination of Sufficient Mutation Operators," ACM Transactions on Software Engineering Methodology, 5, 1996, pp. 99-118.
27. J. Offutt, and R. Untch, "Mutation 2000: Uniting the Orthogonal," In Proceedings of Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, San Jose, CA, 2000, pp. 45-55.
28. A.J. Offutt and W. Xu, "Generating test cases for web services using data perturbation," ACM SIGSOFT Software Engineering Notes, 2004, 29(5): 1-10
29. R.L. Probert, and F. Quo, "Mutation Testing of Protocols: Principles and Preliminary Experimental Results," In Proceedings of the 3rd Protocol Test Systems, North-Holland, Amsterdam, 1991, pp, 57-76.
30. SOAP Version 1.2 Part 0: Primer, http://www.w3.org/TR/2003/REC-soap12- part0-20030624/
31. th Annual International Conference on Automated Software Engineering (ASE 2001), 2001.
32. W.T. Tsai, R. Paul, W. Song, and Z. Cao, "Coyote: An XML-Based Framework for Web Services Testing," Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering (HASE'02), 2002.
33. W.T. Tsai, L.Yu, R. Paul, T. Liu, and A. Saimi, "Extending WSDL to Facilitate Web Services Testing," Department of Computer Science and Engineering, Arizona State University, Tempe, AZ85287, 2002.
34. W.T. Tsai, R. Paul, Z. Cao, L. Yu, and A. Saimi, "Verification of Web Services using an Enhanced UDDI Server," Proceeding of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003
35. W.T. Tsai, Y. Chen, R. Paul, N. Liao, and H. Huang, "Cooperative and Group Testing in Verification of Dynamic Composite Web Services," Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC2004), 2004.
36. UDDI Version 3.0.2. http://uddi.org/pubs/uddi_v3.htm
37. C.J. Wang, and M.T. Liu, "Generating Test Cases for EFSM with Given Fault Model," INFOCOM 93, 2, 1993, pp. 774-781.
38. W.E, Wong, "On Mutation and Data Flow," [PhD dissertation]. Department of Computer Science, Purdue University, 1993.
39. W.E. Wong, A.P. Mathur, and J.C. Maldonado, "Mutation Versus All-Uses: An Empirical Evaluation of Cost, Strength, and Effectiveness," In Proceedings of the International Conference on Software Quality and Productivity, Hong Kong, China, 1994, pp. 258-265.
40. W.E. Wong, and A.P. Mathur, "Fault Detection Effectiveness of Mutation and Data Flow Testing," Software Quality Journal, 4(1), 1995, pp. 69-83.
41. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl