第一篇 航天器自动化测试系统 2
第1章 航天器自动化测试 2
1.1 航天器测试 2
1.1.1 航天器测试技术发展的三个阶段 2
1.1.2 航天器测试技术发展现状 3
1.1.3 航天器自动化测试技术 5
1.2 航天器自动化测试系统 6
1.2.1 航天器自动化测试分析 6
1.2.2 航天器自动化测试系统层次结构 8
1.2.3 航天器自动化测试系统总体架构 10
1.2.4 航天器自动化测试系统数据流 11
1.2.5 航天器自动化测试系统运行结构 13
1.2.6 航天器自动化测试系统的功能 14
1.3 航天器自动化测试系统的发展 16
1.3.1 航天器测试模式的转变 16
1.3.2 多航天器批产测试机制 17
第2章 基于先进计算和网络技术的航天器自动化测试系统 19
2.1 ABBET 19
2.1.1 ABBET概述 19
2.1.2 ABBET层次结构图 20
2.1.3 ABBET框架 21
2.1.4 ABBET体系结构 22
2.2 中间件技术 23
2.2.1 中间件技术概述 23
2.2.2 中间件结构 24
2.3 SOA技术 24
2.3.1 SOA技术概述 24
2.3.2 SOA模型 25
2.4 新一代网络化航天器自动化测试系统框架 26
参考文献 28
第二篇 航天器测试语言及其发展 31
第3章 面向测试过程的国外航天器测试语言研究 31
3.1 ETOL 31
3.1.1 背景 31
3.1.2 功能 31
3.1.3 语言结构 34
3.1.4 语句 36
3.2 STOL 42
3.2.1 分布式语言解析器 42
3.2.2 程序解释器 43
3.2.3 语言结构 44
3.2.4 程序文件执行 48
3.2.5 流程环境 54
3.3 TCL/TK 55
3.3.1 背景 55
3.3.2 测试语句 56
第4章 面向测试人员的国外航天器测试语言研究 59
4.1 GOAL背景 59
4.2 GOAL目标和特征 60
4.3 GOAL语言结构 61
4.4 GOAL语句 65
4.4.1 声明语句 65
4.4.2 过程语句 72
4.4.3 系统语句 85
第5章 面向测试信号的国外航天器测试语言研究 89
5.1 ATLAS 89
5.1.1 背景 89
5.1.2 语言特点 90
5.1.3 语言结构 90
5.1.4 语句 91
5.2 ATLAS 2000 93
5.2.1 背景 93
5.2.2 新概念 93
5.2.3 语言框架 94
第6章 航天器测试语言研究总结与展望 98
6.1 语言比较与特色总结 98
6.2 我国航天器测试语言发展展望 100
参考文献 102
第三篇 航天器测试语言系统框架 107
第7章 CATOL语言模型 107
7.1 CATOL的总体结构和特征 107
7.2 航天器测试流程语言定义 108
7.2.1 操作类语句 109
7.2.2 数据类语句 111
7.2.3 时间类语句 113
7.2.4 控制类语句 113
第8章 CATOL编辑环境 115
8.1 编辑环境的本质特征及其对支撑技术的需求 115
8.1.1 测试语言及其编辑环境 115
8.1.2 CATOL编辑环境 116
8.2 航天器测试编辑工作平台 117
8.2.1 测试对象管理 125
8.2.2 编辑机制 128
8.2.3 可复用组件 136
第9章 CATOL执行环境 139
9.1 航天器测试执行系统体系结构 140
9.1.1 体系结构模型 140
9.1.2 层次模型及其交互 142
9.2 航天器程序自动解释执行机制 144
9.2.1 测试程序管理 145
9.2.2 测试引擎 146
9.2.3 测试程序执行过程 146
9.3 航天器测试执行控制机制 149
9.3.1 变量处理 149
9.3.2 条件选择语句的处理 149
9.3.3 循环语句 150
9.3.4 测试过程的并行执行 151
第10章 CATOL总结分析环境 153
10.1 航天器测试总结分析现状及问题 153
10.1.1 基于动态SQL的可定制查询 154
10.1.2 基于服务组合的可定制查询 154
10.2 可定制数据查询机制 155
10.2.1 领域建模 157
10.2.2 基本服务构建 158
10.2.3 用户定制策略 161
10.2.4 服务组合 167
10.2.5 组合服务执行与结果生成 173
10.3 测试数据一致性比对分析 175
10.3.1 测试数据一致性分析 175
10.3.2 测试覆盖性检查 175
参考文献 180
第四篇 航天器测试语言支撑环境及其应用第11章 基本测试过程服务模型及应用 183
11.1 自动化测试系统中的测试过程抽象 183
11.2 航天器测试原子定义 184
11.3 航天器测试原子说明 185
第12章 测试数据服务模型及应用 192
12.1 航天器测试数据资源服务模型及应用 192
12.1.1 航天器测试数据资源特点 192
12.1.2 航天器测试数据资源的使用要求 193
12.2 航天器测试统一数据资源访问平台 194
12.2.1 航天器测试数据平台的体系结构模型 194
12.2.2 航天器测试数据资源统一访问机制 197
第13章 测试设备资源模型及应用 202
13.1 测试设备资源服务模型及应用 202
13.1.1 测试设备资源的特点 202
13.1.2 测试业务的特点 203
13.2 航天器测试设备资源平台 203
13.2.1 测试资源支撑平台体系结构模型 204
13.2.2 测试设备资源平台的支撑技术 206
第14章 航天器测试文档模型及应用 210
14.1 测试文档资源服务模型及应用 210
14.1.1 测试文档的特点 210
14.1.2 测试文档技术与标准 213
14.1.3 现有技术存在的问题 215
14.2 航天器测试文档描述与生成方式及实现机制 216
14.2.1 航天器测试文档描述与生成问题 216
14.2.2 航天器测试文档描述与生成方法 217
14.3 测试文档描述与生成方式的体系结构 218
14.3.1 测试文档描述与生成方式的体系结构模型 218
14.3.2 测试文档描述与生成环境的技术实现 221
第15章 航天器自动化测试本体 230
15.1 航天器自动化测试本体描述 230
15.1.1 航天器自动化测试本体类 231
15.1.2 航天器自动化测试本体的关系 234
15.1.3 航天器自动化测试中的公理 235
15.1.4 航天器自动化测试中的规则构建 236
15.2 航天器自动化测试本体的构建 239
15.3 航天器自动化测试本体的应用 243
参考文献 246
第五篇 航天器自动化测试与测试语言的发展方向第16章 航天器自动化测试与测试语言的发展方向 248
16.1 ATML体系 248
16.1.1 ATML框架 248
16.1.2 ATML组件标准 249
16.2 AI-ESTATE 251
16.3 航天器自动化测试系统及语言发展趋势 252
参考文献 255