Spacecraft automatic test and spacecraft test language

By the analysis of the spacecraft automatic test demands, the characteristics of test language for spacecraft automatic test were summed up, and two types of statements of spacecraft test language, that is, the regular test statements and the special test statements were given based on the analysis of test operations, test processes and test architecture. In addition, in the spacecraft test language the special test statements were classified into four kinds of statements, including operation statements, data statements, time statements and control statements. The definitions and their formal descriptions of the four kinds of the special test statements were presented in detail. This language will improve the efficiency of spacecraft test business and testers of our country, and promote the researches on spacecraft automatic test.