航天领域属于特殊领域，所以对于航天嵌入式控制系统的要求是极其严格的。航天飞行器的安全是十分重要的，一旦发生故障，就会造成机毁人亡的悲剧，造成巨大人员和财产损失，所以充分对航天嵌入式控制系统进行测试是十分重要的。但是传统的航天嵌入式系统的测试质量差效率低，并且随着航天事业的急速发展，航天型号嵌入式软件的规模日益增加，复杂度逐渐提高，功能也越来越复杂，这些都给航天嵌入式控制系统的测试工作带来了很多困难。本文就是针对航天型号嵌入式软件测试效率和质量急待提高的需求，将模型驱动思想运用到航天型号嵌入式软件测试中，设计了一种航天型号嵌入式软件测试程序的可视化建模方式，该建模方式能够自动生成代码，并且测试过程提供对实时数据进行监控的功能。本文首先对嵌入式软件调试验证一体化平台整个系统的需求和体系结构进行了详细的介绍。然后本文重点介绍了结构化的串口接口模型的设计与实现，包括静态建模中结构化串口变量的创建和初始化方式，动态模型中使用结构化串口变量控制串口通信的方式，以及串口串行数据映射成结构化串口变量的映射方式。在这种映射方式下，调制验证平台实现了结构化串口变量对串口数据发送和接收的控制，以及串口实时数据上报管理机并以树形结构在显控面板上显示的功能。接着本文对结构化的串口接口模型进行测试与验证，测试结果表明结构化的串口接口模型符合预期要求。最后在项目当前完成的基础上进行了总结，并对后续研究工作进行了展望。