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 :
بازگشت