● 摘要
近年来，随着我国载人航天领域的快速发展，给飞船的研制和测试工作带来了巨大的挑战。在当前飞船测试过程中，测试任务以非形式化语言进行描述，存在二义性，易出错，缺乏统一规范，难以实现测试任务的自动生成；测试任务的执行过程缺乏统一的管理与控制，自动化水平不高；对测试结果数据缺乏有效的统计分析手段。这些问题的解决迫切需要实现飞船测试的自动化，因此，本文针对飞船测试过程的自动化问题，对飞船自动化测试语言及系统展开研究，主要研究成果如下：
(1). 建立飞船自动化测试框架
在对现有航天器自动化测试架构进行分析的基础上，针对其测试效率不高等问题，优化资源配置，对核心测试引擎进行功能拆分，引入信息订阅发布机制，建立飞船自动化测试框架，以提高测试执行效率。
(2). 建立飞船自动化测试模型
在飞船自动化测试框架基础上，对飞船测试中测试任务的内容及组织和操作方式进行深入的研究，经过归纳、总结和抽象，采用形式化建模方法，建立飞船自动化测试模型，对测试过程中的被测飞船端、测试设备端和测试任务端进行定义，给出整个飞船自动化测试过程的描述。
(3). 设计飞船自动化测试语言
基于飞船自动化测试模型，设计了一种针对飞船自动化测试的语言，实现测试过程规范化。该测试语言涵盖了飞船测试过程中涉及的所有测试语句，便于理解且具有较好的适用性。
(4). 设计并实现了飞船自动化测试系统
基于飞船自动化测试模型和测试语言，在神舟飞船综合测试基础数据库的基础上，设计并实现了飞船自动化测试系统。该系统实现了飞船测试任务的自动生成，多个测试任务的并行执行，支持测试结果的自动统计分析，为飞船自动化测试提供了一种统一有效的管理方法，提高了飞船自动化测试水平和效率，该系统已成功运用于某型号飞船的实际测试过程中。
(3). 设计飞船自动化测试语言
基于飞船自动化测试模型，设计了一种针对飞船自动化测试的语言，实现测试过程规范化。该测试语言涵盖了飞船测试过程中涉及的所有测试语句，便于理解且具有较好的适用性。
(4). 设计并实现了飞船自动化测试系统
基于飞船自动化测试模型和测试语言，在神舟飞船综合测试基础数据库的基础上，设计并实现了飞船自动化测试系统。该系统实现了飞船测试任务的自动生成，多个测试任务的并行执行，支持测试结果的自动统计分析，为飞船自动化测试提供了一种统一有效的管理方法，提高了飞船自动化测试水平和效率，该系统已成功运用于某型号飞船的实际测试过程中。