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

　　第一篇 航天器自动化测试系统 
　　第1章 航天器自动化测试 
　　1.1 航天器测试 
　　1.1.1 航天器测试技术发展的三个阶段 
　　1.1.2 航天器测试技术发展现状 
　　1.1.3 航天器自动化测试技术 
　　1.2 航天器自动化测试系统 
　　1.2.1 航天器自动化测试分析 
　　1.2.2 航天器自动化测试系统层次结构 
　　1.2.3 航天器自动化测试系统总体架构 
　　1.2.4 航天器自动化测试系统数据流 
　　1.2.5 航天器自动化测试系统运行结构 
　　1.2.6 航天器自动化测试系统的功能 
　　1.3 航天器自动化测试系统的发展 
　　1.3.1 航天器测试模式的转变 
　　1.3.2 多航天器批产测试机制 
　　第2章 基于先进计算和网络技术的航天器自动化测试系统 
　　2.1 ABBET 
　　2.1.1 ABBET概述 
　　2.1.2 ABBET层次结构图 
　　2.1.3 ABBET框架 
　　2.1.4 ABBET体系结构 
　　2.2 中间件技术 
　　2.2.1 中间件技术概述 
　　2.2.2 中间件结构 
　　2.3 SOA技术 
　　2.3.1 SOA技术概述 
　　2.3.2 SOA模型 
　　2.4 新一代网络化航天器自动化测试系统框架 
　　参考文献 
　　第二篇 航天器测试语言及其发展 
　　第3章 面向测试过程的国外航天器测试语言研究 
　　3.1 ETOL
　　3.1.1 背景 
　　3.1.2 功能 
　　3.1.3 语言结构 
　　3.1.4 语句 
　　3.2 STOL
　　3.2.1 分布式语言解析器 
　　3.2.2 程序解释器 
　　3.2.3 语言结构 
　　3.2.4 程序文件执行 
　　3.2.5 流程环境 
　　3.3 TCL／TK
　　3.3.1 背景 
　　3.3.2 测试语句 
　　第4章 面向测试人员的国外航天器测试语言研究 
　　4.1 GOAL背景 
　　4.2 GOAL目标和特征 
　　4.3 GOAL语言结构 
　　4.4 GOAL语句 
　　4.4.1 声明语句 
　　4.4.2 过程语句 
　　4.4.3 系统语句 
　　第5章 面向测试信号的国外航天器测试语言研究 
　　第6章 航天器测试语言研究总结与展望 
　　参考文献 
　　第三篇 航天器测试语言系统框架 
　　第7章 CATOL语言模型 
　　第8章 CATOL编辑环境 
　　第9章 CATOL执行环境 
　　第10章 CATOL总结分析环境 
　　参考文献 
　　第四篇 航天器测试语言支撑环境及其应用 
　　第11章 基本测试过程服务模型及应用 
　　第12章 测试数据服务模型及应用 
　　第13章 测试设备资源模型及应用 
　　第14章 航天器测试文档模型及应用 
　　第15章 航天器自动化测试本体 
　　参考文献 
　　第五篇 航天器自动化测试与测试语言的发展方向 
　　第16章 航天器自动化测试与测试语言的发展方向 
　　参考文献

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