基于CPN和TTCN-3的HMIPv6协议一致性测试研究.pdf

《基于CPN和TTCN-3的HMIPv6协议一致性测试研究.pdf》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、研究生：自红墓指导教师：吐堑丝塾援专业：盐篡扭型堂皇撞苤研究方向：让篡扭圆终所在学院：让篡扭堂院2011年6月5日●_J原创性声明本人声明：所呈交的学位论文是本人在导师的指导下进行的研究工作及取得的研究成果。除本文己经注明引用的内容外，论文中不包含其他人己经发表或撰写过的研究成果，也不包含为获得凼苤直太堂及其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：三盈互虹指导教师签名：日期：冱!Ii[：冱：!匹日期：在学期间研究成果使用承诺书本学位论文作者完全了解学校有关保留

2、、使用学位论文的规定，即：内蒙古大学有权将学位论文的全部内容或部分保留并向国家有关机构、部门送交学位论文的复印件和磁盘，允许编入有关数据库进行检索，也可以采用影印、缩印或其他复制手段保存、汇编学位论文。为保护学院和导师的知识产权，作者在学期间取得的研究成果属于内蒙古大学。作者今后使用涉及在学期间主要研究内容或研究成果，须征得内蒙古大学就读期间导师的同意；若用于发表论文，版权单位必须署名为内蒙古大学方可投稿或公开发表。学位论文作者签名：盘迭指导教师签名：日期：‘内蒙古大学硕士学位论文基于CPN和TTCN．3的HMIPv6协议一致性测试研究摘要IETF在移

3、动IPv6(MIPv6)的基础上针对移动节点在小范围内快速移动提出了一种改进技术，即层次化移动IPv6(HMIPv6)技术。它通过引入移动锚点(MAP)，对网络进行了层次化划分，使移动节点的移动行为分为宏移动和微移动。这改进了MIPv6的切换方案，提高了通信质量。‘协议一致性测试用于检查协议实现是否符合协议设计的要求，是保障协议实现质量的有效方法。ColouredPetriNcts(CPN)非常适合于描述具有并发和通信的系统。CPNTools还支持模型相关性质的分析。TTCN．3是一种功能强大的测试标准语言。如何结合CPN和TTCN．3对HMIPv6协

4、议进行有效的一致性测试成为亟待解决的问题。本文主要研究基于CPN和TTCN．3的HMIPv6协议一致性测试。首先，使用CPN及其仿真工具CPNTools对HMIPv6协议进行了层次化建模，并用点火约束条件简化了模型生成的状态空间并分别生成了微移动状态空间和宏移动状态空间。然后，在系统CPN模型的基础上，对CPN属性做了形式化定义，给出了基于CPN属性的测试序列生成算法，并应用该算法开发了自动生成测试序列的工具，实现了基于CPN属性的测试序列的自动生成。最后，提出了结合CPN编写TTCN．3测试例的方法，并用这种方法编写了HMIPv6协议的TTCN．3测

5、试例。关键词：HMIPv6，协议一致性测试，CPN，CPN属性，测试序列生成，TTCN．3基于CPN和TrCN．3的HMIPv6协议一致性测试研究CONFORMANCETESTSTUDYOFHMIPV6PROTOCOLBASEDONCPNANDTTCN．3ABSTRACTIETFhasbroughtaboutHierarchicalMobileIPv6(HMIPv6)technology,whichismadetoimprovethemobilenodesfast—movinginasmallrangeofregionbasedonMobileIPv6

6、(MIPv6)．InHMIPv6，thenetworkisdividedintomanylayersbyimportingMobileAnchorPoint(MAP)，andthemobilenode’SmovementisdividedintoMacroMobilityandMicroMobility,whichimprovesMIPv6handoverschemeandcommunicationquality．Protocolconformancetestingisaneffectivewaytocheckwhethertheimplementat

7、ionconformstothespecificationornot．ColouredPetriNets(CPN)issuitablefordescribingasystemwithconcurrencyandcommunication．CPNToolscanbeusedtoanalyzethepropertiesofthemodel．TTCN一3isapowerfulandstandardtestlanguage．Itbecomesan．urgentproblemtotestHMIPv6protocoleffectivelywiththemethod

8、ofcombinationwithCPNandTTCN一3．Inthisthesis，west