A framework for testing Web services and its supporting tool

With the increase of the popularity of Web services, more and more Web applications are developed with this new kind of components. This new way of software development brings about new issues for software testing, which has been widely recognized as a realistic means for ensuring the quality of software systems. In this paper, we focus on facilitating the testing of Web services. In particular, we propose a framework for testing Web services, which can help a tester of Web services in two ways: firstly, it can help the tester to acquire effective test data; and secondly, it can help the tester to execute the test data for the testing. We also discuss some issues for the implementation of its supporting tool. Furthermore, we report an experimental study of our framework. The results can validate the effectiveness of our approach.

[1]  Thomas A. Henzinger,et al.  Generating tests from counterexamples , 2004, Proceedings. 26th International Conference on Software Engineering.

[2]  Paulo César Masiero,et al.  Mutation testing applied to validate specifications based on statecharts , 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).

[3]  Jiang Ying A Method of Automated Test Data Generation for Web Service , 2005 .

[4]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[5]  S. Nakajima,et al.  On verifying Web service flows , 2002, Proceedings 2002 Symposium on Applications and the Internet (SAINT) Workshops.

[6]  Gregg Rothermel,et al.  Improving web application testing with user session data , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[7]  A. Jefferson Offutt,et al.  Generating test cases for XML-based Web component interactions using mutation analysis , 2001, Proceedings 12th International Symposium on Software Reliability Engineering.

[8]  A. Jefferson Offutt,et al.  Generating test cases for web services using data perturbation , 2004, SOEN.

[9]  A. Jefferson Offutt,et al.  An experimental mutation system for Java , 2004, SOEN.

[10]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[11]  Yves Deville,et al.  Automatic test data generation for programs with integer and float variables , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[12]  Ying Jiang,et al.  Contract-based mutation for testing components , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).

[13]  Gyula Csopaki,et al.  Applying Mutation Analysis to SDL Specifications , 2003, SDL Forum.

[14]  W. Eric Wong,et al.  Mutation Testing Applied to Validate Specifications Based on Petri Nets , 1995, FORTE.

[15]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[16]  Bernhard K. Aichernig,et al.  Mutation Testing in the Refinement Calculus , 2003, Formal Aspects of Computing.

[17]  Paul A. Strooper,et al.  Mutation-based exploration of a method for verifying concurrent Java components , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

[18]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[19]  Weichen Eric Wong On mutation and data flow , 1993 .

[20]  Raymond A. Paul,et al.  Verification of Web services using an enhanced UDDI server , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

[21]  James M. Bieman,et al.  Mutation of Java objects , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[22]  S. Nakajima,et al.  Verification of Web service flows with model-checking techniques , 2002, First International Symposium on Cyber Worlds, 2002. Proceedings..

[23]  Raymond A. Paul,et al.  Cooperative and group testing in verification of dynamic composite Web services , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[24]  Márcio Eduardo Delamaro,et al.  Mutation analysis testing for finite state machines , 1994, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering.

[25]  Dong Wang,et al.  Extending WSDL to facilitate Web services testing , 2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..

[26]  Ming T. Liu,et al.  Generating test cases for EFSM with given fault models , 1993, IEEE INFOCOM '93 The Conference on Computer Communications, Proceedings.

[27]  W. Eric Wong,et al.  Fault detection effectiveness of mutation and data flow testing , 1995, Software Quality Journal.

[28]  Raymond A. Paul,et al.  Coyote: an XML-based framework for Web services testing , 2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..

[29]  A. Jefferson Offutt,et al.  Mutation 2000: uniting the orthogonal , 2001 .

[30]  Richard J. Lipton,et al.  The design of a prototype mutation system for program testing , 1899, AFIPS National Computer Conference.

[31]  A. Jefferson Offutt,et al.  An Experimental Evaluation of Data Flow and Mutation Testing , 1996, Softw. Pract. Exp..

[32]  W. Eric Wong,et al.  Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness , 1994, Software Quality and Productivity.

[33]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[34]  Gregg Rothermel,et al.  Leveraging user-session data to support Web application testing , 2005, IEEE Transactions on Software Engineering.

[35]  Sudipto Ghosh,et al.  Interface mutation , 2001, Softw. Test. Verification Reliab..

[36]  Gregg Rothermel,et al.  An experimental determination of sufficient mutant operators , 1996, TSEM.