组合服务交互测试研究综述

doi:10.3969/j.issn.1000-3428.2013.05.016

摘要/Abstract

摘要： 从组合服务模型检测、组合服务需求监测及测试用例和测试预言生成3个方面，对组合服务交互测试的研究现状进行综述。针对组合服务实现，如何更多、更准确地发现其中的交互错误，是组合服务交互测试一个亟待解决的问题。围绕该问题，研究用于测试分析的形式化组合服务流程、与交互相关的动态测试信息获取和动态测试信息分析方面的内容。

关键词: Web服务, 组合服务, 交互测试, 模型检测, 需求监测, 测试用例生成

Abstract: Current research review on interaction test of composite services is given, including model check of composite services, requirements monitoring of composite services, generation of test case, and test oracle. An important research issue is to find more interaction errors in implementation of composite services accurately. About this issue, three areas are focused, including formal flow of composite services for test analysis, obtaining of dynamic test information related to interaction and analysis of dynamic test information.

Key words: Web service, composite service, interaction test, model check, requirements monitoring, test case generation

中图分类号:

TP311

余莹. 组合服务交互测试研究综述[J]. 计算机工程, 2013, 39(5): 78-83.

TU Ying. Research Review on Interaction Test of Composite Service[J]. Computer Engineering, 2013, 39(5): 78-83.

http://www.ecice06.com/CN/Y2013/V39/I5/78

参考文献

[1] 张佩云, 黄波, 孙亚民. 基于Petri网的Web服务组合模型描述和验证[J]. 系统仿真学报, 2007, 19(12): 2531- 2535.
[2] 陈琨, 韩燕波. 基于Petri网的Web服务组合时间验证分析[J]. 计算机工程与设计, 2007, 28(20): 156-1501.
[3] 胡佳, 冯志勇, 徐超, 等. 基于Petri网的语义Web 服务流程一致性验证[J]. 计算机工程, 2010, 36(19): 27-30.
[4] Xiong Pengcheng, Fan Yushun, Zhou Mengchu. A Petri Net Approach to Analysis and Composition of Web Services[J]. IEEE Transactions on Systems, Man and Cybernetics, 2010, 40(2): 376-387.
[5] 廖军, 谭浩, 刘锦德. 基于Pi-演算的Web服务组合的描述和验证[J]. 计算机学报, 2005, 28(4): 635-643.
[6] Li Bao, Zhang Wweishi, Zhang Xiuguo. Describing and Verifying Web Service using CCS[C]//Proc. of International Conference on Parallel and Distributed Computing, Applications and Technologies. [S. 1.]: IEEE Computer Society, 2006.
[7] Zheng Yongyan, Krause P. Asynchronous Semantics and Anti-patterns for Interacting Web Services[C]//Proc. of International Conference on Quality Software. [S. 1.]: IEEE Computer Society, 2006.
[8] Lerner B S. Verifying Process Models Built Using Parame- terized State Machines[C]//Proc. of International Symposium on Software Testing and Analysis. Boston, USA: ACM Press, 2004.
[9] 骆翔宇, 轩爱成, 沙宗鲁. 基于时间自动机的Web 服务模型检测[J]. 计算机科学, 2010, 37(8): 139-143.
[10] 王晶, 戎玫, 张广泉, 等. 基于概率模型检测的Web服务组合验证[J]. 计算机科学, 2012, 39(1): 120- 123.
[11] Dai Guilian, Bai Xiaoying, Zhao Chongchong. A Frame- work for Time Consistency Verification for Web Processes Based on Annotated OWL-S[C]//Proc. of International Conference on Grid and Cooperative Computing. [S. 1.]: IEEE Computer Society, 2007.
[12] Luo Nan, Yan Junwei, Liu Min. Towards Efficient Verification for Process Composition of Semantic Web Services[C]//Proc. of IEEE International Conference on Services Computing. [S. 1.]: IEEE Computer Society, 2007.
[13] Narayanan S, McIlraith S A. Simulation, Verification and Automated Composition of Web Services[C]//Proc. of International World Wide Web Conference. Honolulu, USA: ACM Press, 2002.
[14] Dong Wwenli, Yu Hang, Zhang Yubing. Testing BPEL- based Web Service Composition Using High-level Petri Nets[C]//Proc. of the IEEE International Enterprise Distributed Object Computing Conference. Hong Kong, China: IEEE Computer Society, 2006.
[15] Dai Guilian, Bai Xiaoying, Zhao Chongchong. A Frame- work for Model Checking Web Service Compositions Based on BPEL4WS[C]//Proc. of IEEE International Conference on e-Business Engineering. Hong Kong, China: IEEE Computer Society, 2007.
[16] Kang Hui, Yang Xiuli, Yuan S M. Modeling and Verification of Web Services Composition based on CPN[C]//Proc. of International Conference on Network and Parallel Computing Workshops. [S. 1.]: IEEE Computer Society, 2007.
[17] Yeung W L. Mapping WS-CDL and BPEL Into CSP for Behavioural Specification and Verification of Web Services[C]//Proc. of European Conference on Web Services. Zurich, Switzerland: IEEE Computer Society, 2006.
[18] Ankolekar A, Paolucci M, Sycara K. Towards a Formal Verification of OWL-S Process Models[C]//Proc. of International Semantic Web Conference. Galway, Ireland: Springer-Verlag, 2005.
[19] Huang H, Tsai W T, Paul R. Automated Model Checking and Testing for Composite Web Services[C]//Proc. of IEEE International Symposium on Object-oriented Real-time Distributed Computing. Seattle, USA: IEEE Computer Society, 2005.
[20] Fu Xiang, Bultan T, Su Jianwei. Analysis of Interacting BPEL Web Services[C]//Proc. of International Conference on World Wide Web. New York, USA: ACM Press, 2004.
[21] Cao Honghua, Ying Shi, Du Dehui. Towards Model-based Verification of BPEL with Model Checking[C]//Proc. of IEEE International Conference on Computer and Information Technology. Seoul, Korea: IEEE Computer Society, 2006.
[22] Bianculli D, Ghezzi C, Spoletini P. A Model Checking Approach to Verify BPEL4WS Workflows[C]//Proc. of IEEE International Conference on Service-oriented Computing and Applications. Newport Beach, USA: IEEE Computer Society, 2007.
[23] Mongiello M, Castelluccia D. Modelling and Verification of BPEL Business Processes[C]//Proc. of International Workshop on Model-Based Development of Computer- based Systems and Model-based Methodologies for Pervasive and Embedded Software. Potsdam, USA: IEEE Computer Society, 2006.
[24] Yang Hongli, Zhao Xiangpeng, Cai Chao, et al. Model- checking of Web Services Choreography[C]//Proc. of IEEE International Symposium on Service-oriented System Engineering. [S. 1.]: IEEE Computer Society, 2008.
[25] 骆翔宇, 陈艳. Web 服务的形式化验证[J]. 计算机工程, 2010, 36(5): 257-259.
[26] 骆翔宇, 谭征, 董荣胜. 一种Web 服务特征交互自动检测方法[J]. 计算机科学, 2010, 37(12): 106-110.
[27] Mahbub K, Spanoudakis G. Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience[C]//Proc. of IEEE International Conference on Web Services. Orlando, USA: IEEE Computer Society, 2005.
[28] Spanoudakis G, Mahbub K. Requirements Monitoring for Service-based Systems: Towards a Framework Based on Event Calculus[C]//Proc. of International Conference on Automated Software Engineering. Linz, Austria: IEEE Computer Society, 2004.
[29] Rouached M, Gaaloul W, van Der Aalst W M P, et al. Web Service Mining and Verification of Properties: An Approach Based on Event Calculus[C]//Proc. of International Conference on Cooperative Information Systems. Montpellier, France: Springer-Verlag, 2006.
[30] Baresi L, Ghezzi C, Guinea S. Smart Monitors for Composed Services[C]//Proc. of International Conference on Service Oriented Computing. New York, USA: ACM Press, 2004.
[31] Baresi L, Guinea S. Towards Dynamic Monitoring of WS-BPEL Processes[C]//Proc. of International Conference of Service-oriented Computing. Amsterdam, Netherlands: Springer-Verlag, 2005.
[32] Barbon F, Traverso P. Run-time Monitoring of Instances and Classes of Web Service Compositions[C]//Proc. of IEEE International Conference on Web Services. Chicago, USA: IEEE Computer Society, 2006.
[33] 罗求忠. Web服务软件交互测试中的数据获取和验证[D]. 北京: 北京航空航天大学, 2007.
[34] Robinson W N. Monitoring Web Service Requirements[C]// Proc. of International Requirements Engineering Conf- erence. Monterey, USA: IEEE Computer Society, 2003.
[35] Robinson W N. Monitoring Web Service Interactions[C]// Proc. of Workshop on Requirements Engineering in Open Systems. Monterey, USA: IEEE Computer Society, 2003.
[36] Li Zheng, Han Jun, Jin Yan. Pattern-based Specification and Validation of Web Services Interaction Properties[C]// Proc. of International Conference of Service-oriented Computing. Amsterdam, Netherlands: Springer-Verlag, 2005.
[37] Li Zheng, Yan Jin, Han, Jun. A Runtime Monitoring and Validation Framework for Web Service Interactions[C]// Proc. of Australian Software Engineering Conference. Sydney, Australia: IEEE Computer Society, 2006.
[38] Halle S, Villemaire R. Runtime Monitoring of Web Service Choreographies Using Streaming XML[C]//Proc. of Annual ACM Symposium on Applied Computing. Honolulu, USA: ACM Press, 2009.
[39] Bianculli D, Ghezzi C. Towards a Methodology for Lifelong Validation of Service Compositions[C]//Proc. of International Workshop on Systems Development in SOA Environments. Leipzig, Germany: ACM Press, 2008.
[40] Wang Qianxiang, Shao Jin, Deng Fang, et al. An Online Monitoring Approach for Web Service Requirements[J]. IEEE Transactions on Services Computing, 2009, 2(4): 338-351.
[41] Garcia-Fanjul J, de La Riva C, Tuya J. Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking[C]//Proc. of Testing Academic and Industrial Conference on Practice and Research Techniques. Windsor, Canada: IEEE Computer Society, 2006.
[42] García-Fanjul J, Tuya J, de La Riva C. Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN[C]//Proc. of International Workshop on Web Services Modeling and Testing. Palermo, Italy: [s. n.], 2006.
[43] Zheng Yongyan, Zhou Jiong, Krause P. A Model Checking Based Test Case Generation Framework for Web Services[C]//Proc. of International Conference on Information Technology. Las Vegas, USA: IEEE Computer Society, 2007.
[44] Gao Honghao, Li Ying, Generating Quantitative Test Cases for Probabilistic Timed Web Service Composition[C]//Proc. of IEEE Asia-pacific Services Computing Conference. Jeju, Korea: IEEE Computer Society, 2011.
[45] Mateescu R, Rampacek S. Formal Modeling and Discrete- time Analysis of BPEL Web Services[J]. International Journal of Simulation and Process Modeling, 2008, 4(3): 183-194.
[46] Dai Guilian, Bai Xiaoying, Wang Yongbo, et al. Contract- based Testing for Web Services[C]//Proc. of Annual International Computer Software and Applications Conference. [S. 1.]: IEEE Computer Society, 2007.
[47] Wang Yongbo, Bai Xiaoying, Li J Z, et al. Ontology-based Test Case Generation for Testing Web Services[C]//Proc. of International Symposium on Autonomous Decentralized Systems. Sedona, USA: IEEE Computer Society, 2007.
[48] 蔡菊, 王迪, 李必信. 基于扩展的层次有色Petri网的组合服务测试用例生成[J]. 东南大学学报: 自然科学版, 2008, 38(4): 598-604.
[49] Frantzen L, de Las N H, Kiss Z G, et al. On-the-fly Model-based Testing of Web Services with Jambition[J]. Web Services and Formal Methods, 2009, (5387): 143-157.
[50] 王任. 基于有限状态机的Web服务测试用例生成方法[D]. 南昌: 江西财经大学, 2009.
[51] Lallali M, Zaidi F, Cavalli A, et al. Automatic Timed Test Case Generation for Web Services Composition[C]//Proc. of the 6th IEEE European Conference on Web Services. Dublin, Ireland: IEEE Computer Society, 2008.
[52] 张峻. 基于UML2. 0动态视图的Web服务模型测试方法及其应用[D]. 苏州: 苏州大学, 2007.
[53] Zhang Guoquan, Rong Mei. A Business Process of Web Services Testing Method Based on UML2. 0 Activity Diagram[C]//Proc. of Workshop on Intelligent Information Technology Application. [S. 1.]: IEEE Computer Society, 2007.
[54] Yuan Yuan, Li Zhongjie, Sun Wei. A Graph-search Based Approach to BPEL4WS Test Generation[C]//Proc. of International Conference on Software Engineering Advances. Papeete, Polynesia: IEEE Computer Society, 2006.
[55] Hou Shanshan, Zhang Lu, Lan Qian, et al. Generating Effective Test Sequences for BPEL Testing[C]//Proc. of International Conference on Quality Software. Jeju, Korea: IEEE Computer Society, 2009.
[56] Blanco R, Garcia F J, Tuya J. A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search[C]//Proc. of International Conference on Software Testing, Verification and Validation Workshops. Denver, USA: IEEE Computer Society, 2009.
[57] 张晓燕, 黄宁, 余莹. 基于OWL-S的测试用例生成[J]. 北京航空航天大学学报, 2008, 34(3): 327-330.
[58] van der Aalst W M P, Dumas M, Ouyang C, et al. Choreography Conformance Checking: An Approach Based on BPEL and PetriNets[C]//Proc. of Role of Business Processes in Service Oriented Architectures. Schloss Dagstuhl, Germany: Dagstuhl Research Online Publication Server, 2006.
[59] van der Aalst W M P, Dumas M, Ouyang C, et al. Conformance Checking of Service Behavior[J]. ACM Transactions on Internet Technology, 2008, 8(3): 1-30.
[60] van der Aalst W M P, Rozinat A. Conformance Testing- measuring the Alignment Between Event Logs and Process Models[D]. Eindhoven, Holland: Eindhoven University of Technology, 2005.
编辑索书志

选择文件类型/文献管理软件名称

选择包含的内容