被动测试在BP_OSPF协议上的实现.docVIP

摘要 协议测试是提高协议实现正确性的重要保证。被动测试是一种比较新的协议测试概念，本文的主要工作是将被动测试方法应用于协议测试中。 本文介绍了协议的形式化描述工具：FSM/NFSM/EFSM/CFSM模型，总结了在以上几个模型上做被动测试的现状和遇到的难点问题。 本文重点讨论了EFSM模型上被动测试的变量管理问题，总体思路是要将尽可能多的协议信息记录下来，以发现被测系统中的错误，同时尽量降低算法复杂度。在此基础上，提出了多个变量管理方法，并对各个方法进行了综合，设计了变量管理的综合算法。 在实践方面，设计了与协议无关的被动测试系统的总体框架，该系统具有良好的通用性和可扩展性。介绍了各个模块的实现，其中重点介绍了变量管理器。介绍了采用被动测试对BGP和OSPF协议实现的测试情况。对于OSPF中协议参数的测试体现了变量管理系统的能力，测试结果验证了算法的正确性和有效性。 最后，本文总结了变量管理问题在被动测试中的意义，提出了被动测试研究的进一步工作方向。 关键字协议测试 被动测试 扩展有限状态自动机 约束满足问题 Abstract Protocol testing is very important to guarantee the correctness of protocol implementations. Passive Testing is a new concept o