协议一致性测试研究.pdfVIP

协议一致性测试研究 摘要 B6P4 plus是一个用于自治系统之间的、复杂的分布式动念路出协议，是最 重要、最常用的路由协议之一。本文在深入分析BGP4plus协议的基础上，总 结了BGP4plus作为路由协议的特点以及应当测试内容和范围。在通信协议测 试中，对帧结构和协议状态机的测试占有极其重要的地位，它们也是路由信息处 理测试的基础。同时由于有限状态机测试在实践上的重要性和理论上的价值，因 此本文重点讨论了测试FSM中的基本问题，以及解决这些问题的基本技术，和基 于BGP4plus协议状态机特点的实现问题。同时在理论分析的基础上实现了BGP4 plus协议一致性测试软件，针对BPG-4协议本身的特点和测试方面的复杂性， 解决了BGP4 plus一致陡测试焦的设计、组织以及软件实现的设计和编码中的～ 系列问题。 本课题的主要研究内容和成果集中在以下几个方面： 1．讨论了协议测试的基本理论和一致性测试流程，讨论了状念机测试的基 本问题，研究了识别序列和同步序列，涉及状态标识和验证的问题，研 究了两种区分序列…预置的和适配的区分序列。