Web Services Model Testing And Applications Based On UML2.0 Dynamic View

The assurance and improvement of Software Quality is a key question of the Software Engineering. As an important way of Software Quality Assurance, Software Testing can find out hidden bugs in the software system effectively. Web Services is a new technology of distributed computing area, which is excellent openness and high degree of integration. UML2.0 is the de facto modeling language standard. The testing model based on UML2.0 can reflect the true information of the tested system distinctly and entirely, which can be comprehended easily by the software tester. At the same time, the test work can start as early as possible.In order to improve the reliability of Web Services, a Web Services testing model and testing approach based on UML2.0 activity diagram and UML2.0 communication diagram is presented. The key idea of the approach is to transform the Web Services business process and objects interaction to visual dynamic testing model. The approach extends UML2.0 activity diagram to describe the syntax and behaviors of BPEL. The formal specification and the definition of test coverage criteria of UML2.0 activity diagram are proposed. It enhances the restriction of test cases generation method and promotes the efficiency and accuracy of testing by reducing the amount of test cases reasonably. The approach describes the objects interaction process of Web Services with UML2.0 communication diagram. By constructing a communication tree according to the UML2.0 communication diagram, the approach selects and transforms the predicates. With the definition of UML2.0 communication diagram test coverage criteria, the test cases can be generated using function minimization method. To illustrate this more thoroughly, this paper discusses the feasibility of the research with an example of a booking system based on Web Services technology.The research of this paper attempts to improve the reliability of Web Services with the model-based testing technology. With Web Services testing model based on UML2.0 dynamic view, the research of this paper can not only reduce the testing cost, but also improve the efficiency and automation of testing using formal method and test coverage criteria. This promotes to use UML2.0 for Web Services testing.