因為現行service-oriented architecture 架構的軟體越來越多，很多公司行號慢慢開始採用service-oriented architecture 架構來建立內部工作流程管理系統。service-oriented architecture 架構是由許多web service 所組合而成一個整合性的系統。所以這個架構之下所建立的系統，每個service 之間可能會有許多interactions，所以每個service 的是否都可以順利的執行就顯得相當重要。不過，在現有的測試環境與測試方法當中，沒有一個完整有系統的測試方式可以來對service-oriented architecture 架構做一個測試。
而我們就是設計出一個framework 來針對service-oriented rchitecture 架構的系統來做一個自動化的測試環境。我們利用BPEL 來建立service-oriented architecture 架構的環境，然後我在每一個BPEL process 訊息交換的地方多加上一個proxy 來收集測試所需的資訊再配合上reachability testing 的技術，來測試service-oriented architecture 架構的系統。

Because the existing structure of service oriented architecture of the software more and more slowly, many companies began to use service oriented architecture to build the internal structure of the workflow management system. service oriented architecture framework is composed of many web service by a combination of an integrated system. Therefore, under the framework established by the system, each service may be many interactions, so whether each service has been running smoothly in the implementation of it is very important. However, the existing test methods and test environment, the absence of a complete and systematic way to test service-oriented architecture framework for a test.
And our framework is to design a service-oriented architecture for the system architecture to make an automated test environment. We use BPEL to build service
oriented architecture framework for the environment, and then I have a BPEL process for each of the local multi-message exchange with a proxy to collect the necessary
information to test the reachability testing together with the technology, to test the service-oriented architecture framework system.

[1] Web Services Activity . W3C Note 2002. (http://www.w3.org/2002/ws/).
[2] K.C. Tai and Richard H. Carver, “Testing of Distributed Programs,” Chapter 33 in
Parallel and Distributed Computing Handbook, editor A. Y. Zomaya,
McGraw-Hill, 1996.
[3] Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J.,Leymann, F., Liu, K.,
Roller, D., Smith, D., Thatte, S., Trickoric, I.,and Weerawarana, S. ‘Business
Process Execution Language for Web Services, Version 1.1, 2003. BPEL4WS
specification
[4] Hao He ."What Is Service-Oriented Architecture", Sept. 2003;
(http://www.xml.com/lpt/a/ws/2003/09/30/soa.html).
[5] E. Clarke, O. Grumberg, and D. Peled, Model Checking. The MIT Press, 1999.
[6] Eric Newcomer, "Understanding Web services", Addison-Wesley Professional,
2002, p. 368.
[7] Simple Object Access Protocol (SOAP) 1.1. W3C Note 08, May 2000.
(http://www.w3.org/TR/SOAP/).
[8] Web Services Description Language (WSDL) 1.1. W3C Note 15 March 2001.
(http://www.w3.org/TR/wsdl).
[9] F. Leymann. Web Services Flow Language (WSFL).
65
[10] IBM Corporation, May 2001.S. Thatte. XLANG – Web Services for Business
Process Design. Microsoft Corporation, May 2001.
[11] W. Richards Adrion, Martha A. Branstad, and John C. Cherniavsky, “Validation,
Verification, and Testing of Computer Software,” ACM Computing Surveys,
Volume 14, Issue 2, June 1982.
[12] G. H. Hwang, K. C. Tai, and T.L. Huang, “Reachability Testing: An Approach To
Testing Concurrent Software,” International Journal of Software Engineering and
Knowledge Eng., 5, 4, (Dec. 1995), 493-510.
[13] G.J. Holzmann. The Model Checker SPIN. IEEE Trans. Soft. Engin., Vol.23, No.5,
pages 279–295, May 1997.
[14] J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang. Symbolic model
checking: 1020 states and beyond. In IEEE Symposium on Logic in
ComputerScience, pages 428{439, 1990}.
[15] A. Pnueli. A temporal logic of concurrent programs. Theoretical Computer
Science, 13(1):45-60, 1981.
[16] Honghua Cao, Shi Ying, Dehui Du, Setp. 2006, "Towards Model-based
Verification of BPEL with Model Checking", IEEE International Conference on
Computer and Information Technology. pp. 190-194
[17] Zhongjie LI, Wei SUN, Zhong Bo JIANG, Xin ZHANG, Jul. 2005, "BPEL4WS
66
Unit Testing: Framework and Implementation", Proceedings of the IEEE
International Conference on Web Services, vol. 1, pp. 103-110.
[18] Shin NAKAJIMA, 2002, "Verification of Web Service Flows with
Model-Checking Techniques". IEEE Cyber Worlds, 2002. Proceedings. pp.
378-385.
[19] Marina Mongiello, Daniela Castelluccia, March 2006, "Modelling and
verification of BPEL business process". Model-Based Development of
Computer-Based Systems and Model-Based Methodologies for Pervasive and
Embedded Software, 2006. pp. 148.
[20] Srini Narayanan, Sheila A. McIlraith, May 2002, "Simulation, verification and
automated composition of web services". ACM: Association for Computing
Machinery : WWW'02. pp. 77-88.
[21] W. T. Tsai, X. Wei, Y. Chen, R. Paul, Oct. 2005, "A Robust Testing Framework for
Verifying Web Services by Completeness and Consistency Analysis".
Service-Oriented System Engineering, 2005. IEEE International Workshop.
pp.151-158.
[22] Canfora, G. , Di Penta, M, March 2006, "Testing services and service-centric
systems: challenges and opportunities". IEEE IT Professional. pp. 10-17.
[23] Ayaz Farooq, Konstantina Georgieva, Reiner R. Dumke, 2008, "Challenges in
67
Evaluating SOA Test Processes". Proceedings of the International Conferences on
Software Process and Product Measurement.
[24] Gerardo Canfora and Massimiliano Di Penta, 2006, "SOA: Testing and
Self-Checking". International Workshop on Web Services Modeling and Testing.
[25] Apahe Axis2, (http://ws.apache.org/axis2/).
[26] ActiveBPEL, (http://www.activevos.com/community-open-source.php).