DocumentCode
2725730
Title
A Business Process of Web Services Testing Method Based on UML2.0 Activity Diagram
Author
Guangquan, Zhang ; Mei, Rong ; Jun, Zhang
Author_Institution
Suzhou Univ., Suzhou
fYear
2007
fDate
2-3 Dec. 2007
Firstpage
59
Lastpage
65
Abstract
In order to increase the reliability of Web services business process, a BPEL modeling and testing approach based on UML2.0 activity diagram is presented. The key idea of the approach is to transform the business process interaction via BPEL code to visual and 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. To illustrate this more thoroughly, this paper discusses the feasibility of automated testing using Web services business process testing model with an example.
Keywords
Unified Modeling Language; Web services; business data processing; formal specification; program testing; BPEL code; BPEL modeling; Business Process Execution Language; UML2.0 activity diagram; Unified Modeling Language; Web service business process testing; automated testing; dynamic testing model; formal specification; test case generation; Application software; Automatic testing; Computer science; Educational institutions; Formal specifications; Information technology; Mathematics; Switches; Web services; XML;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Information Technology Application, Workshop on
Conference_Location
Zhang Jiajie
Print_ISBN
978-0-7695-3063-5
Type
conf
DOI
10.1109/IITA.2007.83
Filename
4426965
Link To Document