协议被动测试的错误标识

被动测试不仅能够检测协议实现是否有错误,而且利用检测过程中的症状信息能够标识错误.提出一种扩展了的被动测试错误标识算法,它能够在标记错误过程中记录该错误所导致的系统状态;又给出了一种以上述状态为初始状态继续向前观察多步以区分错误的算法.所提方法能够区分等价错误;继续向前测试步数不受限制,应用该方法对一个简化的BGP协议状态机模拟器进行错误标识,实验结果表明在观察步骤数足够多的情况下所提方法能够高效定位系统实现错误.

Fault Identification of Protocol by Passive Testing

Passive testing on network protocols could not only detect faults in the implementation but also provide possible fault location information. In this paper, an enhanced fault identification method is given to mark the tail state resulting from the identified fault. A consequent algorithm of fault detection is proposed to distinguish faults by further passive testing. The approaches is not limited by further testing steps and could distinguish equivalent faults, Finally our proposed method is used to identify the possible fault set of a simplified BGP simulator with some fault injected intentionally, the result of the experiment proves that if the steps observed is enough, our method could locate the implementation fault efficiently.