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

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

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

CLC Number: 

• TP391.9