| 航天器自动化测试语言的设计与实现(英文) |
| |
| 引用本文： | 余丹,马世龙.航天器自动化测试语言的设计与实现(英文)[J].中国航空学报,2011(3):287-298. |
| |
| 作者姓名： | 余丹 马世龙 |
| |
| 作者单位： | 北京航空航天大学软件开发环境国家重点实验室; |
| |
| 基金项目： | National Natural Science Foundation of China(61003016); Supported Project of the State Key Laboratory of Software Development Environment(SKLSDE-2009ZX-13) |
| |
| 摘 要： | 航天器自动测试系统是基于各种测试标准的航天器综合测试信息化系统,测试语言是关于各种测试标准描述的形式体系,是提高测试效率的重要手段。在我国多航天器测试的新需求下,航天器测试语言的研究已成为航天器测试领域面临的新挑战。结合当前的测试需求,本文提出了一种高阶航天器测试语言CATOL(China Aerospace Test and Operation Language),介绍了语言的组成结构。为了刻画和定义航天器测试过程,给出了该语言子集 CATOL-PR的语法和操作语义,实现了该语言的原型系统。该语言可促进国内航天器测试的标准化工作,提高测试人员工作效率,使航天器自动化测试工作得到进一步发展。
|
| 关 键 词： | 航天器测试语言 高阶语言 航天器 自动化测试 操作语义 |
Design and Implementation of Spacecraft Automatic Test Language |
| |
| YU DanMA Shilong State Key Laboratory of Software Development Environment,Beihang University,Beijing ,China.Design and Implementation of Spacecraft Automatic Test Language[J].Chinese Journal of Aeronautics,2011(3):287-298. |
| |
| Authors: | YU DanMA Shilong State Key Laboratory of Software Development Environment Beihang University Beijing China |
| |
| Institution: | YU DanMA Shilong State Key Laboratory of Software Development Environment,Beihang University,Beijing 100191,China |
| |
| Abstract: | Spacecraft automatic test system,a comprehensive spacecraft test information system based on the various spacecraft test specifications formalized as spacecraft test language,is an important means to improve test efficiency.With the new requirements of the multi-spacecraft test in China,the study of the spacecraft test language becomes a new challenge for spacecraft test field.In this article,a high-order spacecraft test language,China aerospace test and operation language (CATOL),is given associated with t... |
| |
| Keywords: | spacecraft test language high-order language spacecraft automatic test operational semantics |
| 本文献已被 CNKI 等数据库收录！ |
