路由协议一致性测试平台研究实现.pdf

北京邮电大学硕士学位论文路由协议一致性测试平台研究与实现姓名:孙咏梅申请学位级别:硕士专业:计算机应用指导教师:杨旭东20060310北京邮电大学硕士学位论文路由协议一致性测试平台研究与实现路由协议一致性测试平台研究与实现摘要路由器是网络中的核心设备,路由协议实现的好坏直接决定了网络的稳定性和可靠性,决定了上层应用的服务质量。因此为了保证路由协议的正确性、互通性和性能,对路由协议实现进行测试就显得尤其重要。路由协议的测试包括协议的一致性测试、互操作性测试、性能测试和鲁棒性测试四个方面。其中一致性测试是其中最为重要的部分,验证路由协议实现与协议文本描述的一致性程度,是其它几种测试的基础。目前虽然对路由协议的一致性测试已经取得了一定的成就,但很多问题仍在探索之中。路由协议存在状态转换复杂,数据格式丰富的特点。针对路由协议的这种特点,如何找到设计一种标准通用的数据描述方式,如何构建完备的路由协议一致性测试集,并找到一种高效的描述语言来描述路由协议测试集,设计开发满足各种路由协议测试的通用测试平台,对完成路由协议一致性测试是至关重要的。同时这种通用的测试平台对完成路由设备的自动化测试,提高测试效率也起到非常重要的作用。本文在对路由协议和协议一致性测试技术进行了全面深入分析的基础上,研究了路由协议测试例描述,开发完成测试平台,并采用该系统对实际的协议实现进行测试实验。本文主要工作描述如下:,给出使用扩展TCL语言描述测试集的方法。根据路由协议的特点,为路由协议设计了一套精简的、完备的TCL扩展命令集,在各个方面满足路由协议测试的要求,并具有可扩展性,能够扩展应用到其他协议测试的描述。,设计出一种通用的数据报描述规则。,实现了路由协议测试平台。该测试平台可以完成从测试集的设计、测试集的选择、语法语义检查、测试执行到测试报告生成的完整过程。、OSPF、路由协议一致性测试平台研究与实现ISIS、IGMP协议实现进行了一致性测试。关键字:协议一致性测试,路由协议,形式化描述,测试平台,测试系统北京邮电大学硕士学位论文路由协议一致性测试平台研究与实现RESEARCHANDIMPLEMAI:ATl0NONROUTINGPROTOCOLCONFORⅣ【ANCETESTPI,work,,,Interoperabilitytesting,,,plishroutingprotocoltesting,weshallconsiderallthesequestionsasfollows:Howtodesignamethodtodescribethesedata,,thisthesisdevelopedaprotocol—:,providede