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

第一篇 航天器自动化测试系统 第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章 航天器自动化测试与测试语言的发展方向 参考文献

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