Spacecraft automatic test and spacecraft test language
-
摘要: 通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用.Abstract: 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.
-
Key words:
- spacecraft /
- automatic testing /
- test language /
- regular test statement /
- special test statement
-
[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) -
点击查看大图
计量
- 文章访问数: 2551
- HTML全文浏览量: 148
- PDF下载量: 1456
- 被引次数: 0
下载:
