基于节点自相似性方法的网络协议测试

针对无线自缎织网络中的协议一致性测试问题，提出一种新的测试算法一节点自相似性方法。利用形式他描述语言SDL对路由协议DSR路德协议进行描述，文章给出了该方法的具体涵义以及应用环境。通过举例，验证了节点自相似性方法能够从实际移动网络的模型中产生测试序列进行测试。

The Test of Network Protocol Based on Node Self-similarity

In this paper we present a new approach--Node Self-similarity, to test the conformance of a wireless ad hoc protocol.This approach is based on a formal specification of the DSR protocol described by using the SDL language.The concept of Node Self-similarity and the application into the protocol are illustrated in this paper.The main advantage of this method is the possibility to execute a test sequence generated from a usable specification on an implementation running in a real mobile ad hoc network.