协议一致性测试究.pdfVIP

协议一致性测试研究 摘要 B6P4 plus是一个用于自治系统之间的、复杂的分布式动念路出协议，是最 重要、最常用的路由协议之一。本文在深入分析BGP4plus协议的基础上，总 结了BGP4plus作为路由协议的特点以及应当测试内容和范围。在通信协议测 试中，对帧结构和协议状态机的测试占有极其重要的地位，它们也是路由信息处 理测试的基础。同时由于有限状态机测试在实践上的重要性和理论上的价值，因 此本文重点讨论了测试FSM中的基本问题，以及解决这些问题的基本技术，和基 于BGP4plus协议状态机特点的实现问题。同时在理论分析的基础上实现了BGP4 plus协议一致性测试软件，针对BPG-4协议本身的特点和测试方面的复杂性， 解决了BGP4 plus一致陡测试焦的设计、组织以及软件实现的设计和编码中的～ 系列问题。 本课题的主要研究内容和成果集中在以下几个方面： 1．讨论了协议测试的基本理论和一致性测试流程，讨论了状念机测试的基 本问题，研究了识别序列和同步序列，涉及状态标识和验证的问题，研 究了两种区分序列…预置的和适配的区分序列。 2．在讨论了协议铡试集的组织结构的基础上，依据FSM的故障模型简化了 BGP4plus的状态机。基于BGP4 plus状态机的特点，讨论并实现了一 致性测试算法，并针对缺乏身份信息的问题，利用构造特征序列和UIO 序列的方式来解决这一问题，完成了～致性测试集的设计。讨论了在缺 乏约束条件的更普遍的情况下的一致性测试解决方案。对于一致性测试 算法的不足，利用分析交互序列的方式来改进，讨论并实现了对BGP4 plus状态机的一致性测试改进方案。 3．在软件的设计与实现中妥善解决了一系列问题，包括与时钟相关的操作 问题，维护链路帧的问题，以及在建立连接过程中，地位不同(服务器 方／客互方)的不同行为的处理问题，多端口并发、同步，成祯及解析 等问题。精心设计编写的测试集(包括测试数据)与软件实现协调T作， 完成了BGP4p[us协议的一致性测试工作。 4． 在埘多款路由器和协议栈的测试过程中．发现了相当数量的BGP4plus 。兴现巾的问题和错误，获取了大量技术细节，为厂家丌发和改进路由器 中相应模块提供了的支持．同时也发现了在测试集设汁和测试软件实现 中的一些问题，并进行了改进，证实了BGP4plus一致性测试软件各个 环节的有效性。 关键词：BOP4plus，FSM，特征序列，UIO，一致性测试 THE RESEARCHoFPRoToCoL CoNFoRMANCETESTING ABSTRACT BGP4isa inter—Autonomous plus complex Systemdynamic routing withcharacterjsticsofdistributed the protocol system．Afterdeep ofthefeaturesof features BGP一4，thisconcludesthe of inspection paper BGP4 ofthe of