Visual modeling method for test inputs of real-time embedded software
-
摘要: 实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.Abstract: The simulation testing, a major technique for real-time embedded software (RTES), is used in many important fields. Based on the analysis of the characteristics of RTES inputs, a visual modeling method for inputs of RTES simulation testing was established. Three steps are abstracting the input class diagram, building the input sequence diagram and describing the test inputs. The unified modeling language modeling technique was applied in the method for its high understandability. Based on the method, the test script/data can be generated for RTES testing.
-
Key words:
- software /
- realtime /
- software engineering /
- UML /
- software testing /
- test data
-
[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) -
点击查看大图
计量
- 文章访问数: 2338
- HTML全文浏览量: 27
- PDF下载量: 830
- 被引次数: 0
下载:
