航天嵌入式软件是面向航天领域的特殊的嵌入式软件，它的可靠性和健壮性直接关系到航天飞行器的安全。如果没有对软件进行充分的调试和验证，一旦出现问题，不仅能造成飞行器的损毁，甚至会造成人员的伤亡和巨大的财产损失。所以，对航天嵌入式软件进行快速的、有效的测试就变得极其重要。本文根据航天嵌入式软件的测试要求，提出了一种对测试环境进行建模，自动生成测试代码并对测试过程进行在线监控的方法。利用设备图来描述被测目标机的硬件交联环境，其中包括目标机的外围设备和不同的硬件接口，通过接口变量配置来定义硬件接口中传输的数据特性。根据数据传输时机和条件的不同，用周期型事件建模来描述周期型数据的处理，用异步型事件建模来描述非周期型数据的处理。然后介绍了根据模型生成测试代码的过程。为了支持测试过程在线监控，设计并实现了图形化的显控面板，介绍了接收、解析和存储测试数据的过程，以及根据测试数据实时刷新显控面板的方法。经过对航天嵌入式软件的测试，本文提出的调试验证方法可以很好的满足相关要求。