留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

实时嵌入式软件测试输入的可视化建模

艾骏 陆民燕 刘斌

艾骏, 陆民燕, 刘斌等 . 实时嵌入式软件测试输入的可视化建模[J]. 北京航空航天大学学报, 2004, 30(02): 156-159.
引用本文: 艾骏, 陆民燕, 刘斌等 . 实时嵌入式软件测试输入的可视化建模[J]. 北京航空航天大学学报, 2004, 30(02): 156-159.
Ai Jun, Lu Minyan, Liu Binet al. Visual modeling method for test inputs of real-time embedded software[J]. Journal of Beijing University of Aeronautics and Astronautics, 2004, 30(02): 156-159. (in Chinese)
Citation: Ai Jun, Lu Minyan, Liu Binet al. Visual modeling method for test inputs of real-time embedded software[J]. Journal of Beijing University of Aeronautics and Astronautics, 2004, 30(02): 156-159. (in Chinese)

实时嵌入式软件测试输入的可视化建模

详细信息
  • 中图分类号: TP 311.5

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

  • 摘要: 实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.

     

  • [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)
  • 加载中
计量
  • 文章访问数:  2256
  • HTML全文浏览量:  14
  • PDF下载量:  828
  • 被引次数: 0
出版历程
  • 收稿日期:  2002-10-09
  • 网络出版日期:  2004-02-29

目录

    /

    返回文章
    返回
    常见问答