Automated testing and response analysis of web services

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 647-654

  Martin, Evan ^a   Basu, Suranjana ^a   Xie, Tao ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST PATTERN GENERATION; COMPUTER PROGRAMMING LANGUAGES; INDUSTRY; INFORMATION SERVICES; JAVA PROGRAMMING LANGUAGE; SOFTWARE TESTING; TESTING; TOOLS; WORLD WIDE WEB;

APPLIED (CO); AUTOMATED TESTING; INTERNATIONAL CONFERENCES; JAVA CODES; RANDOM INPUT; RESPONSE ANALYSIS; SERVICE ORIENTED ARCHITECTURE (SOA); SERVICE PROVIDER (SP); SERVICE REQUESTORS; SUPPORTING TOOL; TEST GENERATIONS; UNIT TESTING; WEB SERVICE DESCRIPTION LANGUAGE (WSDL); WEB SERVICE INVOCATION; WEB SERVICES;

WEB SERVICES;

EID: 46849084352     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2007.49     Document Type: Conference Paper

References (35)

1. Agitar. Agitar Agitatior 2.0, Novermber 2004. http:// www.agitar.com/.
2. R. Akkiraju, J. Farrell, J. Miller, M. Nagarajan, M.-T. Schmidt, A. Sheth, and K. Verma. Web Service Semantics - WSDL-S Version 1.0. http://www.w3.org/Submission/WSDL-S/, November 2005.
3. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services Concepts, Architectures and Applications Series: Data-Centric: Systems and Applications. Addison-Wesley Professional., 2002.
4. Apache. Axis. http://ws.apache.org/axis/.
5. Apache. Axis TCP Monitor. http://ws.apache.org/axis/java/user-guide.html# AppendixUsingTheAxisTCPMonitorTcpmon.
6. X. Bai, W. Dong, W.-T. Tsai, and Y. Chen. WSDL-based automatic test case generation for web services testing. In Proc. IEEE International Workshop on Service-Oriented System Engineering, pages 215-220, 2005.
7. B. Beizer. Software Testing Techniques. International Thomson Computer Press, 1990.
8. G. Canfora and M. D. Penta. Testing services and service-centric systems: Challenges and opportunities. IT Professional, 8(2): 10-17, 2006.
9. J. Chang and D. J. Richardson. Structural specification-based testing: automated support and experimental evaluation. In Proc. 7th ESEC/FSE, pages 285-302, 1999.
10. I. Corporation. WSLA Language Specification Version 1.0. http://www.research.ibm.com/wsla/WSLASpecVl-20030128.pdf, January 2003.
11. C. Csallner and Y. Smaragdakis. JCrasher: an automatic robustness tester for Java. Software: Practice and Experience, 34:1025-1050, 2004.
12. T. Erl. Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Prentice Hall, 2005.
13. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Eng., 27(2):99-123, 2001.
14. H. Foster, J. Kramer, J. Magee, and S. Uchitel. Model-based verification of web service compositions. In Proc. 18th IEEE International Conference on Automated Software Engineering, pages 152-16, 2003.
15. C. Fu, B. G. Ryder, A. Milanova, and D. Wonnacott. Testing of Java web services for robustness. In Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 23-34, 2004.
16. E. Gamma and K. Beck. JUnit, 2003. http://www.junit.org.
17. G. Guninski. http://www.guninski.com/.
18. H. Huang, W.-T. Tsai, R. A. Paul, and Y. Chen. Automated model checking and testing for composite web services. In Proc, 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pages 300-307, May 2005.
19. S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 553-568, April 2003.
20. J.-M. Kim and A. Porter. A history-based test prioritization technique for regression testing in resource constrained environments. In Proc. the 24th international conference on Software engineering, pages 119-129, 2002.
21. S. Nakajima. Model-checking verification for reliable web service. In Proc. OOPSLA 2002 Workshop on Object-Oriented Web Services, 2002.
22. S. Narayanan and S. A. McIlraith. Simulation, verification and automated composition of web services. In Proc. 11th International Conference on World Wide Web, pages 77-88, 2002.
23. Parasoft. Jtest. http://www.parasoft.com.
24. G. Rothermel, R. Untch, C. Chu, and M. J. Harrold. Prioritizing test cases for regression testing. IEEE Trans. Softw. Eng., 27(10):929-948, 2001.
25. K. Sen and G. Agha. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In Proc. 18th International Conference on Computer Aided Verification, Tool Paper, pages 419-423, 2006.
26. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In Proc. 5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 263-272, 2005.
27. Y. Shin, L. Williams, and T. Xie. SQLUnitGen: SQL Injection Testing Using Static and Dynamic Analysis. In Supplemental Proc. 17th IEEE International Conference on Software Reliability Engineering, November 2006.
28. H. M. Sneed and S. Huang. WSDLTest - a tool for testing web services. In Proc. 8th IEEE Symposium on Web Site Evolution, pages 14-21, 2006.
29. W. T. Tsai, Y. Chen, and R. Paul. Specification-based verification and validation of web services and service-oriented operating systems. In Proc. 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pages 139-147, 2005.
30. W. T. Tsai, R. Paul, Y. Wang, C. Fan, and D. Wang. Extending WSDL to facilitate web services testing. In Proc. 7th IEEE International Symposium on High Assurance Systems Engineering, pages 171-172, 2002.
31. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. 15th IEEE International Conference on Automated Software Engineering, pages 3-12, 2000.
32. T. Xie. Augmenting automatically generated unit-test suites with regression oracle checking. In Proc. 20th European Conference on Object-Oriented Programming, pages 380-403, July 2006.
33. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In Proc. 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 365-381, April 2005.
34. T. Xie and D. Notkin. Tool-assisted unit-test generation and selection based on operational abstractions. Automated Software Engineering Journal, 13(3):345-371, July 2006.
35. X. Yi and K. J. Kochut. A CP-nets-based design and verification framework for web services composition. In Proc. IEEE International Conference on Web Services, pages 756-766, 2004.