计算机科学 ›› 2016, Vol. 43 ›› Issue (1): 218-225.doi: 10.11896/j.issn.1002-137X.2016.01.048
李华,孙涛,王显荣,邢熠,李颖杰,夏兴行
LI Hua, SUN Tao, WANG Xian-rong, XING Yi, LI Ying-jie and XIA Xing-hang
摘要： 首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在保证并发覆盖的前提下,将测试序列的生成划分为3个阶段,重点讨论了覆盖并发行为的测试序列生成方法。对于并发开始(末)库所按照CPN执行产生的状态空间中的节点进行了映射,得到状态空间中对应并发的开始(末)库所的开始(末)节点集合。通过对并发的开始(末)节点集内的节点间的关系进行分析,依据它们在状态空间中的前驱后继关系 ,生成一个由开始(末)节点的序列构成的序列的集合,然后以此序列集内的序列作为覆盖并发行为的测试序列的开始部分或者结尾部分,生成覆盖并发的测试序列。通过一个自行实现的P2P软件,使用了提出的建模方法及测试序列生成算法。最后通过得到的测试序列设计了测试场景及测试方案,包括Tracker并发行为测试系统结构、服务器测试方案及典型的测试场景设计。将P2P软件和TTCN-3测试机部署在一起实现了TTCN-3测试套的执行,测试结果表明测试工作的设计与实现是正确的。
| [1] Lee D,Yannakakis M.Principles and methods of testing finite state machines-a survey[J].Proceedings of the IEEE,1996,84(8):1090-1123 [2] Tretmans J.A formal approach to conformance testing[D].University of Twente,Enschede,Netherlands,1992 [3] Tretmans J.Test generation with inputs,outputs and repetitive quiescence [J].Software Concepts and Tools,1996,17(3):103-120 [4] Petrenko A,Yevtushenko N,Huo J L.Testing transition sys-tems with input and output testers[J].Testing of Communicating Systems,Springer Berlin Heidelberg,2003,2644(0302-9743):129-145 [5] Peterson J L.Petri net theory and the modeling of systems[M].Englewood Cliffs,Nj,Prentic-Hall,Inc.1981 [6] Wu Z H.Introduction of Petri Nets[M].Beijing:Mechanical Industry Press,2006(in Chinese)吴哲辉.Petri网导论[M].北京:机械工业出版社,2006 [7] Jensen K.Coloured Petri Nets:Basic concepts,analysis methods and practical use.Vol.3[M]∥Practical use,Monographs in Theoretical Computer Science.Springer,1997 [8] Jensen K,Kristensen L M.Coloured Petri Nets:modelling and validation of concurrent systems[M].Spring-Verlag,2009 [9] Wang G,Wu J,Xu L,et al.Research on test adapter framework for distributed TTCN-3 test execution platform[J].Acta Electronica Sinica ,2009,37(1):125-130(in Chinese)王冠,吴际,徐珞,等.面向 TTCN-3 分布式测试执行平台的测试适配器框架的研究与设计[J].电子学报,2009,37(1):125-130 [10] Lei Y,Carver R H.Reachability testing of concurrent programs[J].IEEE Transactions on Software Engineering,2006,32(6):382-403 [11] Sen K,Marinov D,Agha G.CUTE:A concolic unit testing engine for C[C]∥Proceedings of the 13th ACM SIGSOFT Symposium on Foundations of Software Engineering jointly with 10th European Software Engineering Conference.Lisbon,Portugal,ACM Press,2005 [12] Merz S.Model Checking:A tutorial overview[C]∥Proceedings of the 4th Summer School on Modeling and Verification of Pa-rallel Processes.Nantes,France,Springer Press,2000:3-38 [13] Edelstein O,Farchi E,Nir Y,et al.Multithreaded java program test generation[J].IBM Systems Journal,2002,41(1):111-125 [14] Remenska D,Templon J,Willemse T A C,et al.From UML to process algebra and back:An automated approach to model-Checking software design artifacts of concurrent systems[M]∥NASA Formal Methods.Springer Berlin Heidelberg,2013:244-260 [15] Yang H B,Li Y P.Functional test scenarios generation method based on UML activity diagrams[J].Computer Engineering,2011,37(21):55-57(in Chinese)杨鹤标,李云平.基于UML活动图的功能测试场景生成方法[J].计算机工程,2011,37(21):55-57 [16] Farooq U,Lam C P,Li H.Towards automated test sequence generation[C]∥Proceedings of the 19th Australian Conference on Software Engineering.Perth,Australia,2008:441-450 [17] Din G,Tolea S,Schieferdecker I.Distributed load tests withTTCN-3[M]∥Testing of Communicating Systems: TestCom 2006,LNCS 3964,2006.IFIP International Federation for Information Processing,2006:177-196 |
| No related articles found! |
|
||
首页