Visual modeling method for test inputs of real-time embedded software

[1] 袁由光.实时系统中的可靠性技术[M].北京:清华大学出版社,1995 Yuan Youguang. Reliability technology in real-time system [M]. Beijing:Tsinghua University Press, 1995(in Chinese) [2] 刘 斌. 软件可靠性测试研究 . 北京:北京航空航天大学工程系统工程系,2002 Liu Bin. Software reliability research . Beijing:Department of System Engineering of Engineering Technology, Beijing University of Aeronautics and Astronautics,2002(in Chinese) [3] 陈雪松. 基于运行剖面的实时软件可靠性测试数据生成技术研究 . 北京:北京航空航天大学工程系统工程系,2001 Chen Xuesong. Real-time software reliability testing data generation based on operational profile . Beijing:Department of System Engineering of Engineering Technology, Beijing University of Aeronautics and Astronautics,2001(in Chinese) [4] Michael L. Handbook of software reliability engineering [M]. New York:McGraw Hill and IEEE Computer Society Press,1996 [5] James R, Ivar J, Grady B . UML参考手册[M]. 北京:机械工业出版社,2001 James R, Ivar J, Grady B. The unified modeling language reference manual [M]. Beijing:China Machine Press, 2001(in Chinese) [6] Kim Y G. Test cases generation from UML state diagrams [J]. IEE Proc-Softw,1999,146(4) [7] Kim Y G, Hong H S, Bae D H, et al. Test cases generation from UML state diagrams [J]. Software, IEE Proceedings , 1999, 146(4):187~192 [8] Duncan Clarke, Insup Lee. Automatic generation of tests for timing constrains from requirement . Technical Report,Computer Science ,University of Kentucky,1998 [9] Dino Mandrioli. Generating test cases for real-time systems from logic specifications [J]. ACM Trans On Computer Systems ,1995, 13(4)