• 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