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

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

第一篇 航天器自动化测试系统
第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章 面向测试信号的国外航天器测试语言研究
5.1 ATLAS
5.1.1 背景
5.1.2 语言特点
5.1.3 语言结构
5.1.4 语句
5.2 ATLAS 2000
5.2.1 背景
5.2.2 新概念
5.2.3 语言框架

第6章 航天器测试语言研究总结与展望
6.1 语言比较与特色总结
6.2 我国航天器测试语言发展展望
参考文献
第三篇 航天器测试语言系统框架

第7章 CATOL语言模型
7.1 CATOL的总体结构和特征
7.2 航天器测试流程语言定义
7.2.1 操作类语句
7.2.2 数据类语句
7.2.3 时间类语句
7.2.4 控制类语句

第8章 CATOL编辑环境
8.1 编辑环境的本质特征及其对支撑技术的需求
8.1.1 测试语言及其编辑环境
8.1.2 CATOL编辑环境
8.2 航天器测试编辑工作平台
8.2.1 测试对象管理
8.2.2 编辑机制
8.2.3 可复用组件

第9章 CATOL执行环境
9.1 航天器测试执行系统体系结构
9.1.1 体系结构模型
9.1.2 层次模型及其交互
9.2 航天器程序自动解释执行机制
9.2.1 测试程序管理
9.2.2 测试引擎
9.2.3 测试程序执行过程
9.3 航天器测试执行控制机制
9.3.1 变量处理
9.3.2 条件选择语句的处理
9.3.3 循环语句
9.3.4 测试过程的并行执行

第10章 CATOL总结分析环境
10.1 航天器测试总结分析现状及问题
10.1.1 基于动态SQL的可定制查询
10.1.2 基于服务组合的可定制查询
10.2 可定制数据查询机制
10.2.1 领域建模
10.2.2 基本服务构建
10.2.3 用户定制策略
10.2.4 服务组合
10.2.5 组合服务执行与结果生成
10.3 测试数据一致性比对分析
10.3.1 测试数据一致性分析
10.3.2 测试覆盖性检查
参考文献
第四篇 航天器测试语言支撑环境及其应用

第11章 基本测试过程服务模型及应用
11.1 自动化测试系统中的测试过程抽象
11.2 航天器测试原子定义
11.3 航天器测试原子说明

第12章 测试数据服务模型及应用
12.1 航天器测试数据资源服务模型及应用
12.1.1 航天器测试数据资源特点
12.1.2 航天器测试数据资源的使用要求
12.2 航天器测试统一数据资源访问平台
12.2.1 航天器测试数据平台的体系结构模型
12.2.2 航天器测试数据资源统一访问机制

第13章 测试设备资源模型及应用
13.1 测试设备资源服务模型及应用
13.1.1 测试设备资源的特点
13.1.2 测试业务的特点
13.2 航天器测试设备资源平台
13.2.1 测试资源支撑平台体系结构模型
13.2.2 测试设备资源平台的支撑技术

第14章 航天器测试文档模型及应用
14.1 测试文档资源服务模型及应用
14.1.1 测试文档的特点
14.1.2 测试文档技术与标准
14.1.3 现有技术存在的问题
14.2 航天器测试文档描述与生成方式及实现机制
14.2.1 航天器测试文档描述与生成问题
14.2.2 航天器测试文档描述与生成方法
14.3 测试文档描述与生成方式的体系结构
14.3.1 测试文档描述与生成方式的体系结构模型
14.3.2 测试文档描述与生成环境的技术实现

第15章 航天器自动化测试本体
15.1 航天器自动化测试本体描述
15.1.1 航天器自动化测试本体类
15.1.2 航天器自动化测试本体的关系
15.1.3 航天器自动化测试中的公理
15.1.4 航天器自动化测试中的规则构建
15.2 航天器自动化测试本体的构建
15.3 航天器自动化测试本体的应用
参考文献
第五篇 航天器自动化测试与测试语言的发展方向

第16章 航天器自动化测试与测试语言的发展方向
16.1 ATML体系
16.1.1 ATML框架
16.1.2 ATML组件标准
16.2 AI-ESTATE
16.3 航天器自动化测试系统及语言发展趋势
参考文献

    1.测试准备阶段实现的功能
     在测试准备阶段，测试人员根据航天器各分系统的不同情况，通过系统提供的录入与管理界面，结合IDS库、参数准备库等外部数据库提供的辅助接口，按照总体和分系统对综合测试的具体要求，完成测试项目以及工作项目的填写，并自动生成测试细则，系统应该自动将这些信息存储至测试数据库中。
     准备阶段应当完成测试项目定义与管理、工作项目定义与管理、功能单元库定义与管理、接口信息准备、指令信息与参数信息录入、文字说明与图片说明入库、报表生成和离线编辑等主要功能。
     2.测试执行阶段实现的功能
     测试执行阶段，测试指挥应用自动化测试系统提供的测试任务管理界面首先安排测试任务，然后测试员根据此任务管理，运用自动化测试系统提供的执行功能完成测试任务的自动执行。
     自动化测试系统应分别提供任务管理软件和测试执行软件，任务管理软件读取测试数据库中记录的工作项目信息，此时每项工作项目信息就转化为工作任务信息,显示在系统界面中，测试指挥根据实际执行需求，选择部分或者全部工作任务组成测试任务，完成测试任务管理后，系统自动按照测试任务定义目录树的结构将测试任务与工作任务信息存入测试数据库中。测试人员在执行测试任务时，系统按照测试数据库中存储的相应信息，显示此测试任务对应的每项工作任务信息，测试人员选择某项工作任务并点击开始后，执行软件自动解析工作任务内容信息，并自动执行每步操作，同时将执行结果存储到测试数据库中，从而完成整个测试过程。在测试过程中，测试人员可以连接数据订阅服务器，实现对遥测参数的订阅查看功能。
     ……