Design and Implementation of Spacecraft Automatic Test Language

作     者：YU Dan MA Shilong 

作者机构：State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China 

出 版 物：《Chinese Journal of Aeronautics》 (中国航空学报（英文版）)

年 卷 期：2011年第24卷第3期

页      面：287-298页

核心收录：

学科分类：08[工学] 081105[工学-导航、制导与控制] 0802[工学-机械工程] 0835[工学-软件工程] 0825[工学-航空宇航科学与技术] 0811[工学-控制科学与工程] 0801[工学-力学（可授工学、理学学位）] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：National Natural Science Foundation of China (61003016) Supported Project of the State Key Laboratory of Software Development Environment (SKLSDE-2009ZX-13) 

主　　题：spacecraft test language high-order language spacecraft automatic test operational semantics 

摘      要：Spacecraft automatic test system, a comprehensive spacecraft test information system based on the various spacecraft test specifications formalized as spacecraft test language, is an important means to improve test efficiency. With the new require- ments of the multi-spacecraft test in China, the study of the spacecraft test language becomes a new challenge for spacecraft test field. In this article, a high-order spacecraft test language, China aerospace test and operation language （CATOL）, is given asso- ciated with the current test requirements; meanwhile, the structure of the language is presented. Then, for characterizing and formalizing the spacecraft processes, the syntax and operational semantics of one of the sub-languages, CATOL-PR, are defined. Finally, the prototype system of this proposed language is presented. This language will improve the specification of spacecraft test work in China and the efficiency of spacecraft testers, and promote the development in spacecraft automatic test.