Lanzhou Institute of Physics, a subsidiary of CAST, conducted ground testing on its newly developed eddy current nondestructive testing equipment, demonstrating an important breakthrough had been made with the nondest...Lanzhou Institute of Physics, a subsidiary of CAST, conducted ground testing on its newly developed eddy current nondestructive testing equipment, demonstrating an important breakthrough had been made with the nondestructive testing of orbital spacecraft. The equipment works steadily and has met the design requirements for space applications. It was also announced by the Institute that the equipment would be used during the next lunar exploration mission to detect the status of展开更多
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 ef...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.展开更多
文摘Lanzhou Institute of Physics, a subsidiary of CAST, conducted ground testing on its newly developed eddy current nondestructive testing equipment, demonstrating an important breakthrough had been made with the nondestructive testing of orbital spacecraft. The equipment works steadily and has met the design requirements for space applications. It was also announced by the Institute that the equipment would be used during the next lunar exploration mission to detect the status of
基金National Natural Science Foundation of China （61003016） Supported Project of the State Key Laboratory of Software Development Environment （SKLSDE-2009ZX-13）
文摘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.
