鄰機發(fā)現(xiàn)協(xié)議的一致性測試.pdf

1、IPv4協(xié)議雖然是一個非常成功的協(xié)議，但是隨著網(wǎng)絡規(guī)模的急速發(fā)展，也出現(xiàn)了包括規(guī)模和安全問題在內的諸多問題。于是，IPv6協(xié)議就應運而生了，它的出現(xiàn)將有效地解決IPv4中的相關問題。作為下一代的網(wǎng)絡協(xié)議，工Pv6在網(wǎng)絡應用中具有舉足輕重的作用，因此受到了國內外許多專家學者的關注，對它的研究廣度和深度也有了進一步的擴展和深化。鄰機發(fā)現(xiàn)協(xié)議作為IPv6協(xié)議棧中一個不可或缺的部分，無論在理論方面還是在實踐方面都具有重要的研究價值。本文擬從協(xié)議

2、一致性測試的角度來分析鄰機發(fā)現(xiàn)協(xié)議。 我們從三個方面來介紹相關的背景知識。首先介紹了鄰機發(fā)現(xiàn)協(xié)議的規(guī)范，旨在幫助讀者對鄰機發(fā)現(xiàn)協(xié)議的文本描述有所了解。其次介紹了協(xié)議一致性測試的基本原理和TTCN-3規(guī)范。通過對協(xié)議一致性測試原理的了解，我們知道在協(xié)議一致性測試的過程中，協(xié)議的一致性描述是一個必不可少的環(huán)節(jié)，于是我們引入TTCN-3這個通用規(guī)范來對協(xié)議進行一致性描述。最后介紹了編譯器的基礎知識，編譯器可用于將用形式化語言描述的測試

3、用例轉化為可執(zhí)行的測試應用程序，讀者可以從中了解到編譯器的組成、原理及作用。 在介紹了上述背景知識以后，我們根據(jù)協(xié)議一致性測試原理對鄰機發(fā)現(xiàn)協(xié)議進行了具體分析。首先，我們針對鄰機發(fā)現(xiàn)協(xié)議的文本描述選取了具有代表性的幾個測試用例集合，每個集合之中又包含多個測試用例，通過這些測試用例來覆蓋鄰機發(fā)現(xiàn)協(xié)議的文本描述。其次，利用TTCN-3語言的一個子集對這些測試用例進行了形式化的描述，進而得到了這些測試用例的TTCN-3源代碼。最后，我