文档介绍：中国科学技术大学
硕士学位论文
-3编译器设计与实现
姓名:谈刚
申请学位级别:硕士
专业:信息安全
指导教师:蒋凡
20070501
。腶试及测试控制记法开发的下一代测试描述语言,它从协议一致性测试方法和框架中定义的语言发展而来,提供了更强大的测试描述能力。文中在深入研究核心语言标准的基础上,简要介绍了核心语言的语法特性,并详细阐述了语言编译器设计时的权衡与考虑。本文采用模块化的设计思路,对外提供抽象接口封装编译器内部实现。结合语言的特点,编译器内部采用三遍扫描的实现方式。第一遍扫描进行词法和语法分析,并处理所有的语句,其中,词法分析器借助生成,语法分析器借助伞T谟锓ㄉ韫讨校ü菇ㄆ鹩锓ㄊ骱头疟恚疚南晗覆述了语法树结构和符号表的组织方式。语法扫描完成后,将处理语句,的机制灵活多变,牵涉众多。其实现关系到编译器全局,本文采用标识符与语法树结点分离设计的方式完整地实现了机制。第二遍扫描语法树,进行静态语义检查,计算语法树结点的属性,将语法树转换成属性树,静态语义检查通过各语法树结点的涌谕瓿伞5谌樯枋粜允鳎脚本转换成基于镅缘闹屑浔硎荆瓿杀嘁牍獭该编译器已经应用于《使用语言的通信协议测试平台》。编译器语法树符号表中国科学技术大学硕士学位论文编译器设计与实现
叶..甌琣...,疘.℃糵一,地地·..把///
诹Ⅵ沙年。,是本人在导师指导下进行研究工作所取得的成果。除已特别加以标注和致谢的地方外,论文中不包含任何他人已经发表或撰写过的研究成果。与我一同工作的同志对本研究所做的贡献均已在论文中作了明确的说明。本人授权中国科学技术大学拥有学位论文的部分使用权,即:学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅或借阅,可以将学位论文编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。保密的学位论文在解密后也遵守此规定。作者签名:
致谢衷心感谢我的导师蒋凡教授,他严谨的治学态度、勤勉的工作作风和对学术研究的执着都使我受益匪浅。特别感谢实验室一起参与项目的同学和老师,程绍银,郐吉丰,张辉,杜虎,王建学,刑学智,章磊,陈军成,蒋彪,魏蓉,金鑫,刘峥峥,吴文娟,才智猛,黄涛,钱思佑,何立宝,本文是在他们的帮助下才得以完成的。另外要感谢已经毕业的几位师兄,季向东,黄传动,徐小睿,万小飞,刘小勇,吴国全,姬忠鹤,杨建国,你们在研究生阶段的工作给本文带来很多的启发感谢好友刘城,王达山,陈至立,孔祥照一直以来的关心和鼓励,感谢你们陪我度过三年美好的学习和生活时光。最后要特别感谢我的女友和家人,你们是我前进的动力。谈刚和灵感。中国科学技术大学硕士学位论文嘁肫魃杓朴胧迪
编译器设计与实现第一章引言研究背景协议是计算机网络体系中不可缺少的组成部分,网络应用的发展对协议的功能和性能提出了更多和更高的要求,相应地,协议的规模和复杂性也在不断增加,协议开发者所面临的基本问题是如何设计一套庞大的通信控制规则,并且保证信息交换能够逻辑一致、完整、高效地进行,为此,人们在协议研究中引入了形式化描述技术和基于系统的工程方法,形成了一体化、形式化的协议开发过程,一般称为协议工程。协议测试是协议工程的重要组成部分,它在一致性、互操作性和性能等方面对协议实体惺笛樾缘钠拦馈K揭恢滦允侵感榈形式化规范描述与协议实体行为之间的一致,即协议实体是否符合协议规范的要求,协议一致性测试就是通过测试执行活动来检查被测实体,是否以及在多大程度上实现了协议规范所要求的功能,它是一种黑盒测试方法,只考察其外部可观测的行为是否符合协议规范要求,并不涉及协议实体的内部结构。国际标准化组织为协议一致性测试定义了形式化的方法和框架,其中包括形式化的测试描述语言。具有严格的语法规则和完整的操作语义,提供了很多测试专用的语法特性,用描述的测试套具有高度抽象性,独立于实际的测试系统实现。凭借其强大的描述能力和各标准化组织的持续推动,在协议一致性测试的理论研究和工业应用领域都获得了广泛的认同。馐杂氩馐钥刂萍欠是镅缘淖钚掳姹荆谟锓ㄉ献髁酥匦律杓疲哂邢执绦蛏杓朴镅缘姆格,并增加了许多新特性,如测试执行控制机制、高度并发的动态测试配置、同步/异步通信功能以及模板匹配机制等,具有更强大的描述能力和更广泛的通用性,可以适应新的软件架构和下一代网络协议的测试需要。中国科学技术大学硕士学位论文
∩希芙岢鯰诵挠镅缘闹疃嗵本文研究内容和贡献本文章节组织在此背景下,并根据市场需求和实验室内部发展的需要,