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

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

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

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