邻机发现协议的一致性测试.pdfVIP

摘要 IPv4协议虽然是一个非常成功的协议，但是随着网络规模的急速发展，也 出现了包括规模和安全问题在内的诸多问题。于是，IPv6协议就应运而生了， 它的出现将有效地解决IPv4中的相关问题。作为下一代的网络协议，IPv6在网 络应用中具有举足轻重的作用，因此受到了国内外许多专家学者的关注，对它 的研究广度和深度也有了进一步的扩展和深化。邻机发现协议作为IPv6协议栈 中一个不可或缺的部分，无论在理论方面还是在实践方面都具有重要的研究价 值。本文拟从协议一致性测试的角度来分析邻机发现协议。 我们从三个方面来介绍相关的背景知识。首先介绍了邻机发现协议的规范， 旨在帮助读者对邻机发现协议的文本描述有所了解。其次介绍了协议一致性测 试的基本原理和TTCN-3规范。通过对协议一致性测试原理的了解，我们知道在 协议一致性测试的过程中，协议的一致佳描述是一个必不可少的环节，于是我 们引入TTCN-3这个通用规范来对协议进行一致性描述。最后介绍了编译器的基 础知识，编译器可用于将用形式化语言描述的测试用例转化为可执行的测试应 用程序，读者可以从中了解到编译器的组成、原理及作用。 在介绍了上述背景知识以后，我们根据协议一致性测试原理对邻机发现协 议进行了具体分析。首先，我们针对邻机发现协议的文本描述选取了具有代表 性的几个测试用例集合，每个集合之中又包含多个澳8试用例，通过这些测试用 例来覆盖邻机发现协议的文本描述。其次，利用TTCN一3语言的一个子集对这些 测试用例进行了形式化的描述，进而得到了这些测试用例的TTCN一3源代码。最 后，我们利用LEX和YACC工具，设计和开发了一个针对TTCN一3语言子集的编 译器，该编译器的主要功能包括：扫描器、分析器的设计；符号表的构建；上 下文无关文法的描述；语法树的创建和遍历。 在该文的最后，我们总结了论文成果和所存在的问题，并且提出了下一步 工作的展望。 关键词：邻机发现协议，编译器，TTCN一3，测试用例，形式化描述 Abstract ABSTRACT a communication is successful the Though职v4 protoc01．withrapid of ofIP、，4 and developmentnetwork,many security problemsappear,such勰scale IPv6comesout越thenext communication problems．Andhereby generation protocol whichcallsolve a the ofIPv4 communication problemsefficiently．Askey protocol， IPv6hasattractedmoleandmore andfansto inits in expels join researchteams many breadthofresearchhasbeenextendedandthe topics．Correspondingly,the ofresearchhasbeen forIPVersionisa depth dee