期刊文献+

基于虚拟机的嵌入式软件仿真测试环境 被引量:5

Embedded software simulation testing environment based on virtual machine
下载PDF
导出
摘要 为了提高嵌入式软件的质量和可靠性,提出了一种基于虚拟机的嵌入式软件仿真测试环境.将虚拟机技术引入到嵌入式软件仿真测试领域中,介绍了嵌入式软件仿真测试环境的构成原理,并对虚拟机技术进行了分析,提出一种基于程序移植虚拟机模型扩展的嵌入式软件仿真测试虚拟机(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.
出处 《沈阳工业大学学报》 EI CAS 2011年第4期409-415,共7页 Journal of Shenyang University of Technology
基金 航空科学基金资助项目(20095551025)
关键词 嵌入式软件 航电系统 软件测试 虚拟机 仿真 测试环境 软件体系结构 实时调度 embedded software avionics system software testing virtual machine simulation testingenvironment software system structure real-time scheduling
  • 相关文献

参考文献13

  • 1Yin Yongfeng Liu Bin Zhong Deming Jiang Tongmin.On modeling approach for embedded real-time software simulation testing[J].Journal of Systems Engineering and Electronics,2009,20(2):420-426. 被引量:6
  • 2Levesque M, Louie J, Guerrero A M. Test execution control tool:automating testing in spacecraft integration and test environments [ C ]//IEEE Proceedings of Aerospace Conference. Big Sky, USA, 2000: 389 - 395.
  • 3钟德明,刘斌,阮镰.嵌入式软件仿真测试环境软件体系结构研究[J].北京航空航天大学学报,2005,31(10):1130-1134. 被引量:14
  • 4Jiang B, Long X, Gao X P. Mobiletest: a tool supporting automatic black box test for software on smart mobile devices [ C ]//2007 Second International Workshop on Automation of Software Test.Minneapolis, USA, 2007 : 8.
  • 5王磊,肖明清,夏锐.多核并行测试系统研究[J].西安交通大学学报,2008,42(6):683-687. 被引量:10
  • 6怀进鹏,李沁,胡春明.基于虚拟机的虚拟计算环境研究与设计[J].软件学报,2007,18(8):2016-2026. 被引量:78
  • 7Kenneth B K,Ma H J, Serra M. Rapid prototyping of a co-designed Java virtual machine [ C]//15th IEEE International Workshop on Rapid System Prototyping. Geneva, Switzarland, 2004 : 164 - 171.
  • 8Mathias G,Kent K B. An embedded Java virtual machine using network-on-chip design [ C ]//17th IEEE International Workshop on Rapid System Prototyping. Chania, Crete, Greece, 2006:149 - 155.
  • 9Lee Y M, Tak B C, Maeny H S, et al. Real-time Java virtual machine for information appliances [ J ]. IEEE Transactions on Consumer Electronics, 2000,46 ( 4 ) : 949 - 957.
  • 10Koju T, Takada S, Doi N. Regression test selection based on intermediate code for virtual machines[C]//19th IEEE International Conference on Software Maintenance. Washington D C, USA, 2003: 420 - 429.

二级参考文献26

共引文献103

同被引文献43

引证文献5

二级引证文献19

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部