航天器自动化测试语言及系统

出版时间：2011-2  出版社：国防工业出版社  作者：马世龙，余丹 著  页数：254  字数：298000  

内容概要

本书是作者及其研究团队从事航天器自动化测试与测试语言研究的成果总结和提高，从航天器自动化测试系统的体系结构、测试语言模型、信息化关键技术与应用示范等方面，阐述了航天器自动化测试与测试语言的主要理论和技术。本书共分五篇。第一篇介绍航天器自动化测试及自动化测试系统，并讨论新一代网络化航天器自动化测试系统的应用需求与技术需求，从而引出航天器测试语言研究的必要性。第二篇综述航天器测试语言及其发展，介绍测试语言研究发展的脉络、重点与趋势。第三篇介绍用于预先研究的网络化航天器测试语言catol及其原型系统框架。第四篇讨论catol的支撑环境及其航天器测试资源管理方法。第五篇就网络化航天器自动化测试与测试语言的发展方向进行了分析和展望。
本书可供国防科研机构和高等院校计算机、航空航天、电子、通信等相关专业科研人员、教师和研究生阅读，也可作为相关领域科研工作者的参考书籍。

书籍目录

第一篇 航天器自动化测试系统
 第1章 航天器自动化测试
 1.1 航天器测试
 1.2 航天器自动化测试系统
 1.3 航天器自动化测试系统的发展
 第2章 基于先进计算和网络技术的航天器自动化测试系统
 2.1 abbet
 2.2 中间件技术
 2.3 soa技术
 2.4 新一代网络化航天器自动化测试系统框架
 参考文献
第二篇 航天器测试语言及其发展
 第3章 面向测试过程的国外航天器测试语言研究
 3.1 etol
 3.2 stol
 3.3 tcl／tk
 第4章 面向测试人员的国外航天器测试语言研究
 4.1 goal背景
 4.2 goal目标和特征
 4.3 goal语言结构
 4.4 goal语句
 第5章 面向测试信号的国外航天器测试语言研究
 5.1 atlas
 5.2 atlas 2000
 第6章 航天器测试语言研究总结与展望
 6.1 语言比较与特色总结
 6.2 我国航天器测试语言发?展望
 参考文献
第三篇 航天器测试语言系统框架
 第7章 catol语言模型
 7.1 catol的总体结构和特征
 7.2 航天器测试流程语言定义
 第8章 catol编辑环境
 第9章 catol执行环境
 第10章 catol总结分析环境
第四篇 航天器测试语言支撑环境及其应用
 第11章 基本测试过程服务模型及应用
 第12章 测试数据服务模型及应用
 第13章 测试设备资源模型及应用
 第14章 航天器测试文档模型及应用
 第15章 航天器自动化测试本体
第五篇 航天器自动化测试与测试语言的发展方向
 第16章 航天器自动化测试与测试语言的发展方向
 参考文献

章节摘录

版权页：插图：

编辑推荐

《航天器自动化测试语言及系统》是由国防工业出版社出版的。