Testing BPEL with Stream X-machine

被引：6
|
作者：
Ma, Chunyan [1 ,2 ]
Wu, Junsheng [1 ]
Zhang, Tao [1 ]
Zhang, Yunpeng [1 ]
Cai, Xiaobin [2 ]
机构：
[1] Northwest Polytech Univ, Coll Software & Microelect, Xian 710072, Peoples R China
[2] Northwestern Polytech Univ, Inst Comp Sci, Xian 710072, Peoples R China
来源：
ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 1 | 2008年
关键词：
BPEL; test case; Stream X-machine;
D O I：
10.1109/ISISE.2008.201
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the BPEL process under test (PUT) and verification conditions for output data from the PUT. It could be a tedious task due to the complexity of the PUT which describes the web flow of a distributed collaboration of individual service providers executing concurrently. This paper shows how Stream X-machine based testing techniques could be applied to automatically generate test cases for BPEL process.
引用
收藏
页码：578 / +
页数：2
相关论文
共 50 条
12345