Spacecraft automatic test and spacecraft test language

[1] 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  [2] 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 [3] 王庆成.航天器电测技术[M].北京:中国科学技术出版社, 2007 Wang Qingcheng. Electrical test technology of spacecraft[M]. Beijing: Chinese S&T Press, 2007(in Chinese) [4] 余丹,叶钢,李先军,等.基于工作流的航天器测试信息化系统的建模与分析[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) [5] 王宪文.航天器测试控制语言设计与实现方法研究[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)