航天器自动化测试语言的设计与实现(英文)

作者：余丹; 马世龙

来源：Chinese Journal of Aeronautics, 2011, (03): 287-298.

• 航天器测试语言
• 高阶语言
• 航天器
• 自动化测试
• 操作语义 spacecraft test language
• high-order language
• spacecraft
• automatic test
• operational semantics

航天器自动测试系统是基于各种测试标准的航天器综合测试信息化系统,测试语言是关于各种测试标准描述的形式体系,是提高测试效率的重要手段。在我国多航天器测试的新需求下,航天器测试语言的研究已成为航天器测试领域面临的新挑战。结合当前的测试需求,本文提出了一种高阶航天器测试语言CATOL(China Aerospace Test and Operation Language),介绍了语言的组成结构。为了刻画和定义航天器测试过程,给出了该语言子集 CATOL-PR的语法和操作语义,实现了该语言的原型系统。该语言可促进国内航天器测试的标准化工作,提高测试人员工作效率,使航天器自动化测试工作得到进一步发展。

• 单位
  北京航空航天大学; 软件开发环境国家重点实验室