研究生: |
曹笠德 |
---|---|
論文名稱: |
對非決定性service-oriented architecture應用程式進行動態測試的研究 |
指導教授: | 黃冠寰 |
學位類別: |
碩士 Master |
系所名稱: |
資訊工程學系 Department of Computer Science and Information Engineering |
論文出版年: | 2009 |
畢業學年度: | 97 |
語文別: | 中文 |
論文頁數: | 67 |
中文關鍵詞: | 軟體系統架構 、網路服務 、軟體測試 |
英文關鍵詞: | service-oriented architecture, web service, software testing, BPEL |
論文種類: | 學術論文 |
相關次數: | 點閱:250 下載:2 |
分享至: |
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
因為現行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).