，，

(北京空间飞行器总体设计部，北京 100094)

0 引言

从国外卫星系列的成功发射可以看出，卫星从生产、组装建造到发射的时间已从传统模式的数月缩短至以小时为单位，并且随着空间技术的提高和应用需求的扩展，星载嵌入式应用软件的功能越来越多，逻辑也越来越复杂[1]。这些繁多的、复杂的需求和功能都需要通过完备的软件测试得以验证。嵌入式软件测试的一大特点就是绝大部分测试均需要通过外部激励触发执行。对于智能卫星这样的复杂大系统而言，很多外部激励需要具备一定的等待时长才能产生。因此，若采用硬件设备实施嵌入式软件测试，其测试周期必然是各测试用例等待时间的总和。以卫星数管软件的热控逻辑测试为例，遍历一颗卫星的所有热控回路的测试常常需要24小时不间断地持续几天甚至1周时间，大大影响了卫星的研制周期。

为了解决此问题，提出采用全数字虚拟机替代硬件目标机实现星载软件逻辑测试。此方法一方面能够为星载软件的前期预研提供调试环境，大大节约开发成本，另一方面，如果能够让虚拟目标机实现超速运行，也能提高软件测试的效率，缩短软件研制周期，从而实现提升软件质量的目的[2]。

QEMU(quick emulator)是一款开源仿真平台，支持多种处理器的功能仿真，包括x86、PowerPC、ARM 和Sparc系列处理器[3]，目前被业内公认为应用最广、效率最高的虚拟机实现软件。其采用动态指令翻译技术，在目标码运行时动态实现将目标机代码转为宿主机代码的过程全过程。……