Title :
Test Case Generation Method for BPEL-Based Testing
Author_Institution :
Inst. of Software, Chinese Acad. of Sci., Beijing, China
Abstract :
This paper describes a framework for the design of a test tool that could generate test cases automatically based on given BPEL specifications. The key problems that need to be addressed are how to transform the BPEL specifications into a HPN, and how to design a script language to describe the test case generation that according to the characteristics of BPEL. A BPEL specification analyzer and a test script language are presented. A tool called BPEL-based testing automatic has been designed and partially implemented. BTA will take a user-defined test case template and the set of test data generated to produce the executable test cases.
Keywords :
Petri nets; formal specification; program testing; specification languages; BPEL specification analyzer; BPEL-based testing automatic; HPN; business process execution language; high-level Petri net; test case generation method; test script language; user-defined test case template; Automatic testing; Computational intelligence; Data mining; Information analysis; Logic testing; Software testing; Software tools; Switches; System testing; Web services; Business Process Execution Language; High-Level Petri Net; Test Script Language;
Conference_Titel :
Computational Intelligence and Natural Computing, 2009. CINC '09. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-0-7695-3645-3
DOI :
10.1109/CINC.2009.229
