【硕士论文】atlas常规语言部分到c语言的转换.doc

硕 士 学 位 论 文 ATLAS常规语言部分到C语言的转换 Transformation from the general language part of ATLAS to C 内 容 提 要 本文给出了ATLAS语言的常规语言部分到C语言的转换技术和实现。ATLAS语言是一个面向测试的语言，它被广泛地应用于军事、工业的电子测试领域。它与一般的语言有很多不同之处。本文所处理的ATLAS的常规语言部分类似于一个完整的过程式语言，能够实现一般语言的功能。本文首先对ATLAS语言、项目“ATLAS语言的实现”以及本文主要完成的任务给出了简要的介绍。其次，给出了目前实现一个程序设计语言以及在不同的程序设计语言之间进行转换的常用技术。然后，详细给出ATLAS常规语言部分到C语言的转换。从语义上对ATLAS常规语言部分进行分类，按章节分别给出了ATLAS的声明部分、过程相关语句、数据处理语句、过程控制语句以及输入输出语句到C语言的转换。最后，文中简要介绍了在实现过程中用到的语法分析程序自动生成工具ACCENT、实现转换需要的数据结构以及利用工具ACCENT在产生式级别上实现这部分转换的方法。 目 录 第一章 前 言 1 1.1 ATLAS语言及项目简介 1 1.2 程序转换技术 2 1.3 完成的主要工作 3 第二章 ATLAS声明部分的转换 5 2.1 ATLAS声明部分简介 5 2.2 转换方法 5 第三章 过程定义和调用的转换 13 3.1 ATLAS过程简介 13 3.2 转换方法 13 第四章 数据处理语句的转换 17 4.1 数据处理语句简介 17 4.2 转换方法 17 第五章 过程控制语句的转换 24 5.1 过程控制语句简介 24 5.2 转换规则 24 第六章 输入输出语句的转换 30 6.1 输入输出语句简介 30 6.2 转换方法 30 第七章 实 现 42 7.1 工作环境 42 7.2 转换工具Accent介绍 42 7.3 数据结构 43 7.4 基于产生式的ATLAS转换实现 43 第八章 总 结 48 参 考 文 献 49 致 谢 摘 要 Abstract第一章 前 言 1.1 ATLAS语言及项目简介 1.1.1 ATLAS语言简介 ATLAS (Abbreviated Test Language for All Systems)是一个面向测试的通用语言，这个语言用于描述通常与任何具体测试系统无关的测试过程，并确保可以在自动测试系统ATE(automatic test equipment)上实现[1]。ATLAS语言因其可扩展性、易用性及设备无关性，被广泛应用于军事、工业等领域。 早在60年代，ARINC公司为了对航空器上的电子设备系统进行测试，主办开发了一个测试语句ATLAS，那时的ATLAS是指Abbreviated Test Language for Avionics Systems。后来，美国陆军、海军、航空部队以及北大西洋公约组织也加入到这个语言的开发工作中。 ARINC委员会于1968年发布了ATLAS语言的第一个标准ARINC416－1，此后经过了多次的修改。 1976年，ATLAS的控制权由ARINC移交给IEEE，此时ATLAS的含义更为广泛：Abbreviated Test Language for All Systems。就在控制权移交的当年，ARINC发布了IEEE格式的ARINC416－13A标准，此后又经过了几十次的修订，使得这个语言变得及其庞大，对它的维护也变得非常困难。 1988年，IEEE发布了ATLAS716-1988/9标准，同一年ARINC也发布了ARINC626－1988、9标准。IEEE在发布了ATLAS716之后于1993年取消了ATLAS416标准。此后的十几年中，IEEE和ARINC每过三、四年就更新一次各自的标准。2000年，IEEE发布了ATLAS的最新版本ATLAS2000。本文所做的工作就是在标准ATLAS2000的基础上进行的。 ATLAS语言从语义上可以分为三大部分：常规语言部分，信号部分和总线部分[4]。常规语言部分，类似于一个完整的过程式语言，能够实现一般语言的功能，体现了ATLAS语言与其它高级语言的共性；信号部分和总线部分负责描述具体的测试过程，体现了ATLAS语言作为测试语言的特性。 ATLAS语言与其它语言相比，具有以下特殊性： 1. 语言庞大。此语言的产生式多达两千多条，由于实现ATLAS语言到C语言的转换是在产生式级别上进行操作，因此整个转换过程非常复杂。 2. 语句种类多。该语言涉及很多与测试相关