协议一致性测试的错误诊断研究

协议测试的目的是为了保证协议实现按照协议描述稳定可靠地运行。最近几年随着网络技术的发展，网络规模的增大，协议测试变得越来越重要。协议测试有很多种，协议一致性测试是其它测试的基础。协议一致性测试可以分为两类：主动测试和被动测试。主动测试是测试者通过观察被测系统的输入输出行为，最终推断出某些信息的过程，在这个过程中输入序列是可控制的，输出序列通过观察可以得到。主动测试的优点是可以针对可能的错误，设计测试例。被动测试只需要通过监听来收集数据，然后通过分析数据来检测错误。被动测试虽然不能控制输入序列，但由于它不会影响网络的正常工作，特别适用于做在线测试，现在应用得也比较广泛。检测到错误后，如何诊断错误是一个重要的问题。本文就是围绕错误诊断的相关问题进行研究。 本文的研究工作主要集中在以下几个方面： 1．主动测试中基于有限状态机的错误诊断 主动测试中检测到错误后，如何尽快定位错误一直是一个研究热点。本文在分析了一个已有的基于有限状态机的错误诊断方法后，提出了一个新的基于有限状态机的错误诊断算法，该算法利用已经确定正确的转换信息以及可疑转换的下一个输入／输出对的头状态集合等信息来高效完全地诊断单个错误。新提出的错误诊断算法与已有的一些诊断算法的比较结果说明该算法效率更高。接着本文又提出了一个基于UIO测试序列的错误诊断算法，该算法充分利用了UIO测试序列给出的判定消息及测试序列中的其它消息，从而能高效完全地诊断单个错误，最后用实验数据给出了本文算法和原始算法之间的比较结果。 2．被动测试中基于有限状态机的错误诊断 和主动测试中的错误诊断相比较，被动测试中的错误诊断更复杂，因为进行被动测试时不能设计测试例，只能被动的观察，所以已有的主动测试中的错误诊断算法不大适用于被动测试。本文在一个已有的单个错误诊断算法的基础上，结合主动测试方法和多观察几步枚举排除法提出了两个改进错误诊断算法，最后通过BGP协议上的实验给出了该算法和已有算法的比较结果。