Adaptive testing, oracle generation, and test case ranking for Web services

Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of Web services related description languages and protocols, as well as the open platforms, for the same Web service specification, many different implementations can be offered from different service providers. This paper presents an adaptive group testing technique that can test large number Web services simultaneously and effectively. Based on a case study, experiments are performed to validate the correctness and effectiveness of the technique.

[1]  Wei-Tek Tsai,et al.  Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems , 2005 .

[2]  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)..

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

[4]  Raymond A. Paul,et al.  A software reliability model for web services , 2004, IASTED Conf. on Software Engineering and Applications.

[5]  Raymond A. Paul,et al.  Specification-based verification and validation of Web services and service-oriented operating systems , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[6]  D. Du,et al.  Combinatorial Group Testing and Its Applications , 1993 .

[7]  OffuttJeff,et al.  Generating test cases for web services using data perturbation , 2004 .

[8]  Nashat Mansour,et al.  Testing Web services , 2005, The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005..

[9]  Jia Zhang,et al.  An approach to facilitate reliability testing of Web services components , 2004, 15th International Symposium on Software Reliability Engineering.

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

[11]  Wei-Tek Tsai,et al.  Scenario-Based Web Services Testing with Distributed Agents , 2003 .

[12]  Raymond A. Paul,et al.  Developing and assuring trustworthy Web services , 2005, Proceedings Autonomous Decentralized Systems, 2005. ISADS 2005..

[13]  Jie Xu,et al.  Testing Web Services , 2004 .

[14]  Michael R. Lyu,et al.  Handbook of software reliability engineering , 1996 .

[15]  Wei-Tek Tsai,et al.  Progressive ranking and composition of Web services using covering arrays , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[16]  C. V. Ramamoorthy,et al.  Software Reliability—Status and Perspectives , 1982, IEEE Transactions on Software Engineering.

[17]  Wei-Tek Tsai,et al.  Voting multi-dimensional data with deviations for Web services under group testing , 2005, 25th IEEE International Conference on Distributed Computing Systems Workshops.

[18]  Raymond A. Paul,et al.  Verification Patterns for Rapid Embedded System Verification , 2003, Embedded Systems and Applications.

[19]  Wei-Tek Tsai,et al.  A Framework for Systematic Testing of Software Specifications , 1993, SEKE.

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

[21]  J. Wang,et al.  Proceedings of the 29th Annual International Computer Software and Applications Conference—Workshops and Fast Abstracts COMPSAC 2005 , 2005 .

[22]  Michael N. Huhns,et al.  Trusted Autonomy , 2002, IEEE Internet Comput..

[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]  Raymond A. Paul,et al.  Rapid verification of embedded systems using patterns , 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

[25]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..