中文摘要：

太空船自动测试系统，基于各种各样的太空船测试，说明作为太空船测试语言形式化的一个全面太空船测试信息系统，是一个重要工具改进测试效率。与中国的多太空船测试的新要求，太空船测试语言的学习为太空船测试地成为新挑战。在这篇文章，一种高顺序的太空船测试语言，中国太空测试和操作语言(CATOL ) ，被给与当前的测试要求联系了；同时，语言的结构被介绍。然后为描绘并且形式化太空船过程，句法和子语言之一的运作的语义， CATOL-PR，被定义。最后，这的原型系统建议语言被介绍。这种语言将在中国和太空船测试者的效率改进太空船测试工作的说明，并且在太空船支持发展自动测试。

英文摘要：

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.