基于属性的OSPFv3协议互操作性测试方法研究与实现.pdf

《基于属性的OSPFv3协议互操作性测试方法研究与实现.pdf》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、分类号!里三窆3：Q鱼UDC——密级．编号论文题目基于属性的OSPFv3协议互操作性测试方法研究与实现研究生：割蕉指导教师：奎堡熬攫专业：让篡扭筮住皇堡途研究方向：盆查式丕统皇圆终让篡所在学院：让篡扭堂院：2011年6月11日●原创性声明本人声明：所呈交的学位论文是本人在导师的指导下进行的研究工作及取得的研究成果。除本文己经注明引用的内容外，论文中不包含其他人己经发表或撰写过的研究成果，也不包含为获得凼墓直太堂及其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：盏

2、】芷指导教师签名：Et期：坦![：血竺El期：／矿’。47,0r『．1

3、。学位论文作者签名：刭焦。指导教师签名：Et期：卫山五：￡玺Et期：．f娜·k10I．6．謦摘要随着mV4地址分配告罄，Dv6已经成为最佳的解决方案。OSPF协议作为最重要的路由协议之一，其相应的OSPFv3也在不断的更新。目前对路由协议的测试主要集中一致性测试方面，对于像OSPF这样一个复杂的协议，对其进行互操作测试是非常必要的。传统的协议互操作性测试采用的方式是基于被测系统的形式化模型，生成测试序列，对测试序列进行测试例抽象，最终得出测试判定。但是当形式化模型过于复杂时，．整个测试过程会变得复杂。建模作为整个测试的源头，对其模型粒度研究就很有必

4、要了。本文针对OSPFv3协议的互操作性测试模型粒度选择展开，主要研究工作包括以下几方面：首先，研究了属性测试和互操作性测试的现状。并引入了基于模型的测试(MBT)，为下一步提出以属性作为建模粒度做出了铺垫，并在此对基于属性的测试给出了自己的看法。．其次，对协议形式化建模方面，结合互操作性测试和属性的特性，给出了基于属性选择作为建模粒度方法，同时分析了这样建模的优点：同时，由于OSPFv3协议是一个交互、并发性较强的协议，所以采用CPN(ColoredPetriNet)Tools建模并生成模型状态空间和SCC‘图(stronglyconnected

5、component)。最后，由SCC图生成测试序列，分别对传统方法生成的测试序列和基于属性选择作为建模粒度得出的测试序列进行比较。本文对互操作协议的交互属性作了深入的研究，提出了一次交互、二次交互、三次交互的概念，进一步细化了属性选择方法。本文采用TTCN．3语言作为测试用例实现语言，对基于属性和传统方法生成的测试序列分别进行测试用例的实现。结果说明采用基于属性作为模型选择的方法，以TTCN．3作为测试用例实现，这样的结合可以有效的提高测试效率。下一步的研究重点是：对于模型的选择过程如何确定选择更精确的属性去建模，以及如何避免错误的抽象模型和错误的

6、抽象测试用例。对于TTCN．3测试实现方面，进一步研究重点在于建立规范TTCN．3测试套，如何能够有效的提高测试行为函数的复用。基于属性的OSPFv3协议互操作性测试方法与研究关键词：互操作性测试，路由协议，TTCN．3，着色Petri网，粒度Ⅱ内蒙古大学硕士学位论文RESEARCHANDIMPLEMENTATIoNONOSPFv3PROTOCOLINTEROPERABILITYTESTINGBASEDoNPROPERTYABSTRACTWiththeIPv4addressallocationexhausted,IPv6hasbecomethebe

7、stsolutionforsuchaproblem．AsthemostimportantroutingprotocolfornextgenerationInternct，OSPFv3isconstantlyupdated．Testingofroutingprotocolcurrentlyfocusesonconformancetesting．ButOSPF,acomplexprotocol，itsinteroperabilitytestingisessential．Thetraditionalprotocolinteroperabilitytest

8、ingisbasedonformalmodelofsystemundertestingt0generatetestsequ