C/ATLAS是全系统公共/简明测试语言（Common / Abbreviated Test Language for All Systems的缩写，它是一种功能十分强大的全系统标准测试语言，在军事、航空事业中具有广泛的应用。ATLAS是IEEE管理和维护的标准，其中包括许多国家的国防部、北大西洋公约组织、美国航天局、航空无线电公司等单位都参加到这个语言的开发中。ATLAS是一个独特的语言，语言的语法较接近于自然语言；该语言还涉及到很多与测试相关的语句，如信号、总线语句；语句需要在满足事件的条件下才能执行；一些ATLAS语句需要并行执行；ATLAS允许进行一定的扩展来提高测试的灵活性。用ATLAS编写一个测试程序具有很多的优点：它的代码简洁，可移植性好，具有较好的模块性能，文法灵活，是一个智能的通用测试语言。采用ATLAS编写的测试程序要在ATLAS系统中编译执行。一个ATLAS系统由ATLAS编译器、ATLAS运行环境、ATLAS环境管理程序、ATLAS设备管理系统、设备库、扩展协议、总线描述文件、设备描述文件、开关描述文件和适配器描述文件组成。ATLAS编译器将程序编译成可执行的目标代码，并交给ATLAS运行系统执行。ATLAS 环境管理程序将测试中使用的设备描述文件、开关描述文件、总线描述文件和适配器描述文件转换为内部的设备信息、开关信息、总线信息和适配器引脚信息。ATLAS运行系统负责执行生成的目标代码，完成最终的测试。设备管理系统负责添加测试设备，修改开关通路，修改测试设备信息，删除测试设备等等。添加和修改一个设备要修改相应的设备DLL库。在编译的过程中，ATLAS编译器根据系统中的设备信息，开关信息，总线和适配器引脚信息，进行对测试设备的分配、生成相应测试设备的操作代码和测试结束后的设备收回。ATLAS语言中不提供测试硬件的设备名、设备地址和驱动程序信息，ATLAS系统自动分配测试设备来完成对被测单元UUT的测试。可以说ATLAS系统是一个对测试软件和硬件进行管理的虚拟机，它不仅编译并执行ATLAS程序，还要对测试资源中的设备进行管理；此外，ATLAS系统还要在测试的执行过程中监控测试资源的工作情况。 <WP=53>与常见的程序语言（如C语言）相比，ATLAS语言最大的特点就是在ATLAS程序中包含了一些与测试设备或被测试单元（UUT）相关的信息和语句，设备操作是语义动作非常重要的部分。由于ATLAS的语义的特殊性，在语义分析的实现中，我们采用了动态语义分析和静态语义分析相结合的方法，并且将ATLAS的语义分成设备操作相关和设备操作无关两个部分。在ATLAS语言中具有和我们常见的过程式语言相同的部分，我们称之为“设备操作无关部分”。另外还有一些和测试信号相关的部分，这些语句中描述了要使用设备的特征信息，ATLAS编译器根据这些信息来自动查找系统的设备，得到具体设备操作来完成测试，对于这些语义中包含了设备的查找和设备操作的语句，我们称为“设备相关部分”。 语义分析通常采用语法制导的方法，在文法的产生式中插入对应的语义动作。在本文中我们没有考虑具体的语法制导方法，只对ATLAS的语义分析进行了抽象的描述。对于静态的语义分析，实现的方法是利用语义分析环境，在语法分析器执行过程中检查上下文语义是否一致，对于设备操作部分的静态语义检查的方法类似。语义分析环境主要就是用于语义检查的信息表，其中包括各种符号表，设备相关部分还需要一些与设备信息相关的设备表。静态的语义分析中除了进行语义检查外，还要处理设备相关的语义，这些语义包括设备的自动分配、调用相应的设备操作等。对于这些设备操作相关部分的语义，在实现过程中采用了面向对象方法加以解决，通过定义良好的设备类和接口，利用面向对象的多态和继承机制建立了从ATLAS中的信号语句到具体设备的对应关系，同时也很好的解决了ATLAS要求的语言扩展机制。动态语义分析则要求在程序的执行过程中进行语义检查，同时利用多线程方法解决ATLAS要求的同步操作和事件响应处理。在设备相关部分的上下文一致性检查中采用一些特殊的符号表将要处理的信息记录下来，在使用出现的时进行判断检查。 本文对ATLAS的语义进行了比较细致的讨论，并提出了采用面向对象方法进行实现，同时对于设备管理系统、运行环境系统和设备分配算法也进行了简单的介绍。