文档介绍：作者姓名论文题目基于语言转换的一馐韵低学科专业导师姓名完成时间计算机软件与理论蒋教授凡吣晔辉二
。为了执行这种语言,需要设计专用的编译器或解释器,以及相关的测试平台。通过研究分布式测试系统的模型,∩希分析了测试系统的实现模型,并以技术为基础,实现了分布式测试系统。使用“编译一中间代码一编译”的编译器模式,。,在编译架构中使用模块转换完成了对和语言的编译支持。在研究其它翻译方案的基础上,。充分利用镅缘亩嗵匦裕玊和中的各种类型信息静态化,将中的类型、值和模板整合到一个类型层次,简化了中间代码的复杂度,提高其编译效率;,提出了削减其继承层次的方案,进一步简化中间代码的复杂度,提高其执行效率。以技术为基础,┱沽一馐宰榧唇ɑ埔约胺植际酵交疲隽艘恢諸分布式测试系统的实现。、分布性、?虑的问题,并给出了解决方案。通过对一馐云教ㄔ诜阑鹎讲馐灾械挠τ茫治隽朔植际絋测试系统的测试流程,结果表明能够满足标准要求的并发执行语义,验证了平台的语言转换分布式系统协议测试正确性和可用性。中周科学技术大学硕士学位论文
—’,琣,..瓸甌“猰瑆畐,—猯,琣,·中国科学技术大学硕士学位论文·—甌,ⅱ鬷瓸,
/中国科学技术大学硕士学位论文疍
玛/∥~,竹帅那日作者签名:丝查鱼刈,中国科学技术大学学位论文相关声明本人声明所呈交的学位论文,是本人在导师指导下进行研究工作所取得的成果。除已特别加以标注和致谢的地方外,论文中不包含任何他人已经发表或撰写过的研究成果。与我一同工作的同志对本研究所做的贡献均已在论文中作了明确的说明。本人授权中国科学技术大学拥有学位论文的部分使用权,即:学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅,可以将学位论文编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。保密的学位论文在解密后也遵守此规定。
第乱研究背景随着计算机信息技术的飞速发展和应用的日益普及,人们对网络通信的需求越来越高,互联网与人类社会的工作、生活越来越紧密相关,它已经成为人类获取、交流信息的重要途径和手段。由此,也使得网络协议以及相关的协议测试的重要性越来越突出。协议是计算机网络体系中不可缺少的组成部分,协议是为了进行计算机网络的数据交换而建立的一系列规则、标准和约定。通信双方只有遵循网络协议,才有可能正确有效地进行信息交换。为使来自不同厂家的系统能够成功进行通信,必须有标准化的协议,这种需求直接导致了国际标准化组织提出了开放系统互联参考模型以及各层的协议协议的规模和复杂性在不断增加,协议开发者所面临的基本问题是如何设计一套庞大的通信控制规则,并且保证信息交换能够逻辑一致、完整且高效地进行。为此,人们在协议研究中引入了形式化描述技术和基于系统的工程方法,形成了一体化、形式化的协议开发过程,一般称为协议工程协议测试是协议工程的重要组成部分,它在一致性【俊⒒ゲ僮餍院托阅艿确惺笛樾缘钠拦馈K揭恢滦允侵感的形式化规范描述与协议实体行为之间的一致,即协议实体是否符合协议规范的要求,协议一致性测试就是通过测试执行活动来检测被测实体,是否以及在多大程度上实现了协议规范所要求的功能;互操作性测试是检测在同一种协议的不同实现版本之间,或同一类协议的不同实现版本之间互通的能力和互操作能力;性能测试则是检测协议实体或系统的性能指标缡荽渎剩邮奔洌葱兴俣鹊。其中一致性测试为其他测试的基础。协议测试并不能保证一个协议实现的完全正确性,即测试只能表示“存在错误”,而不能证明“不存在错误”。这是协议测试的一个基本出发点【俊国际标准化组织为协议一致性测试定义了形式化的方法和框架【浚渲邪形式化的测试描述语言。具有严格的语法规则和完整的操作语义,提供了很多测试专用的语法特性,用描述的测试套具有高度抽象性,独立于实际的测试系统实现。凭借其强大的描述能力和各标准化组织的持续推动,在协议一致性测试的理论研究和工业应用领域都获得了广泛的认同。馐杂氩馐钥刂萍欠是标准。
研究内容语言的最新版本,,它在语法上作了重新设计,具有现代程序设计语言的风格,增加了许多新特性,如测试执行控制机制、高并发度的动态测试配置、同步/异步通信功能以及模板匹配机制等,,因而具有更强大的描述能力和更广泛的通用性,可以适应新的软件架构和下一代网