计算机工程 ›› 2008, Vol. 34 ›› Issue (4): 87-89.doi: 10.3969/j.issn.1000-3428.2008.04.030

• 软件技术与数据库 • 上一篇    下一篇

面向嵌入式软件测试的仿真建模

蒋崇武,杨顺昆,刘 斌   

  1. (北京航空航天大学14系011教研室,北京 100083)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-02-20 发布日期:2008-02-20

Simulation and Modeling for Embedded Software Test

JIANG Chong-wu, YANG Shun-kun, LIU Bin   

  1. (Faculty 011, Department 14, Beijing University of Aeronautics and Astronautics, Beijing 100083)
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-02-20 Published:2008-02-20

摘要: 论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。

关键词: 嵌入式软件, 软件测试, 基于接口, 模型驱动

Abstract: This paper analyzes a series of theories, technologies and methods, including interface-based exterior modeling, test-oriented interior modeling and model-driven test process, develops an automatic modeling software——EasyModel that improves system efficiency and ensures its accuracy. The system is applied to software test systems. Experimental results show that the simulation tool is effective.

Key words: embedded software, software test, interface-based, model- driven

中图分类号: