原创力文档摘要
随着航天任务复杂性的不断增加，嵌入式软件在航天器系统中的作用日益突出，其
安全性和可靠性直接影响任务成败。传统的手动测试方法已难以满足航天软件验证的需
求，自动化测试技术因此备受重视。然而，现有的测试方法在基于自然语言的软件需求
表达、需求模型的自动生成以及多层次功能的覆盖方面存在局限。为了解决这些问题，
本文针对弹载嵌入式软件工程化开发与验证中的关键工程问题，围绕航天测试需求的结
构化表达建模与合法性验证、模型驱动的测试用例生成以及多层次覆盖追溯体系构建三
大技术路径，提出解决方案并完成实践
文档评论（0）