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.
Clancy D A, Clyde B A, Mirantes M A. The evolution of a test process for spacecraft software Proc of the 2nd IEEE International Conference on Space Mission Challenges for Information Technology. Washington, DC, USA: IEEE Computer Society,2006 ��
Yamada T��. Generic software for spacecraft testing and operations based on a spacecraft model Proc of Space Ops2006.USA:American Institute of Aeronautics and Astronautics, 2006
�����.��������⼼��[M].����:�й���ѧ����������.[J].2007 Wang Qingcheng. Electrical test technology of spacecraft[M]. Beijing: Chinese S&T Press.2007,:-
�,Ҷ��,���Ⱦ�,��.���ڹ������ĺ�����������Ϣ��ϵͳ�Ľ�ģ�����[J].�人��ѧѧ��,2009,55(2):211-215 Yu Dan, Ye Gang, Li Xianjun et al., Modelling and analysis of spacecraft testing informatization system based on workflow[J]. Journal Wuhan University, 2009,55(2):211-215(in Chinese)
������.���������Կ������������ʵ�ַ����о�[J].����������,2007,16(2):57-63 Wang Xianwen. Design and realization method of the test and control language for spacecraft overall checkout[J]. Spacecraft Engineering, 2007, 16(2):57-63(in Chinese)