文档介绍：湖南大学
硕士学位论文
OSPFv3协议一致性测试例设计
姓名:赵达观
申请学位级别:硕士
专业:软件工程
指导教师:谢高岗
20050601
摘要随着支持刀穆酚善鞑返娜战ピ龆啵髀酚尚槭迪钟胄楸曜嫉囊恢性问题也越来越突出。是一种基于算法的链路状态协议,是下一模拟网络的拓扑结构。借助于被测试系统与模拟的测试环境的交互使被测试系统自动获得某些特定信息或者运行到某个特定状态,然后测试器在这个基础态转换过程建立模型,根据模型采用覆盖路径的方法设计测试例。对于没有状态采用枋鲇镅陨杓屏薕橐恢滦圆馐约貌馐约个测试组,可以有效地简化测试序列,缩短测试执行时间,提高测试效率。该测试集已经被代互联网应用最为广泛的内部网关路由协议。协议一致性测试可验证协议实现是否符合相应的协议标准,保障各个协议实现的互连互通。本文主要研究协议一致性测试方法与测试例生成技术。在分析协议和协议一致性测试理论的基础上,提出了环境模拟测试方法。该方法使用测试仪表的不同端口模拟了多个测试系统,通过测试器端口发送不同的上进行主动测试,该方法筒化了测试环境,减少了测试序列,提高了测试例执行的效率。在协议一致性测试理论的指导下,确定需要测试的一致性要求,确定测试目标,设计了澳宰椤橹械牟馐阅勘昕梢苑治S凶刺哪勘和没有状态的目标。对于有状态的测试目标,可以用有限状态机对测试目标的状转换的测试耳标,根据协议要求和一致性测试清单设计测试例。基于上述研究,霾馐岳T贚环境下对测试集执行了验证,并分析实际测试结果,发现了协议实现不同程度地与协议标准不一致的问题。测试结果表明,本文提出的方法应用于实际的测试仪表中。关键词:;协议一致性测试;测试例;环境模拟测试法工程硕士学位论文
·甌;猻篿觥辒协议一致性测试例设计,.疭,甋..瑃,,.,Ⅱ
插图索引图接口状态机⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图回绕测试法结构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图主动测试法的测试结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图娑ǖ囊恢滦圆馐愿鞑糠值墓叵怠璤图协议一致性测试的过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.ㄒ宓乃闹种鞫馐苑椒ā图抽象测试例的结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.圈从絉的通讯过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯协议状态机⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图测试集的结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..圈邻居状态图部分图穿越测试法结构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图有三个测试器的测试序列图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图环境模拟测试法结构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图单个测试器的测试序列图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图实验连接图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图区域内的网络拓扑配制⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图非骨干区域和骨干区域的网络拓扑配制⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.圈非骨干区域之间的网络拓扑配制⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图按ㄒ宸椒ǖ玫降牟馐岳蛄小图按照环境模拟测试方法得到的测试例序列⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.协议测试结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图带验证头的数据包转化的形式化描述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图基于错误覆盖原理对数据包转化的描述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图环境模拟测试法的测试结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图测试端口收发包过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.一致性测试系统结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图馐岳齌运行情况⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图馐岳齌诵星榭觥圈馐岳齌运行情况⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图测试配置⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图鞒掏肌工程硕士学位论文
图测试配制⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图流程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图测试配置⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.圈测试环境⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.协议一致性测试例设计
导师签名:溯秀自作者签名:。起盎谚彩日期:们蜱路萌作者签名:赵匹:砌⒈C芸冢凇!D杲饷芎笫视帽臼谌ㄊ椤日期:≯,西年善月奕湖南大学学位论文原创性声明学位论文版权使用授权书日期:伊阥胰本人郑重声明:所呈交的论文是本人在导师的指导下独立进行研究所取得的研究成果。除了文中特别加以标注引用的内容外,本论文不包含任何其他个人或集体已经发表或撰写的成果作品。对