第1章 绪论 1
1.1自动测试系统 1
1.1.1自动测试系统国内外发展现状 1
1.1.2自动测试系统软件开发平台 5
1.1.3自动测试系统发展趋势 10
1.2自动测试描述语言 10
1.2.1国外测试语言的发展现状 11
1.2.2国内测试语言的发展现状 15
1.2.3测试语言在发展中存在的问题 17
1.2.4测试语言发展方向与标准化 17
1.3小结 18
参考文献 18
第2章GOAL 20
2.1 GOAL概述 20
2.1.1句法图表 20
2.1.2语言应用范围 21
2.2语法结构 21
2.2.1PROGRAM 21
2.2.2 DATA BANK 22
2.2.3 MACRO 23
2.2.4 SUBROUTINE 23
2.2.5 NON-GOAL 23
2.3 GOAL的其他特性 23
2.3.1系统描述 23
2.3.2注释 24
2.3.3符号标识 24
2.4实例 24
2.5 GOAL全集 26
2.6小结 27
参考文献 27
第3章ATLAS 29
3.1 ATLAS及测试程序简介 29
3.2完整的ATLAS测试程序 30
3.2.1完整的ATLAS测试程序结构 30
3.2.2基本语句结构 31
3.3 ATLAS关键词和级别 31
3.3.1-关键词 31
3.3.2 ATLAS的四个级别 32
3.4 ATLAS测试程序结构分析 32
3.4.1 ATLAS测试规范和测试程序 32
3.4.2 ATLAS测试程序的基本结构 32
3.5 ATLAS基本语句 34
3.5.1结构界定符语句 34
3.5.2序言 35
3.5.3过程 43
3.5.4 ATI AS2000 58
3.6小结 59
参考文献 60
第4章STD 61
4.1基于STD的信号模型 61
4.2信号模型语言 62
4.2.1信号定义 63
4.2.2纯信号 63
4.3基本信号组件层 64
4.3.1 BSC子类 65
4.3.2信号描述 65
4.3.3物理类 68
4.3.4脉冲定义类 68
4.3.5信号功能类 68
4.3.6 BSC动态信号的描述 76
4.4测试信号框架层 77
4.4.1基本组件 77
4.4.2标准信号 78
4.4.3基于TSF的信号分解与合成 88
4.5测试程序语言层 89
4.5.1载体语言 90
4.5.2信号声明 91
4.5.3声明与载体语言的映射 92
4.5.4测试声明定义 92
4.5.5测试声明定义中使用的元素 93
4.5.6生成测试需求 93
4.6小结 94
参考文献 94
第5章ATML 96
5.1引言 96
5.2体系结构 96
5.2.1 ATML框架 96
5.2.2 ATML组件 97
5.2.3相关标准 100
5.3优势及应用 100
5.3.1 ATML优势 100
5.3.2 ATML应用现状 103
5.4公共资源 104
5.4.1简单类型 104
5.4.2复杂类型 106
5.5信号资源 109
5.6 UUT资源 111
5.6.1内容 111
5.6.2设计思想 112
5.6.3结构设计 113
5.7仪器资源 115
5.7.1内容 115
5.7.2设计思想 116
5.7.3结构设计 117
5.8测试适配器资源 122
5.8.1内容 122
5.8.2结构设计 123
5.9 ICA资源 125
5.10 TPS资源 125
5.10.1物理连接描述 126
5.10.2测试描述文档 127
5.10.3仪器能力定义 129
5.11测试结果 132
5.12小结 134
参考文献 134
第6章 基于被测设备模型的测试语言 136
6.1引言 136
6.2测试系统模型化 137
6.2.1测试资源模型化 137
6.2.2测试方案模型化 138
6.3测试流程的基本操作语义 139
6.4测试方案描述语言 141
6.4.1设计思想 141
6.4.2测试方案语句定义 150
6.5基于UUT的测试描述语言 153
6.6 TLBUM的语言规范 153
6.6.1 TLBUM的词法规定 153
6.6.2 TLBUM的语法／语义规定 154
6.7 TLBUM的特点 157
6.7.1自然语言结构 157
6.7.2描述性语言 158
6.7.3语言的非过程性 159
6.7.4面向信号的语言 159
6.7.5基于UUT模型 159
6.7.6可以直接指定测试资源 161
6.7.7为测试过程提供人机交互 161
6.8 TLBUM的目标代码 161
6.9 TLBUM保留字 163
6.10 TLBUM实例 165
6.10.1原语级语义描述 167
6.10.2 TLBUM源程序 168
6.10.3 TLBUM目标代码 169
6.11 TLB UM扩展机制 171
6.12小结 172
参考文献 172
附录 中外文名词对照 173