簡易檢索 / 詳目顯示

研究生: 陳揆驩
KueiHuan Chen
論文名稱: 工作流程管理系統之自動測試平台的運作模式和語言設計
An Operational Model and Language Support for Automatic Testing Workflow Management System
指導教授: 黃冠寰
Hwang, Gwan-Hwan
學位類別: 碩士
Master
系所名稱: 資訊工程學系
Department of Computer Science and Information Engineering
論文出版年: 2007
畢業學年度: 95
語文別: 中文
論文頁數: 99
中文關鍵詞: 工作流程工作流程系統工作流程管理系統自動測試軟體測試測試腳本語言
英文關鍵詞: Workflow Management Systems(WfMS), Test script, Software testing, Automatic testing, Testing
論文種類: 學術論文
相關次數: 點閱:136下載:10
分享至:
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報
  • 隨著網際網路日漸普及帶動了電子商務的蓬勃發展,企業對於內部作業流程
    控管的需求愈來愈高,工作流程管理系統在最近幾年成為相當重要的支援性技術。面對日益激烈的商業競爭,企業如何利用網際網路來整合跨組織和跨企業的工作流程管理系統,以利彼此之間溝通協調商業活動的繁雜事務,提升彼此的合作效率,是工作流程管理系統的首要目標。

    本篇論文旨在研究工作流程管理系統(Workflow Management System, WfMS)上進行系統之測試及驗證所需的技術及理論。我們的目標是要提出一個全自動化的測試驗證平台及環境,系統發展者只要具體指定其應用系統之規格、資源及限制,就可以自動進行測試及驗證,如果平台發現問題或錯誤也能將其發生的情形記錄下來回報給系統發展者,作為除錯的依據。

    在本篇論文中我們定義一個通用的測試腳本語言(Test Script Language),使用此語言來描述工作流程管理系統與使用者間複雜的互動過程以及測試條件,並且詳述工作流程管理系統上之測試策略(Testing Strategy),另外也定義一個架構於AOP[17]上的通用機制,讓本篇論文所描述之測試架構能迅速的移植到各種不同的WfMS 實作上。

    1. Introduction 1 1.1 Software Testing 1 1.2 Workflow Management System 3 1.3 Difficuties in testing WfMSs 6 2. Related Work 14 3. The operational model of the framework 15 3.1 TS-WfMS 19 3.1.1 Resources 22 3.1.2 Flows 28 3.1.3 WorkflowConstraint 35 3.2 Agent 41 3.3 Execution Collector 44 3.4 Resource manager 46 3.5 Validation tool 53 4. Implementation and experimental result 55 4.1 AOP 55 4.2 Agent implementation 62 4.3 TS-WfMS Parsing 65 4.4 Database Access Object 68 4.5 IOC 74 4.6 Reachability Testing 80 5. Conclusion & Future work 83 Reference 84 Appendix A. GenericDAO db4o’s implementation 86 Appendix B. Full TS-WfMS described Figure 3.2、 Figure 3.3 95

    1 . Glenford J. Myers: The Art of Software Testing. John Wiley and Sons,1979, ISBN
    0-471-04328-1
    2. Workflow Handbook, 2001.
    3. Computer Supported Cooperative Work (CSCW), Springer Netherlands, ISBN:
    0925-9724
    4. Design of an Object-Oriented Workflow Management System with Reusable and
    Fine-Grained Components, by Gwan-Hwan Hwang, Yung-Chuan Lee, and
    Sheng-He Chang. H. Fuks, S. Lukosch, and A.C. Salgado (Eds.): CRIWG 2005,
    Lecture Notes in Computer Science, Vol. 3706, ISBN:3-540-29110-5, pp. 192 –
    207, 2005.
    5. Shi Meilin, Yang Guangxin, Xiang Yong, and Wu Shangguang. Workflow
    Management Systems: A Survery. International Conference on Communication
    Technology, 1998.
    6. A Flexible Failure-recovery Model for Workflow Management Systems, by
    Gwan-Hwan Hwang, Yung-Chuan Lee, and Bor-Yih Wu. International Journal of
    Cooperative Information Systems, Vol. 14, No. 1 (2005) 1-24
    7. Workflow Reference Model (WFMC-TC-1003, 19-Jan-95, 1.1)
    8. Ellis, C.A., S.J. Gibbs, and G.L. Rein, Groupware: Some Issues and Experiences,
    Communications of the ACM, 1991, 34(1):39-58.
    9. Performance Modeling and Analysis of Workflow, by JianQiang Li, YuShun Fan,
    and MengChu Zhou, IEEE TRANSACTIONS ON SYSTEMS, MAN, AND
    CYBERNETICS—PART A: SYSTEMS AND HUMANS, VOL. 34, NO. 2,
    MARCH 2004.
    10. Executive Validation Analysis of Workflow Process, by Xiaoping Qiu, Jiacheng
    Zheng, Yongchuan Tang, Yang Xu, Proceedings of the Sm World Congress on
    Intelligent Control and Automation, June 15-19. 2004, Hangzhou, P.R. China.
    11. Data Flow and Validation in Workflow Modelling, by Shazia Sadiq, Maria
    Orlowska, Wasim Sadiq, Cameron Foulger, ADC’2004 Dunedin, New
    Zealand,Conferences in Research and Practice in Information Technology.
    12. Applying Model Checking to Workflow Verification, by J.-H. Pfeiffer, W.R.
    Rossak, A. Speck, Proceedings of the 11th IEEE International Conference and
    Workshop on the Engineering of Computer-Based Systems (ECBS’04).
    13. A Graph-Search Based Algorithm for Verifying Workflow Graphs, by
    Sinnakkrishnan Perumal and Ambuj Mahanti, Proceedings of the 16th
    International Workshop on Database and Expert Systems Applications
    (DEXA’05).
    14. ISO/IEC 14977 : 1996(E).
    http://www.iso.org/iso/en/CatalogueDetailPage.CatalogueDetail?CSNUMBER=2
    6153
    15. Reachability Testing : An Approach to Testing Concurrent Software, by
    Gwan-Hwan Hwang, Kuo-Chung Tai, and Ting-Lu Hunag. Proc. First
    Asia-Pacific Software Engineering Conference (APSEC'94), Tokyo, Japan, 1994,
    IEEE Computer Press, 246-255.
    16. Martin Fowler. Inversion of Control Containers and the Dependency Injection
    pattern. http://martinfowler.com/articles/injection.html 2004
    17. Kiczales, Gregor; John Lamping, Anurag Mendhekar, Chris Maeda, Cristina
    Lopes, Jean-Marc Loingtier, and John Irwin (1997). “Aspect-Oriented
    Programming”, Proceedings of the European Conference on Object-Oriented
    Programming, vol.1241, pp.220–242.
    18. AspectJ project, http://www.eclipse.org/aspectj/
    19. Spring 2.0 技術手冊, ISBN : 9789861811062, 林信良, 2006
    20. Core J2EE Patterns - Data Access Object,
    http://java.sun.com/blueprints/corej2eepatterns/Patterns/DataAccessObject.html
    21. Factory Pattern, http://en.wikipedia.org/wiki/Factory_method_pattern
    22. Spring Framework, http://www.springframework.org/
    23. PicoContainer, http://picocontainer.org/
    24. Db4o: Native Java & .NET Object Database, http://www.db4o.com/
    25. Don't repeat the DAO!
    http://www-128.ibm.com/developerworks/java/library/j-genericdao.html
    26. XPath, http://www.w3.org/TR/xpath
    27. DOM, http://www.w3.org/DOM/
    28. SAX, http://www.saxproject.org/

    QR CODE