《航天器自动化测试语言及系统》PDF下载

  • 购买积分:11 如何计算积分?
  • 作  者:马世龙,余丹著
  • 出 版 社:北京:国防工业出版社
  • 出版年份:2011
  • ISBN:9787118070958
  • 页数:256 页
图书介绍:本书共分五篇,第一篇介绍了航天器自动化测试及自动化测试系统,并讨论了新一代网络化航天器自动化测试系统的应用需求与技术需求,从而引出航天器测试语言研究的必要性。第二篇综述了航天器测试语言及其发展,介绍了测试语言研究发展的脉络、重点与趋势。第三篇介绍了用于预先研究的网络化航天器测试语言CATOL及其原型系统框架。第四篇讨论了CATOL的支撑环境及其航天器测试资源管理方法。第五篇就网络化航天器自动化测试与测试语言的发展方向进行了分析和展望。

第一篇 航天器自动化测试系统 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