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

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

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

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