论文部分内容阅读
航天器自动测试系统是基于各种测试标准的航天器综合测试信息化系统,测试语言是关于各种测试标准描述的形式体系,是提高测试效率的重要手段。在我国多航天器测试的新需求下,航天器测试语言的研究已成为航天器测试领域面临的新挑战。结合当前的测试需求,本文提出了一种高阶航天器测试语言CATOL(China Aerospace Test and Operation Language),介绍了语言的组成结构。为了刻画和定义航天器测试过程,给出了该语言子集 CATOL-PR的语法和操作语义,实现了该语言的原型系统。该语言可促进国内航天器测试的标准化工作,提高测试人员工作效率,使航天器自动化测试工作得到进一步发展。
The spacecraft automatic test system is a spacecraft integrated test information system based on various testing standards. The test language is a formal system that describes various testing standards and is an important means to improve the testing efficiency. Under the new demand of multi-spacecraft test in our country, the research of spacecraft test language has become a new challenge in spacecraft test field. Combined with the current testing needs, this paper presents a high-end spacecraft test language CATOL (China Aerospace Test and Operation Language), introduced the composition of the language structure. In order to describe and define the testing process of spacecraft, the syntax and operational semantics of CATOL-PR, a subset of the language, are given, and the prototype system of the language is realized. The language can promote the standardization of domestic spacecraft testing and improve the working efficiency of testers so as to further develop the testing of spacecraft automation.