atlas的缩写是什么？
语义分析是编译的重点。在语义分析中，不仅要检查程序上下文的语义一致性，还要为目标代码的生成提供足够的信息。介绍了ATLAS语义分析的实现方法，并简要介绍了ATLAS系统的实现技术和运行环境的实现方法。
对于图集语义中需要解决的特殊问题，我们采用面向对象技术来实现，取得了良好的效果。具体实现采用了静态语义分析和动态语义分析相结合的方法。本文还简要介绍了ATLAS系统中的设备管理系统和运行环境系统，为ATLAS系统的进一步开发奠定了基础。
目录
第一章介绍了该制度。
图集系统简介1.1
C/ATLAS是所有系统通用/缩写测试语言的缩写。它是一种非常强大的全系统标准测试语言，广泛应用于军事和航空领域。
在20世纪60年代，ARINC公司赞助开发了一种测试语言ATLAS，用于测试飞机上的电子设备系统，这在当时意味着航空电子系统的缩写测试语言。随后，美国陆军、海军、空军和北大西洋公约组织也加入了这种语言的发展。
1976年，C/ATLAS的控制权从ARINC转移到IEEE。这个时候ATLAS的含义就更加广泛了:所有系统的缩写测试语言。同时，ARINC发布了IEEE格式的ARINC416-13A标准. 1988。IEEE出版了ATLAS716-1988/9，ARINC也在同年出版了ARINC626-1988/9。之后，IEEE和ARINC每三四年更新一次各自的标准。2000年，IEEE发布了C/ATLAS的最新版本ATLAS2000，我们实现了该系统。
C/ATLAS具有以下特点:
首先，它是一种标准的测试语言。为了防止语言变得越来越庞大，不利于维护，IEEE负责为语言发布相应的标准，以达到语言的标准化和统一。参与标准的主要用户有美国国防部、德国国防部、法国国防部、英国国防部、瑞典国防部以及航空业内的航空无线电公司。
第二，C/ATLAS具有独立于测试设备的特点，可以适用于所有的测试系统。用ATLAS语言编写的程序可以测试各种仪器设备，测试代码不包含测试中使用的任何硬件信息。也就是说，只要用于测试的自动测试设备(ATE)支持ATLAS，在另一个测试系统中编写的ATLAS程序就可以不加修改地使用。
第三，ATLAS的功能非常强大，提供了真正的自动化测试。在以往的测试中，测试人员不仅要考虑测试算法和流程，还要花费大量的精力选择测试所用的设备，甚至设计测试所需的硬件。不同的测试需要不同的测试设备和相应的测试流程。在ATLAS中，测试人员不需要考虑测试硬件，而是由ATLAS系统自动处理。这样，测试人员可以更专注于测试算法和测试流程的设计。ATLAS系统中的ATE提供了大量的测试设备，一台ATE可以进行多项测试，不仅简化了测试系统的规模，也大大提高了测试的效率和水平。
ATLAS测试的1.1.1硬件环境。
ATLAS语言可用于测试各种电子和非电子仪器设备。随着测试技术和测试设备的不断发展，ATLAS语言也在不断被修改。在遵循IEEE标准的基础上，为了方便用户的使用，ATLAS语言本身提供了一种新的扩展机制，来完成由于当前标准的限制而无法进行的测试。
ATLAS语言不提供测试硬件信息。在用户使用过程中，ATLAS系统根据程序中的设备特征信息，自动分配设备并调用相应的硬件操作来完成UUT(被测单元)的测试。可以说，ATLAS系统是一个管理测试软硬件的虚拟机，它不仅负责编译ATLAS源程序，生成机器码；还需要管理测试资源设备，包括:添加和删除设备，管理被测单元(UUT)到自动测试系统(ATE)设备的交换机连接路径；此外，ATLAS系统应处理测试期间的事件，并监控测试资源的工作。
下图是ATLAS测试的硬件环境。
ATLAS测试系统硬件结构图
ATLAS测试系统硬件主要由以下部分组成:
ATE(auto test equipment):自动测试设备，使整个测试系统的核心使用VXI或IEEE488总线将设备连接到主机。ATE机柜内的设备主要包括:1)用于测试的资源，如各种可控DC电源、可控信号发生器、数字万用表、示波器等。2)交换设备，用于连接ATE外部的阵列接口和ATE内部的设备。3)ATE阵列接口是ATE的输出接口，与测试用的适配器相连。
UUT(被测单元):被测单元，即被测对象，在测试过程中与ATE外部的适配器连接。
适配器:用于连接ATE和UUT。测试过程中，ATE负责向UUT(被测单元)供电，输入激励信号，从UUT(被测单元)读取测试点内容。适配器的作用是建立ATE(自动测试设备)到UUT的对应连接，进行电气转换，电信号到非电信号的转换等。根据UUT的条件。
VXI公共汽车等。:用于连接主机和ATE(自动测试资源)中的测试设备和可控开关，进行ATE控制和数据通信。
主机:测试主机，ATLAS系统在其上运行。
1.1.2 .图册系统结构
ATLAS系统负责编译和执行ATLAS编写的测试程序，提供调试环境，测试仿真环境，管理ATE中的各种器件和开关。ATLAS系统由ATLAS编译器、ATLAS运行环境、ATLAS环境管理程序、设备库、扩展协议、总线描述文件、设备描述文件、交换机描述文件和适配器描述文件组成。
系统的结构如下图所示:
ATLAS系统测试流程图
ATLAS环境管理程序将测试中使用的设备描述文件、交换机描述文件、总线描述文件和适配器描述文件转换为内部设备信息、交换机信息、总线信息和适配器pin信息。
ATLAS编译器将测试程序编译成可执行的目标代码，交给ATLAS操作系统执行。在编译过程中，ATLAS编译器根据系统中的设备信息、交换机信息、总线和适配器管脚信息分配测试设备，生成相应测试设备的操作码，并在测试结束后回收设备。
ATLAS操作系统负责执行目标代码并完成最终测试。在操作系统中，需要监控设备的执行，处理来自测试设备的信号和中断，管理测试执行的进程，为程序员提供相应的调试环境。
在执行过程中，ATLAS操作系统调用设备DLL库中的设备函数来执行测试。设备管理系统负责添加测试设备、修改交换机路径、修改测试设备信息、删除测试设备等。添加和修改设备将相应地修改设备DLL库。
ATLAS编译器根据源程序中器件的特征信息，结合系统内部的器件信息、管脚信息和开关信息来搜索器件。如果它找到一个满足条件的设备，它就分配该设备并调用该设备的操作。如果它改变了系统的设备，比如增加了新的设备或者修改了当前设备的一些信息，那么就需要修改系统内部的设备信息，以便它在编制图集时能够找到符合条件的设备。
1.2本文完成的工作
本文介绍的工作是我们项目——ATLAS系统的一部分，主要是ATLAS语言的语义分析部分。给出了图集的形式语义、图集编译环境、运行环境、图集的动态语义分析技术和静态语义分析技术。本文完成的工作如下:
实现了ATLAS语言的语义分析。
利用面向对象技术[5]和[6]，解决了图集需求的语义扩展和设备无关性。
阐述了ATLAS系统的组成及各部分的功能。
实现了ATLAS的语义分析器[7]，给出了ATLAS的静态语义检查和动态语义检查的内容，用属性文法描述。
第二章地图集语言
2.1图集2000
ATLAS是一种非常有趣的语言。与一般的过程语言不同，ATLAS更接近自然语言。在这种语言中，每个句子都由动词、名词及其修饰信息组成，一个图集句子至少包含一个动词和一个名词[2]。
ATLAS2000语句结构如下图所示:
固定域分隔符
,
固定字段中的标志字段用于解释此语句的含义。如果标志被忽略，则是普通语句，如果是注释语句，则标记为“c”或“b”。如果是“e”，则表示可以从这个标记的语句开始测试，与之前的测试无关。
动词动词包括ATLAS中的动词和动词修饰语。动词包括:应用、定义、声明、要求、断开、移除、执行等。动词修饰语是用来辅助动词的，如句子中的“做，同时”，信号句中的“然后复位”等。
分隔符，在ATLAS中，不同的语法成分由分隔符“，”分隔。
每个条目都有一个终止符“$”。
每句话的其余部分视情况而定。
ATLAS2000结构:
ATLAS2000是一种多层结构的语言[4]。一个ATLAS程序由核原语、句子、模型、TTF和模块组成。ATLAS核部件和ATLAS原语构成了这种语言的基础，用户可以通过预定义和这些基本语素建立测试项目的要求。模型结构使用户能够组合底层组件的操作。抽象出更高层次的结构，并描述更复杂的测试功能。TTF(Test Technology Frameworks)测试技术框架，ATLAS2000测试技术框架包括并定义了一些基于ATLAS2000的特殊测试环境。该模块用于封装那些可重用的测试代码。具体结构如下图所示:
ATLAS 2000结构图
注意事项:
ATLAS NUCLEUS定义了ATLAS语言的典型性能和功能，由形式语法、保留字和规则三部分组成。
ATLAS原语是描述和说明ATLAS信号、动作、属性和性能的基本元素。这些基本要素不能再分了，包括名词、名词修饰语、动词、动词修饰语、运算符及其功能定义。
ATLAS模型是一系列功能和过程的表示。在ATLAS中，模型被用来描述测试设备和被测单元的特性(UUT)。图集模型是语法元素的描述基础，图集关键词是根据ATLAS2000模型定义的。所有关键字都必须建模。一旦一个模型被定义并成为测试技术框架(TTF)的一部分，它就可以被用作ATLAS语句中的一个关键字。
ATLAS的模块是包含在ATLAS程序中的一个实体，可以说是一个包含了ATLAS流程和非ATLAS流程的容器。该模块在ATLAS中使用时带有一个" include "语句。在模块中，通过声明流程的属性是全局的还是局部的来确定流程的范围，全局流程可以在模块外使用。该模块中定义的所有流程都可以在模块内部使用，其他模块也可以在外部使用。
2.2图集语义分析功能
ATLAS语言是测试的标准语言。虽然ATLAS语言中没有关于测试设备硬件的具体信息，如设备的物理地址、设备驱动程序、设备的操作功能等，但是ATLAS提供了原语和模型来描述设备的特征[1][3]，包括名词、动词、修饰语、连接和信号保留字等。ATLAS编译器是基于ATLAS程序中由这些原语和模型组成的信息。
与常见的编程语言相比，ATLAS最大的特点是包含了一些与测试设备或被测单元相关的信息和语句[1]，而操作测试设备是ATLAS语义的重要组成部分。现在让我们比较一下非ATLAS语言和ATLAS语言是如何编写测试程序的。
我们来对比一下用C语言编写的测试程序和用ATLAS语言编写的功能相同的程序。
示例:将电压为28v的DC电源连接到被测设备(UUT)。
实现:
用C语言编写一个测试程序的具体操作步骤是:首先给测试系统接通电源，将电源到UUT的开关设置为连接，然后将电源电压设置为28V，然后检查电源的输出电压是否为28V，工作电流是否小于1A，满足条件就允许电源工作。
在ATLAS中，这些操作都可以通过简单的一句话来完成。在ATLAS程序中，我们不需要指出使用哪个电源。可以看出ATLAS和C语言的区别。在C程序中，测试人员指定要使用的电源，接通该电源的开关，完成测试。在ATLAS中，这些任务由编译器自动完成。
用C语言和ATLAS语言写的代码对比如下:
摘自:softlab.jlu.edu.cn/temp/thesis/2004liulei.doc