Testing BPEL with Stream X-Machine

Chunyan Ma,Junsheng Wu,Tao Zhang,Yunpeng Zhang,Xiaobin Cai
DOI: https://doi.org/10.1109/ISISE.2008.201
2008-01-01
Abstract: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.
What problem does this paper attempt to address?