计算机科学 ›› 2015, Vol. 42 ›› Issue (9): 165-170.doi: 10.11896/j.issn.1002-137X.2015.09.032
王晶,汪斌强,申涓
WANG Jing, WANG Bin-qiang and SHEN Juan
摘要： 可重构网络测量系统中,工作流测量构件间迁移的过程是否与规约描述一致,是检验测量构件一致性测试的重要内容。建立了一种基于工作流的构件变迁模型MCTM(Measurement Component Transfer Model),详细阐述了MCTM模型的形式化定义,并基于MCTM模型给出了一种能自动生成遍历所有构件的测试用例生成算法CTBMCTM。实验结果表明,CTBMCTM算法可以准确定位存在问题的构件,与T&GS算法相比,该算法在生成较短测试序列的同时显著缩短了算法的运行时间。
| [1] Yuan Li-hua,Chuah Ch-N,Mohapatra P.ProgME:Towardsprogrammable network measurement[J].IEEE/ACM Transactions on Networking,2011,19(1):115-128 [2] Masoud M,Minlan Y,Ramesh G.Resource/Accuracy tradeoffs in Software-defined measurement[C]∥HotSDN(2013).Hongkong,China,August 2013 [3] Minlan Y,Jose L,Rui M.Software Defined Traffic Measurement with OpenSketch[C]∥NSDI’2013.Chicago,USA,2013 [4] Zhang Xiao-dan,Li Jun.Network measurement and analysis architecture of cloud service [J].Application Research of Compu-ter,2012,29(2):725-729 [5] Cao Zheng,He Jian-bing.Virtualization based network measurement platform [J].Journal on Communication,2013,34(Z2):84-89 [6] Liu Qiang,Wang Bing-qiang,Xu Ke.Construction and Reconfi-guration Scheme of the Hierarchical Reconfiguration Network Based on the Components[J].Chinese Journal of Computer,2010,33(9):1557-1568 [7] Mao Cheng-ying,Lu Yan-sheng.Research progress in testingtechniques of component based software[J].Journal of Compu-ter Research and Development,2006,43(8):1375-1382 [8] Gallagher L,Offutt J.Automatically testing interactingsoftware components[C]∥Proceedings of the 2006 InternationalWorkshop on Automation of Software Test.Shanghai,China,May,2006 [9] Gallagher L,Offutt J.Test sequence generation for integration testing of component software[J].Computer Journal,2009,52(5):514-529 [10] Gallagher L,Offutt J,Cincotta A.Integration testing of object-oriented components using finite state machines[J].Software Testing Verification and Reliability,2006,16(4):215-266 [11] Ma Y,Lu J,Zhao R.A test path generation approach for component testing based on UML state diagram[C]∥SEA(2006).Dallas,TX,USA,2006:13-15 [12] Le Traon.Efficient Object-Oriented Integration Testing and Regression Testing[J].IEEE Transaction on Reliability,2000,49(1):12-25 [13] Ural H,Wu Xiao-lin,Zhang Fan.On minimizing the lengths of checking sequences[J].IEEE Transaction on Computers,1997,6(1):93-99 |
| No related articles found! |
|
||
首页