ATLAS语言编译系统
| 第一章 绪论 | 第1-17页 |
| ·ATLAS 语言及测试程序简介 | 第7-9页 |
| ·ATLAS 语言的常规语句 | 第9-10页 |
| ·ATLAS 语言的测试语句 | 第10-12页 |
| ·信号语句 | 第10-11页 |
| ·定时语句 | 第11页 |
| ·总线语句 | 第11-12页 |
| ·自动测试系统简介 | 第12-14页 |
| ·本文的工作及意义 | 第14-16页 |
| ·本文的组织结构 | 第16-17页 |
| 第二章 ATLAS 编译系统的架构 | 第17-26页 |
| ·ATLAS 编译器总体结构 | 第17-18页 |
| ·ATLAS 语言编译器 | 第18-20页 |
| ·测试环境描述 | 第20-24页 |
| ·设备数据描述 | 第21-22页 |
| ·开关矩阵数据描述 | 第22-24页 |
| ·适配器数据描述 | 第24页 |
| ·运行系统 | 第24-25页 |
| ·小结 | 第25-26页 |
| 第三章 ATLAS 语言的语法分析 | 第26-52页 |
| ·BNF 与EBNF | 第26-27页 |
| ·ATLAS 语言的特殊文法 | 第27-29页 |
| ·通过文法转换完成语法分析 | 第29-41页 |
| ·文法转换算法 | 第29-39页 |
| ·自动生成工具ACCENT 及其算法改进 | 第39-41页 |
| ·基于EARLEY 的ATLAS 语法分析 | 第41-51页 |
| ·经典Earley 分析 | 第42-43页 |
| ·基于Earley 分析的扩展文法分析技术 | 第43-51页 |
| ·小结 | 第51-52页 |
| 第四章 单动作信号语句的操作语义 | 第52-59页 |
| ·基于抽象机的结构化操作语义 | 第52页 |
| ·SA 语言的抽象语法 | 第52-53页 |
| ·SA 语言抽象机的状态结构及状态转换规则 | 第53-59页 |
| 第五章 信号语句的实现 | 第59-86页 |
| ·信号语句简介 | 第59-61页 |
| ·设备分配 | 第61-66页 |
| ·ATE 系统的抽象 | 第62-63页 |
| ·设备分配 | 第63-66页 |
| ·ATLAS 语言的中间表示 | 第66-73页 |
| ·语法制导翻译 | 第66-67页 |
| ·常见的中间表示形式 | 第67-68页 |
| ·采用类结构作为测试语句的中间形式 | 第68-73页 |
| ·信号语句的实现技术 | 第73-78页 |
| ·仪器的底层驱动函数 | 第73-75页 |
| ·信号语句到驱动函数的转换技术 | 第75-78页 |
| ·目标代码形式 | 第78-86页 |
| ·单动作语句的目标代码形式 | 第78-84页 |
| ·多动作语句的目标代码形式 | 第84-86页 |
| 第六章 总线语句的实现 | 第86-98页 |
| ·总线语句简介 | 第86-89页 |
| ·总线语句的工作流程及DO 语句的时序 | 第89-90页 |
| ·总线语句的实现 | 第90-98页 |
| 第七章 结论 | 第98-100页 |
| 参考文献 | 第100-107页 |
| 攻博期间发表的学术论文及其它成果 | 第107-108页 |
| 摘要 | 第108-112页 |
| ABSTRACT | 第112-116页 |
| 致谢 | 第116页 |
