A software reliability model for web services

This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services without the structural information and the composite services consisting of atomic services. The model first evaluates the reliability of atomic services based on group testing and majority voting. Group testing is the key technique proposed in this paper to support the service-oriented reliability model. Then, the reliability model evaluates the overall reliability of composite services using an architecture-based model and based on reliabilities of the atomic services, execution scenarios, and operational profiles. The reliability model is dynamic and the reliabilities of the services are evaluated in the actual operational environment. A case study is designed, implemented, and analyzed using the design of experiment technique. The results show the significances of the model and its components.

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

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

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

[4]  Yinong Chen.  A service scheduler in a trustworthy system , 2004, 37th Annual Simulation Symposium, 2004. Proceedings..

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

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

[7]  Wei-Tek Tsai,et al.  Regression testing in an industrial environment , 1998, CACM.

[8]  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..

[9]  Andrew D. Gordon,et al.  Validating a web service security abstraction by typing , 2002, XMLSEC '02.

[10]  Raymond A. Paul,et al.  Rapid verification of embedded systems using patterns , 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

[11]  Andrew D. Gordon,et al.  Validating a Web service security abstraction by typing , 2002, XML Security.

[12]  Amrit L. Goel,et al.  Software Reliability Models: Assumptions, Limitations, and Applicability , 1985, IEEE Transactions on Software Engineering.