图书介绍
航天器自动化测试语言及系统PDF|Epub|txt|kindle电子书版本网盘下载
- 马世龙，余丹著 著
- 出版社： 北京：国防工业出版社
- ISBN：9787118070958
- 出版时间：2011
- 标注页数：256页
- 文件大小：46MB
- 文件页数：268页
- 主题词：航天器－自动检测系统
PDF下载
下载说明
航天器自动化测试语言及系统PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一篇 航天器自动化测试系统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 ABBET19
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 ETOL31
3.1.1 背景31
3.1.2 功能31
3.1.3 语言结构34
3.1.4 语句36
3.2 STOL42
3.2.1 分布式语言解析器42
3.2.2 程序解释器43
3.2.3 语言结构44
3.2.4 程序文件执行48
3.2.5 流程环境54
3.3 TCL/TK55
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 ATLAS89
5.1.1 背景89
5.1.2 语言特点90
5.1.3 语言结构90
5.1.4 语句91
5.2 ATLAS 200093
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-ESTATE251
16.3 航天器自动化测试系统及语言发展趋势252
参考文献255