基于虚拟机的嵌入式软件仿真测试环境  

Embedded software simulation testing environment based on virtual machine

作　　者：殷永峰[1] 刘斌[1] 王志[2] 

机构地区：[1]北京航空航天大学可靠性与系统工程学院,北京100191 [2]华北计算技术研究所软件平台研发部,北京100083

出　　处：《沈阳工业大学学报》2011年第4期409-415,共7页Journal of Shenyang University of Technology

基　　金：航空科学基金资助项目(20095551025)

摘　　要：为了提高嵌入式软件的质量和可靠性,提出了一种基于虚拟机的嵌入式软件仿真测试环境.将虚拟机技术引入到嵌入式软件仿真测试领域中,介绍了嵌入式软件仿真测试环境的构成原理,并对虚拟机技术进行了分析,提出一种基于程序移植虚拟机模型扩展的嵌入式软件仿真测试虚拟机(ESSTVM),给出了内存管理和指令系统的设计方案.将ESSTVM应用到航电嵌入式软件系统测试环境AESSTE设计中,研究了该测试环境的体系结构,阐述了测试开发系统及测试执行系统的设计与实现,并对AESSTE的可移植性进行了分析.分析结果表明,该方法能有效提高嵌入式软件测试环境的通用性、可移植性和可维护性.In order to enhance the quality and reliability of embedded software, an embedded software simulation testing environment based on virtual machine was proposed. The virtual machine technology was introduced into the simulation testing field of embedded software, and the constitution principle of embedded software simulation testing environment was introduced. In addition, the virtual machine technology was analyzed, and an embedded software simulation testing virtual machine （ESSTVM） based on an extended program-transplantation virtual machine model was proposed. And the design scheme for the memory management and instruction system was presented. The ESSTVM was applied to the design of avionics embedded software simulation testing environment （AESSTE）, and the system structure of the testing environment was studied. Moreover, the design and realization of both testing development and testing execution systems were elaborated, and the transportability of AESSTE was analyzed. The analysis results show that the proposed method can effectively improve the universality, transportability and maintainability of embedded software testing environment.

关 键 词：嵌入式软件 航电系统 软件测试 虚拟机 仿真 测试环境 软件体系结构 实时调度 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]