Computer Science ›› 2014, Vol. 41 ›› Issue (7): 114-118.doi: 10.11896/j.issn.1002-137X.2014.07.023
Previous Articles Next Articles
LI Hua,HE Nan,DONG Lu-lu and LV Liang-liang
[1] Lee D,Yannakakis M.Principles and methods of testing finite state machines-a survey[J].Proceedings of the IEEE,1996,4(8):1090-1123 [2] Tretmans J.A Formal Approach to Conformance Testing[D].Enschede,Netherlands:University of Twente,1992 [3] Tretmans J.Test generation with inputs,outputs and repetitive quiescence[J].Software:Concepts and Tools,1996,7(3):103-120 [4] Petrenko A,Yevtushenko N,Huo Jia-ke.Testing TransitionSystems with Input and Output Testers[C]∥ Proc.of 15th IFIP Int.Conf.(LNCS 2644).Berlin Heidelberg:Springer,2003:129-145 [5] Peterson J L.Petri net theory and the modeling of systems[M].Englewood Cliffs,NJ:Prentic-Hall,Inc.1981 [6] Jensen K.Coloured Petri Nets:Basic Concepts,Analysis Methods and Practical Use[M]∥Practical Use,Monographs in Theoretical Computer Science.Springer 1997 [7] Jensen K,Kristensen L M.Colourd Petri Nets Modelling andValidation of Concurrent System[J].Int J Softw Tools Technol Transfer,2009(Published online) [8] Billington J,Gupta A K.Effectiveness of Coloured Petri nets for Modeling and Analyzing the Contract Net Protocol[C]∥Proc.of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools(CPN Workshop 2007).2007:49-64 [9] Billington J,Yuan C.On Modelling and Analysing the DynamicMANET On-Demand(DYMO) Routing Protocol[C]∥Transactions on Petri Nets and Other Models of Concurrency III.2009:98-126 [10] Chiang T C,Huang A C,Fu L C.Modeling,Scheduling and Performance Evaluation for Wafer Fabrication:A Queueing Colored Petri-Net and GA-Based Approach[J].IEEE Transactions on Automation Science and Engineering,2006,3(3):330-337 [11] Fernandes J M,Tjell S,Jorgensen J B.Requirements Enginee-ring for Reactive Systems with Coloured Petri Nets:the Gas Pump Controller Example[C]∥Proc.of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools(CPN Workshop 2007).2007:207-222 [12] 岳婧媛.基于属性的微内核系统调用CPN建模和测试[D].呼和浩特:内蒙古大学,2012 [13] Liu J,Ye X M,Sun T.Towards Formal Modeling and Analysis of BitTorrent using Colored Petri Nets[C]∥Proc.of the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools(CPN Workshop 2009).2009:159-178 [14] 孙涛.基于CP-nets模型的并行软件测试方法的研究[D].呼和浩特:内蒙古大学,2013 [15] Bharti V,Kumar S.Modeling A Protocol Using Coloured Petri Nets[C]∥International Journal of Computer Science and Engineering(IJCSE).2012:98-104 [16] OpenFlow Switch Specification Version 1.3.1.September 2012 [17] McKeown N,Anderson T,Balakrishnan H,et al.OpenFlow:Enabling Innovation in Campus Networks[J].ACM SIGCOMM Computer Communication Review,2008,8(2):69-74 [18] Jarschel M,Oechsner S,Schlosser D,et al.Modeling and Performance Evaluation of an OpenFlow Architecture[C]∥2011ITC Proceedings of the 23rd International Teletraffic Congress.2011:1-7 [19] Rotsos C,Sarrar N,Uhlig S,et al.OFLOPS:An Open Framework for OpenFlow Switch Evaluation[C]∥13th International Conference,PAM 2012.Vienna,Austria,2012:85-95 [20] Canini M,Venzano D,Pereíni P,et al.A NICE way to testopenflow applications[C]∥Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation.2012:10-23 [21] Canini M,Kostic D,Rexford J.Automating the Testing of OpenFlow Applications[C]∥Infoscience.epfl.ch.2011:1-6 [22] Kuzniar M,Peresini P,Canini M.A SOFT Way for OpenFlowSwitch Interoperability Testing[C]∥SIGCOMM ACM Special Interest Group on Data Communication(CoNEXT’12).2012:265-276 [23] Kuzniar M,Canini M,Kostic D.OFTEN Testing OpenFlowNetworks[C]∥2012European Workshop on Software Defined Networking(EWSDN).2012:54-60 [24] 贺楠.基于CPN的OpenFlow建模及交互属性测试[D].呼和浩特:内蒙古大学,2013 |
No related articles found! |
|