簡易檢索 / 詳目顯示

研究生: 曹笠德
論文名稱: 對非決定性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.

    摘要 ................................................................................................................................................. I ABSTRACT ................................................................................................................................... II 1. 簡介 ....................................................................................................................................... 1 1.1 WEB SERVICES ........................................................................................................................ 2 1.2 BPEL ..................................................................................................................................... 5 1.3 SERVICE-ORIENTED ARCHITECTURE ........................................................................................ 6 1.4 動態測試 ............................................................................................................................... 9 1.5 靜態分析 .............................................................................................................................. 11 1.6 MODEL CHECKING ................................................................................................................ 11 1.7 REACHABILITY TESTING AND DYNAMIC EFFECTIVE TESTING ............................................... 12 1.8 EXAMPLE OF AN NON-DETERMINISTIC WEB SERVICES APPLICATIONS ................................... 19 1.9 OUR SCHEMA ........................................................................................................................ 20 2. 文獻探討 ............................................................................................................................... 26 2.1 MODEL CHECKING ................................................................................................................ 26 2.2 DYNAMIC TESTING ................................................................................................................ 28 2.3 SOA TESTING ........................................................................................................................ 29 3. 將動態敏捷測試應用在網路服務 .......................................................................................... 32 3.1 RACE CONDITION .................................................................................................................. 32 3.2 PREFIX-BASED REPLAY .......................................................................................................... 34 3.3 BPEL SYNCHRONIZATION MODEL ......................................................................................... 43 4. 實作與實驗結果 .................................................................................................................... 46 4.1 FRAMEWORK ......................................................................................................................... 46 4.2 EXPERIMENTAL RESULTS ....................................................................................................... 55 5. 結論與未來展望 .................................................................................................................... 62 5.1 結論 ..................................................................................................................................... 62 5.2 未來展望 .............................................................................................................................. 62 REFERENCE ............................................................................................................................... 64

    [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).

    下載圖示
    QR CODE