邻机发现协议的一致性测试-软件工程专业论文.docxVIP

摘要IPv4协议虽然是一个非常成功的协议，但是随着网络规模的急速发展，也 摘要 IPv4协议虽然是一个非常成功的协议，但是随着网络规模的急速发展，也 出现了包括规模和安全问题在内的诸多问题。于是，IPv6协议就应运而生了， 它的出现将有效地解决IPv4中的相关问题。作为下一代的网络协议，IPv6在网 络应用中具有举足轻重的作用，因此受到了国内外许多专家学者的关注，对它 的研究广度和深度也有了进一步的扩展和深化。邻机发现协议作为IPv6协议栈 中一个不可或缺的部分，无论在理论方面还是在实践方面都具有重要的研究价 值。本文拟从协议一致性测试的角度来分析邻机发现协议。 我们从三个方面来介绍相关的背景知识。首先介绍了邻机发现协议的规范， 旨在帮助读者对邻机发现协议的文本描述有所了解。其次介绍了协议一致性测 试的基本原理和TTCN-3规范。通过对协议一致性测试原理的了解，我们知道在 协议一致性测试的过程中，协议的一致佳描述是一个必不可少的环节，于是我 们引入TTCN-3这个通用规范来对协议进行一致性描述。最后介绍了编译器的基 础知识，编译器可用于将用形式化语言描述的测试用例转化为可执行的测试应 用程序，读者可以从中了解到编译器的组成、原理及作用。 在介绍了上述背景知识以后，我们根据协议一致性测试原理对邻机发现协 议进行了具体分析。首先，我们针对邻机发现协议的文本描述选取了具有代表 性的几个测