为全面贯彻集团公司第九次工作会精神、数字航天建设推进会和五院2024年战略管理委员会会议关于数字化转型的部署，航天科技集团五院502所轩宇信息技术有限公司（以下简称轩宇信息）选取航天嵌入式软件开发过程中的软件研制单元测试环节开展了人工智能技术先行先试，研发了天捷SunwiseAUnit的智能化版本，将单元测试推向了智能化。在航天领域，空间软件研制中传统的单元测试主要依赖符号执行技术，但这一技术在面对复杂逻辑代码时往往力不从心。而原生人工智能大模型生成的测试用例往往存在编译错误率较高等问题，难以保证测试的完整性和可执行性，影响了实际的测试效果。
为提升单元测试的整体效率，同时确保测试效果满足航天软件的高可靠性要求，轩宇信息积极落实五院构建数字化研制模式要求，以人工智能技术赋能研制模式转型，在天捷SunwiseAUnit原版本基础上研发了智能化版本。
天捷SunwiseAUnit本是一款可视化自动单元测试工具，具备自动化测试能力，已被深度应用于我国重大航天工程实践，成功保障了载人航天、深空探测等国家航天重大工程任务的软件可靠性验证。
本次天捷SunwiseAUnit智能化版本在原生AI大模型的基础上引入结构化测试用例模式，提出了“结构化种子用例引导的单元测试用例智能生成方法”，使得大模型能够在约束范围内生成更加规范的测试用例，成功解决了原生大模型生成测试用例编译错误率高的问题，同时突破了传统符号执行在复杂逻辑代码覆盖率上难以提升的瓶颈。
据测试，用SunwiseAUnit智能化版本生成测试用例的覆盖率和编译通过率均远超满血版DeepSeek-V3和GPT-4o的大模型原生结果，与传统的符号执行方法相比，在逻辑复杂的项目中，语句、分支覆盖率可提升30%以上，测试更加全面、精准。该工具也可适配DeepSeek、ChatGPT、千问等主流AI大模型，也能快速兼容未来可能推出的新模型，适用场景更灵活。
天捷SunwiseAUnit智能化版本的出现为单元测试领域带来了全新的思路和方法，也为提升软件开发效率和保证软件的高质量提供了有力保障。
未来，502所将落实集团公司、五院关于数字化转型的部署要求，持续深化AI技术与测试流程的融合，结合大模型对需求规格说明和设计文档的理解，通过提示工程推出功能性测试用例生成，将推动单元测试从“代码验证”向“需求验证”延伸，持续为航天嵌入式软件的全生命周期提供质量保障，持续为数字五院和数字航天建设提供智能化支撑。
