ATLAS语言编译系统

论文摘要

ATLAS是测试领域的流行语言,本文针对IEEE 716-1995标准,与项目组其他成员一起设计并实现了ATLAS语言的编译系统。ATLAS编译系统由三部分组成:（1） ATLAS语言的编译器。包括:词法分析系统,语法分析系统,语义分析系统和代码转换器。（2）测试环境描述语言。利用该语言可完整描述测试环境中的资源配置及资源、适配器和UUT间的连接关系。（3）测试程序的运行系统。本文针对ATLAS特殊文法,提出了优先级文法转换算法;在ATLAS文法基础上,提出了任意扩展文法分析技术;提出了单动作语句的操作语义模型,准确描述了单动作语句的语义;对自动生成工具ACCENT的分析算法进行了改进,增加了其报错能力;应用图的技术解决了测试系统中的设备分配问题。

论文目录

第一章绪论

1.1 ATLAS 语言及测试程序简介

1.2 ATLAS 语言的常规语句

1.3 ATLAS 语言的测试语句

1.3.1 信号语句

1.3.2 定时语句

1.3.3 总线语句

1.4 自动测试系统简介

1.5 本文的工作及意义

1.6 本文的组织结构

第二章 ATLAS 编译系统的架构

2.1 ATLAS 编译器总体结构

2.2 ATLAS 语言编译器

2.3 测试环境描述

2.3.1 设备数据描述

2.3.2 开关矩阵数据描述

2.3.3 适配器数据描述

2.4 运行系统

2.5 小结

第三章 ATLAS 语言的语法分析

3.1 BNF 与EBNF

3.2 ATLAS 语言的特殊文法

3.3 通过文法转换完成语法分析

3.3.1 文法转换算法

3.3.2 自动生成工具ACCENT 及其算法改进

3.4 基于EARLEY 的ATLAS 语法分析

3.4.1 经典Earley 分析

3.4.2 基于Earley 分析的扩展文法分析技术

3.5 小结

第四章单动作信号语句的操作语义

4.1 基于抽象机的结构化操作语义

4.2 SA 语言的抽象语法

4.3 SA 语言抽象机的状态结构及状态转换规则

第五章信号语句的实现

5.1 信号语句简介

5.2 设备分配

5.2.1 ATE 系统的抽象

5.2.2 设备分配

5.3 ATLAS 语言的中间表示

5.3.1 语法制导翻译

5.3.2 常见的中间表示形式

5.3.3 采用类结构作为测试语句的中间形式

5.4 信号语句的实现技术

5.4.1 仪器的底层驱动函数

5.4.2 信号语句到驱动函数的转换技术

5.5 目标代码形式

5.5.1 单动作语句的目标代码形式

5.5.2 多动作语句的目标代码形式

第六章总线语句的实现

6.1 总线语句简介

6.2 总线语句的工作流程及DO 语句的时序

6.3 总线语句的实现

第七章结论

参考文献

攻博期间发表的学术论文及其它成果

摘要

ABSTRACT

致谢

相关论文文献

[1].Brainnetome Atlas:A new map of human brain[J]. Science Foundation in China 2016(04)
[2].Atlas空压机进口备件的国产化改造[J]. 冶金设备 2017(02)
[3].Atlas钛缆治疗粉碎性髌骨骨折的应用研究[J]. 现代医用影像学 2017(02)
[4].Lithospheric structure in NW of Africa:Case of the Moroccan Atlas Mountains[J]. Geodesy and Geodynamics 2015(06)
[5].Atlas钛缆治疗粉碎性髌骨骨折40例临床分析[J]. 现代医院 2015(08)
[6].身怀绝技的Atlas机器人[J]. 科学大众(中学生) 2019(Z2)
[7].明年的重磅炸弹 VOLKSWAGEN ATLAS[J]. 汽车知识 2016(12)
[8].大块头有大智慧试驾上汽大众途昂[J]. 汽车之友 2017(09)
[9].ATLAS阿特拉斯轮胎品牌上海震撼发布[J]. 轿车情报 2017(05)
[10].Atlas Design: Giving New Life to Chinese Crafts[J]. China Today 2017(05)
[11].ATLAS AM520[J]. 汽车与运动 2017(09)
[12].如何运用ATLAS.ti分析定性数据和发掘研究主题[J]. 社会工作 2017(06)
[13].关于逆天的Atlas拟人机器人论述[J]. 中国战略新兴产业 2017(04)
[14].可以搬运货物的机器人[J]. 少年电脑世界 2016(05)
[15].Discovery of the Higgs boson by the ATLAS and CMS experiments at the LHC[J]. Science China(Physics,Mechanics & Astronomy) 2014(10)
[16].坚守创新:“百年”仪器品牌的执着追求——访锡莱亚太拉斯(SDL Atlas)中国区总经理简志光[J]. 中国纤检 2018(09)
[17].Atlas风机防喘振辅助设计及应用[J]. 自动化技术与应用 2012(02)
[18].基于ATLAS语言的无线电高度表测试研究[J]. 仪表技术 2010(02)
[19].Atlas空压机启动时频繁跳车处理经验总结[J]. 深冷技术 2010(05)
[20].基于MapGIS/Erdas/Atlas3D的三维地图的制作方法及其比较[J]. 地矿测绘 2010(03)
[21].基于ATLAS转换语言的模型转换初探[J]. 河北工程大学学报(自然科学版) 2010(04)
[22].基于Atlas语言实现模型转换技术的研究[J]. 现代电子技术 2009(20)
[23].SDL Atlas在ITMA ASIA+CITME 2018推出令人振奋的创新技术[J]. 中国纤检 2018(12)
[24].康丽数码发布新一代成衣数码印花机Kornit Atlas[J]. 网印工业 2019(01)
[25].波士顿动力公司Atlas[J]. 高科技与产业化 2017(11)
[26].ATLAS程序语言结构分析[J]. 航空维修与工程 2016(02)
[27].Atlas:用户肖像临摹者[J]. 成功营销 2014(11)
[28].Prospectives of the hadron program in ATLAS[J]. 中国物理C 2010(09)
[29].Analytical modeling and ATLAS simulation for a homojunction LED in the mid-infrared spectral region[J]. Optoelectronics Letters 2009(06)
[30].基于ATLAS语言的航空自动测试系统的设计与实现[J]. 信息技术与信息化 2008(03)

ATLAS语言编译系统

论文摘要

论文目录

相关论文文献

猜你喜欢