导航

ACTA AERONAUTICAET ASTRONAUTICA SINICA ›› 2010, Vol. 31 ›› Issue (2): 290-300.

• Avionics and Autocontrol • Previous Articles     Next Articles

A Survey of Test Languages for Spacecraft Automatic Test

Yu Dan, Ma Shilong, Li Xianjun, Sun Bo,Ye Gang   

  1. State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and Astronautics
  • Received:2008-12-24 Revised:2009-04-28 Online:2010-02-25 Published:2010-02-25
  • Contact: Yu Dan

Abstract: Spacecraft test language is a formal system for describing spacecraft automatic testing and a set of standards for spacecraft testing work modes. For the new requirements of multi-spacecraft batch network testing, a study of the test language standard system is important to improve spacecraft automatic testing and guarantee the security of testing processes. This article surveyed and compared current spacecraft test languages comprehensively, summarized their basic characteristics, and proposed the objectives and directions of the development of a test language for China which is associated with network computing technology. To compensate for the lack of the domestic spacecraft test language researches and explore the design of a spacecraft test language appropriate for China, a spacecraft test language CATOL (China Aerospace Test and Operation Language) is provided. This research will improve the specification of spacecraft testing work in China and the efficiency of spacecraft testers, and promote the development in spacecraft automatic testing.

Key words: spacecraft, automatic testing, spacecraft test language, standard system, test security

CLC Number: