Testing BPEL with Stream X-Machine

  title={Testing BPEL with Stream X-Machine},
  author={Chunyan Ma and JunSheng Wu and Tao Zhang and Yunpeng Zhang and Xiaobin Cai},
  journal={2008 International Symposium on Information Science and Engineering},
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… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS
11 Citations
6 References
Similar Papers


Publications referenced by this paper.
Showing 1-6 of 6 references

Tow t testing framework

  • D. Lübke
  • 2006

Testing IEEE Transactions on Software Engineering

  • T. S. Chow
  • 4:178 187
  • 1978
3 Excerpts

Similar Papers

Loading similar papers…