[1] REN F, HUANG H, LIN C. Wireless sensor networks[J]. Journal of Software, 2003, 14(7): 1282-1291.(任丰原, 黄海宁, 林闯. 无线传感器网络[J]. 软件学报, 2003, 14(7): 1282-1291.) [2] ELLEUCH M, HASAN O, TAHAR S, et al. Formal analysis of a scheduling algorithm for wireless sensor networks[C]// ICFEM 2011: Proceedings of the 13th International Conference on Formal Engineering Methods, LNCS 6991. Berlin: Springer-Verlag, 2011: 388-403. [3] HE K, YANG H, FENG Y, et al. Performance analysis of data gathering protocol using PRISM[C]// Proceedings of the 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems. Piscataway: IEEE Press, 2012: 96-105. [4] FENG Y. The modeling and analyzing of data gathering protocol for wireless sensor networks[D]. Beijing: Beijing University of Technology, 2013.(冯亚超. 无线传感器网络数据收集协议的建模与分析[D]. 北京: 北京工业大学, 2013.) [5] FAN S, ZHUANG L. Improvement on method of test cases generation based on timed automata[J]. Computer Engineering and Design, 2010, 31(12): 2765-2768.(范素娟, 庄雷. 基于时间自动机模型的测试用例生成方法优化[J]. 计算机工程与设计, 2010, 31(12): 2765-2768.) [6] WU L, HU J, CAO D, et al. Research on modeling and test case generation for UAV flight control software system[J]. Computer Science, 2012, 39(7): 112-118.(吴黎明, 胡军, 曹东, 等. 无人机飞控软件系统建模与测试用例生成研究[J]. 计算机科学, 2012, 39(7): 112-118.) [7] YUAN L, LYU J, LIU Y, et al. Research on model-based test case generation method of onboard subsystem in CTCS-3[J]. Journal of the China Railway Society, 2014, 36(8): 55-62.(袁磊, 吕继东, 刘雨, 等. 一种全覆盖的列控车载系统测试用例自动生成算法研究[J]. 铁道学报, 2014, 36(8): 55-62.) [8] YI C, LI K, ZHOU J. Research on automatic generation of test cases for on-board equipment CTCS-3 based on model[J]. Journal of Xihua University: Natural Science, 2014, 33(2): 58-62.(易承龙, 李开成, 周晶晶. 基于模型的车载设备测试用例自动生成研究[J]. 西华大学学报:自然科学版, 2014, 33(2): 58-62.) [9] ZHAO W. Scenario-based test cases generation for onboard subsystem[D]. Beijing: Beijing Jiaotong University, 2014.(赵伟慧. 基于场景的列控车载设备测试用例自动生成方法研究[D]. 北京: 北京交通大学, 2014.) [10] ZHOU J. Research of the test case automatic generation for CTCS-3 on-board equipment based on model[D]. Beijing: Beijing Jiaotong University, 2013.(周晶晶. 基于模型的列控系统测试用例自动生成研究[D]. 北京: 北京交通大学, 2013.) [11] BENGTSSON J, WANG Y. Timed automata: semantics, algo-rithms and tools[C]// DESEL J, REISIG W, ROZENBERG G. Lectures on concurrency and Petri nets, LNCS 3098. Berlin: Springer-Verlag, 2004: 87-124. [12] BEHRMANN G, DAVID A, LARSEN K G. A tutorial on UPPAAL 4.0[EB/OL].[2010-10-10]. http://www.uppaal.com/admin/anvandarfiler/filer/uppaal-tutorial.pdf. [13] HESSEL A, PETTERSON P. CoVer — a real-time test case generation tool[EB/OL]. [2010-10-10]. http://www.hessel.nu/cover/publications/FATES07_Tool.pdf. [14] BLOM J, HESSEL A, JONSSON B, et al. Specifying and generating test cases using observer automata[C]// FATES 2004: Proceedings of the 4th International Workshop on Formal Approaches to Software Testing, LNCS 3395. Berlin: Springer-Verlag, 2005: 125-139. [15] LINDSEY S, RAGHAVENDRA C S. PEGASIS: power-efficient gathering in sensor information systems[C]// Proceedings of the 2002 IEEE Aerospace Conference Proceedings. Piscataway: IEEE Press, 2002: 1125-1130. |