计算机科学 ›› 2014, Vol. 41 ›› Issue (11): 162-168.doi: 10.11896/j.issn.1002-137X.2014.11.032
侯超凡,吴际,刘超
HOU Chao-fan,WU Ji and LIU Chao
摘要: 网络化应用将成为未来软件技术发展的主导模式。为了保证网络化应用之间能够有效地协同工作,必须对其进行互操作性测试。互操作性测试具有测试需求复杂易变、测试用例设计困难的特点,因而需要消耗大量成本。为此,提出一种基于测试需求的互操作性测试用例生成方法。该方法采用模型驱动的测试思想,以测试需求模型描述互操作性测试需求,以状态图描述各被测应用的规格说明,通过两者的结合生成满足测试需求的测试用例。
[1] 马于涛,何克清,李兵,等.网络化软件的复杂网络特性实证[J].软件学报,2011,2(3):381-407 [2] 怀进鹏.对未来网络化软件技术的几点认识[J].中国计算机学会通讯,2008,4(1):19-26 [3] 苏森,唐雪飞.开放系统中的互操作性[J].计算机应用,1997,7(6):4-7 [4] 罗玲,白晓颖.Web服务技术的分析[J].计算机科学,2004,31(4):19-23 [5] Walter T,Plattner B.Conformance and interoperability-A critical assessment[R].Technical Report,Computer engineering and networks laboratory (TIK),Swissfederal institute of technology Zurich,1994 [6] 朱少民.软件测试方法和技术[M].北京:清华大学出版社,2005 [7] 毕考.基于被测系统模型的测试需求描述及其可视化[D].北京:北京航空航天大学计算机学院,2011 [8] Seol S,Kim M,Chanson S T,et al.Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle[J].IEEE Journal on Selected Areas in Communications,2004,22(10):2062-2074 [9] Wang Z,Wu J,Yin X.Towards interoperability test generation of time dependent protocols:a case study[C]∥Global Tele- communications Conference,2004(GLOBECOM’04).IEEE,2004,2:589-594 [10] Hao R,Lee D,Sinha R K,et al.Integrated system interoperabili-ty testing with applications to VoIP[J].IEEE/ACM Transactions on Networking (TON),2004,12(5):823-836 [11] Li M,Puder A,Schieferdecker I.A test framework for CORBA interoperability[C]∥Proceedings.Fifth IEEE International Enterprise Distributed Object Computing Conference,2001(EDOC’01).IEEE,2001:152-161 [12] Yu Y,Huang N,Ye M.Web services interoperability testingbased on ontology[C]∥The Fifth International Conference on Computer and Information Technology,2005(CIT 2005).IEEE,2005:1075-1079 [13] Baldoni M,Baroglio C,Martelli A,et al.A priori conformanceverification for guaranteeing interoperability in open environments[C]∥Service-Oriented Computing(ICSOC 2006).SpringerBerlin Heidelberg,2006:339-351 [14] Li Xi-tong.A framework for interoperability of BPEL-basedworkflows[J].High Technology Letters,2008,4:18 [15] 王雷,徐立臻.BPEL建模工具中业务流程模型到 BPEL 程序的转换算法[J].计算机与数字工程,2009,37(9):20-23 [16] Smythe C.Initial Investigations into Interoperability Testing of Web Services from their Specification Using the Unified Modelling[C]∥International Workshop on Web Services-Modeling and Testing (WS-MaTe 2006).2006:95-119 [17] Hoare.Communicating sequential processes[J].Communica-tions of the ACM,1978,21(8):666-677 [18] Sabnani K K,Lapone A M,Uyar M U.An algorithmic procedure for checking safety properties of protocols[J].IEEE Transactions on Communications,1989,37(9):940-948 [19] 郝瑞兵,吴建平.一种形式化的协议互操作性测试方法[J].计算机学报,1997,20(4):305-359 |
No related articles found! |
|