[1] 颜炯, 王戟, 陈火旺. 基于模型的软件测试综述[J]. 计算机科学, 2004, 31(2):184-187.(YAN J, WANG J, CHEN H W. Survey of model-based software testing[J]. Computer Science, 2004, 31(2):184-187.) [2] LEYE S, HIMMELSPACH J, UHRMACHER A M. A discussion on experimental model validation[C]//Proceedings of the UKSim 2009:11th International Conference on Computer Modelling and Simulation. Washington, DC:IEEE Computer Society, 2009:161-167. [3] SUN T, YE X. A model reduction method for parallel software testing[EB/OL].[2016-06-20]. http://www.emis.ams.org/journals/HOA/JAM/Volume2013/595897.pdf. [4] 杜秀娟.基于UML状态图的软件测试用例生成方法研究[D]. 西安:长安大学,2008.(DU X J. Research on software test case generation based on UML state diagram[D]. Xi'an:Chang'an University, 2008.) [5] 孙涛.基于CP-nets模型的并行软件测试方法研究[D]. 呼和浩特:内蒙古大学,2012.(SUN T. Research on testing method for parallel software based on colored Petri nets[D]. Hohhot:Inner Mongolia University, 2012.) [6] RAI V, SIVASUBRAMANIAN S, BHULAI S, et al. A multiphased approach for modeling and analysis of the BitTorrent protocol[C]//Proceedings of the 27th International Conference on Distributed Computing Systems. Washington, DC:IEEE Computer Society, 2007:10. [7] 胡乃文.基于改进蚁群算法的测试序列优化算法[D]. 北京交通大学,2015.(HU N W. The algorithm of test sequence optimization based on the improved ant colony algorithm[D]. Beijing:Beijing Jiaotong University, 2015.) [8] 陆公正.基于EFSM模型的测试用例优化生成及实例化[D]. 上海:上海大学,2014.(LU G Z. EFSM model based optimal generation and instantiation of test cases[D]. Shanghai:Shanghai University, 2014.) [9] SUN T, YE X, LIU J. A test generation method based on model reduction for parallel software[C]//Proceedings of the 201213th International Conference on Parallel and Distributed Computing, Applications and Technologies. Washington, DC:IEEE Computer Society, 2012:777-782. [10] ZHU H, HE X. A methodology of testing high-level Petri nets[J]. Information and Software Technology, 2002, 44(8):473-489. [11] JENSEN K. An introduction to the theoretical aspect of colored Petri nets[C]//REX1993:Reflections and Perspectives. London:Springer-Verlag, 1994:230-272. [12] RUSHBY J. Automated Test Generation And Verified Software[M]. Berlin:Springer-Verlag, 2005:161-172. [13] LEE G, MORRIS J, PARKER K, et al. Using symbolic execution to guide test generation:research articles[J]. Software Testing Verification & Reliability, 2005, 15(1):41-61. [14] 李华, 叶新铭. 基于Petri网的控制流与数据流相结合的协议测试[J]. 内蒙古大学学报(自然科学版), 1999, 29(5):702-705.(LI H, YE X M. Protocol test based on the combination of control flow and data flow based on Petri net[J]. Journal of Inner Mongolia University (Natural Science Edition), 1999, 29(5):702-705.) [15] SARGENT R G. Verification and validation of simulation models[C]//Proceedings of the 40th Conference on Winter Simulation. Piscataway, NJ:IEEE, 2013:37-48. |