원문정보
초록
영어
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 (SXM) based testing techniques could be applied to automatically generate test cases for BPEL process. The SXM describes a system as a finite set of states, an internal memory and a number of transitions between the states. One of the strengths of using a SXM to specify a system is that, under certain well defined conditions, it is possible to produce a test suite that is guaranteed to determine the correctness of the implementation under test.
목차
1 Introduction
2 Background
2.1 BPEL
2.2 Stream X-machines
3 From BPEL to Stream X-Machines
3.1 States and Transitions
3.2 Memory
3.3 Processing Functions
4 Automatic Generation of Test cases
5 Conclusion
References