论文部分内容阅读
网络的飞速发展同时引发了Internet结构的改变，考虑到在一个复杂的通信网络中，多种不同设备的互操作性，为了保证网络中各实体间能够正确、可靠地进行通信，必须根据协议规范对各个网络中的每一个组成部件进行协议一致性测试，这已经成为产品开发过程中的一个重要环节。路由协议作为TCP/IP协议族中重要的一员，对网络正确稳定的运行起着重要作用，因而针对路由协议的测试也成为通信协议测试的研究重点。
BGP协议是一种使用非常广泛的路由协议，是最重要的路由协议之一，对世界范围内网络的互联互通起到了非常重要的作用，因此，BGP协议的正确和良好实现有着重要的意义。本文在研究路由协议的相关文档和规范基础上，深入研究了当前一致性测试技术的不同理论方法，结合BGP协议的特点，对它进行了一致性测试的研究，介绍了一种BGP协议一致性测试系统的设计方法。
论文的主要工作包括以下几个方面：
1)系统介绍协议测试的相关理论，重点讨论了协议的一致性测试的模型，过程，协议的形式化模型、形式化方法和形式化描述语言。
2)根据协议的形式化理论和测试序列生成理论，建立并针对测试简化了BGP的FSM形式化模型；使用SDL对BGP协议进行了形式化描述；使用UIO方法对BGP协议一致性测试序列生成进行了研究。
3)提出了一种带有控制通道的多虚拟测试器的测试系统。
4)设计并实现了基于TCL的BGP协议一致性测试系统。