| 航天器自动化测试与航天器测试语言 |
| |
| 引用本文： | 孙波,马世龙,余丹.航天器自动化测试与航天器测试语言[J].北京航空航天大学学报,2009,35(11):1375-1378. |
| |
| 作者姓名： | 孙波 马世龙 余丹 |
| |
| 作者单位： | 北京航空航天大学软件开发环境国家重点实验室,北京,100191;北京航空航天大学软件开发环境国家重点实验室,北京,100191;北京航空航天大学软件开发环境国家重点实验室,北京,100191 |
| |
| 基金项目： | 国家重点基础研究发展规划(973计划)，软件开发环境国家重点实验室探索性自主研究课题 |
| |
| 摘 要： | 通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用.
|
| 关 键 词： | 航天器 自动化测试 测试语言 常规测试语句 专用测试语句 |
| 收稿时间： | 2008-10-28 |
Spacecraft automatic test and spacecraft test language |
| |
| Sun Bo,Ma Shilong,Yu Dan.Spacecraft automatic test and spacecraft test language[J].Journal of Beijing University of Aeronautics and Astronautics,2009,35(11):1375-1378. |
| |
| Authors: | Sun Bo Ma Shilong Yu Dan |
| |
| Institution: | State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing 100191, China |
| |
| 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 statem... |
| |
| Keywords: | spacecraft automatic testing test language regular test statement special test statement |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 |
| 点击此处可从《北京航空航天大学学报》下载免费的PDF全文 |
|
