基于Windows系统利用Parser Generator实现TTCN-3语言的语法分析器

摘要

TTCN-3做为专门进行测试的语言,它定义了严格的语法和语义规则.由于它是新出现的测试语言规范,国内还没有这种语言的编译、运行环境,国外的TTCN-3编译器开发也正在进行.已经出现的TTCN-3运行环境大多是把TTCN-3转化为另一种语言(如JAVA),使用现成的编译器编译转换后的代码,间接实现对TTCN-3的编译.TTCN-3编译器的开发成为迫切的任务.在该文中主要讨论了使用YACC工具Parser Generator实现windows系统下的TTCN-3编译系统的语法分析器.语法分析是编译过程的核心部分.它的任务是在词法分析识别出的单词符号串的基础上,分析并判定程序的语法结构是否符合语法规则.实现过程中我们使用面向对象的技术,定义了系统中需要使用的各种数据结构、对象等.作者的工作主要有:一是对TTCN-3的扩展语法规则范式进行改写;二是编写用于语法分析的TTCN-3的YACC源程序,这其中涉及到符号对象的定义,符号表的使用管理,标识符的登录,语义动作的编写以及错误处理等内容;三是生成执行器在执行时刻传输信息需要的编码和解码操作的驱动表和头文件.由于面向对象技术具有更好的技术优势和特色,因此在整个的开发过程中我们全面引进使用这一技术,而且在分析设计阶段我们使用UML来进行系统的分析和设计,从而规范了软件的开发过程,提高了工作的效率和进度.

目录

文摘

英文文摘

第一章绪论

1.1论文背景及相关介绍

1.2协议一致性测试现状

1.3测试语言现状

1.4论文结构

第二章TTCN-3简介

2.1 TTCN-3简介

2.2端口、测试成份和测试配置

2.2.1端口

2.2.2测试成分、测试系统接口

2.2.3测试配置

2.3类型、运算符、基本程序语句和函数

2.3.1 TTCN-3类型概要

2.3.2结构类型

2.3.3操作符

2.3.4 TTCN-3基本程序语句

2.3.5函数、测试例

2.4模板、消息、特征过程(SIGNATURE)及匹配机制

2.4.1模板

2.4.2消息

2.4.3模板匹配机制

2.5行为语句

2.5.1选择行为

2.5.2交叉行为

2.5.3缺省行为

2.6配置操作

2.6.1配置操作概要

2.6.2 create操作

2.6.3连接和映射

2.6.4连接和映射的操作

2.7通信操作

2.7.1通信模型

2.7.2通信操作分类

2.8时钟操作、测试判定操作

2.8.1时钟操作

2.8.2测试判定操作

2.9测试例及TTCN-3模块控制

2.9.1测试例

2.9.2模块控制

第三章编译原理介绍

3.1编译过程概述

3.2词法分析

3.3语法分析

3.3.1自上而下分析

3.3.2自下而上分析——LR分析法

3.4符号表

3.4.1符号的主要属性

3.4.2符号表的组织和管理

3.4.3符号表的初始化

3.4.4符号的登录

3.4.5符号的查找

3.5语法分析自动产生工具YACC

3.6语义分析和中间代码生成

第四章TTCN-3的扩展语法规则改写

4.1 TTCN-3核心语言的语法表达——EBNF

4.2对EBNF的改写

4.2.1 EBNF到BNF的变换方法

4.2.2改写后的BNF按如下格式书写

4.2.3对EBNF的改写

4.3语法冲突的解决

4.3.1移进/归约冲突

4.3.2归约/归约冲突

第五章TTCN-3语言语法分析器的实现

5.1使用UML描述面向对象分析

5.1.1 UML概述

5.1.2静态模型——类图

5.1.3动态模型——交互图

5.2 TTCN-3的YACC源程序

5.2.1 YACC源程序结构

5.2.2定义说明部分

5.2.3语法规则部分

5.2.4用户子程序部分

5.3符号、符号对象和符号表

5.3.1符号

5.3.2符号对象

5.3.3符号表对象

5.3.4标识符的登录

5.4错误处理

第六章生成执行器使用的驱动表和头文件

6.1驱动表和头文件生成算法

6.2头文件生成类和驱动表生成类的定义

第七章总结

参考文献

致谢

攻读学位期间发表的学术论文

附录一：TTCN-3语言YACC源程序定义说明部分

附录二部分TTCN-3语言的YACC源程序