SDL在通信协议仿真与一致性测试中的应用.pdf

南京邮电大学
硕士学位论文
SDL在通信协议仿真与一致性测试中的应用
姓名:郑志强
申请学位级别:硕士
专业:测试计量技术与仪器
指导教师:梅杓春
20060401
摘要关键字~致性测试理论是协议工程学中的一个重要分支。借助虲开发的若干用于描述计算机网络协议和通信协议的形式化描述技术对自然语言表述的协议规范进行形式化描述,在此基础之上采用自动化或者半自动化的方法生成高覆盖度,精简,完备,可执行的测试序列对协议进行一致性测试有助于提高协议开发的效率并降低开发成本。这是当前一致性测试理论中研究的热点领域。本文采用问交枋鲇镅裕∪甈接口高层协议作为实例,在利用云浣行问交枋龊投钥7⒒肪成傻挠τ贸绦虼肽诓磕P陀调度机制分析的基础上对环境接口函数与系统调度函数进行设计实现了独立于开发环境的⒗帽曜疾馐晕募娑ǖ牟馐岳捎迷冻滩馐苑椒ǘ允迪值判胁馐浴W魑2钩洌徊教致哿巳绾胃軸形式化描述对应的理论模型生成同时满足控制流与数据流覆盖度要求的优化的可执行测试序列的一种方法。该方法结合用于馐孕蛄猩傻某S梅椒═方法与椒ā在利用这两个方法得到的—控制流测试序列的基础之上得到满足测试准则要求的优化的。可执行测试序列。文中以椒ń崽ㄒ桓龅湫偷男楣娣端得了测试序列的生成过程。采用椒ㄊ钡墓逃氩捎肨方法时一样。该方法也适用于采用其他形式化描述语言例如枋龅男楣娣丁一致性测试,形式化描述,琁,控制流,数据流,测试序列生成。
甌—琫琒,琧,南京邮电大学硕士研究生学位论文第一章绪论琾.,甧甌篈:瓵瑂甌,...琭
里级研究生南京邮电大学硕士学位论文摘要指导教师擅塑查学科、专业:工学测试计量技术与仪器研究方向:一致性测试在中的应用郑志强谕ㄐ判榉抡嬗胍恢滦圆馐灾械挠τ主题词:一致性测试形式化描述控制流数据流测试序列生成英文题目:作者:题目::
研划:签名:竖~期:型南京邮电大学学位论文独创性声明南京邮电大学学位论文使用授权声明含为获得南京邮电大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。南京邮电大学、中国利学技术信息研究所、国家图书馆有权保留本人所送交学位论文的复印件和电子文档,可以采用影印、缩印或其致。除在保密期内的保密论文外,允许论文破查阅和借阅,可以公布ǹ论文的全部或部分内容。论文的公布ǹ授权南京邮电大学研究,部办理。本人声明所呈交的学位论文是我个人在导师指导厂进行的研究工作及取得的研究成果。尽我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包他复制手段保存论文。本人电子文档的内容和纸质论文的内容相一研究生签名:导师签名:期
髀近几年来,移动通信的发展十分迅速,新的业务与技术不断涌现。各标准组织稍本诩咏艚低车目7ⅲ晟疲曜蓟肷逃檬匝椤@醋圆煌商的设备共同构建移动通信网络时应能确保互连互通。来自不同厂商的同类设备为基于同一协议规范的不同实现,为了确保互连互通,需要对这些不同版本的协议实现在设计阶段进行煲椴馐浴协议测试理论是协议工程学的一个重要分支。由于协议标准目前基本上是使用自然语言描述的,实现者对于协议标准的不同理解会导致不同的协议实现,有时甚至会是错误的实现,因此需要一种有效的方法来对协议实现进行判别,这种方法就是协议测试。协议测试有三种类型:一致性测试、互操作性测试和性能测试。一致性测试是基础,它是通过观察协议实现在不同的环境和条件下的反应行为来验证协议实现与相应的协议标准是否具有足够的一致性以确保协议实现功能上的正确性以及与其他协议实现进行互连互通的可能性;互操作性测试则是对不同协议实现以及协议实现与系统之间的互连互通状况进行检查;此外还要对协议实现的性能如健壮性、吞吐量等,进行测试。从世纪年代中后期开始,协议一致性测试理论发展迅速,成为当今计算机网络和分布式系统协议工程学研究中最为活跃的领域,是当今计算机网络技术的主要研究方向之一。一般的软件测试可以分为功能测试和结构测试两种。结构测试又称为“白盒测试”,它是基于一个软件的内部结构进行的测试;功能测试又称为“黑盒测试”,它只是依据设计要求对从外部可以观察到的被测实体行为进行测试。一致性测试介于白盒测试与黑盒测试之间。目前在协议一致性测试领域所做的工作大多为采用形式化描述技术对协议规范进行描述,从协议规范的形式化描述中生成测试序列构建协议规范的抽象测试套。在某一具体测试过程中,对抽象测试套中的测试例进行选择与参数化后利用某种测试描述语言对测试例进行表述。然后在被测现葱胁馐岳佣贸鼋崧邸本文着重讨论了问交枋鲇镅栽谑迪諭中的应用,以及在得到被测对象螅绾卫肧形式化描述对应的理论模型生成对协议控制流与数据流完全覆盖的,精简的,完备的,可执行的以及具有实际意义的胁试序列均代表