小設(shè)備上的雙協(xié)議棧實現(xiàn)及其一致性測試研究.pdf

1、本論文面對如此背景和需求驅(qū)動，在對IPv4、IPv6相關(guān)RFC規(guī)范和協(xié)議一致性測試方法學(xué)資料進行大量閱讀并深入研究的基礎(chǔ)上，針對小設(shè)備端系統(tǒng)雙協(xié)議棧實現(xiàn)設(shè)計了2個抽象測試套11個測試組共100個測試?yán)?，包括IPv4協(xié)議族、IPv6協(xié)議族等各個方面，涵蓋了二十余個RFC和其它標(biāo)準(zhǔn)文檔；創(chuàng)新性地定義了一種簡潔高效、可讀性強的測試套描述語言TSDL，以彌補用自然語言來編寫測試?yán)龝r給測試人員可能帶來的理解誤差。另外，為驗證協(xié)議實現(xiàn)對所有測試?yán)?/p>

2、滿足程度，設(shè)計了一個實用性強的協(xié)議一致性測試軟件PCTS，并結(jié)合Ethereal軟件對實驗室自主開發(fā)的“小設(shè)備上的IPv4/IPv6雙協(xié)議棧實現(xiàn)”進行了全面的測試。全文主要內(nèi)容如下：　　首先，敘述IPv4、IPv6特點，以及IPv4向IPv6的過渡策略。其中雙協(xié)議棧技術(shù)應(yīng)用非常廣泛，本論文敘述的協(xié)議實現(xiàn)和一致性測試對象就是基于DualProtocolStack的。 其次，描述小設(shè)備中實現(xiàn)雙協(xié)議棧的要求，以及實驗室自主研發(fā)的雙協(xié)

3、議棧實現(xiàn)的開發(fā)平臺和創(chuàng)新之處。鑒于小設(shè)備的軟硬件限制及其應(yīng)用環(huán)境，很多功能并非必要，故應(yīng)在實現(xiàn)中對協(xié)議棧進行裁剪。 然后，對測試方法學(xué)和標(biāo)準(zhǔn)測試語言TTCN進行概括和理論探討，并給出作者自主設(shè)計的用于小設(shè)備協(xié)議一致性測試的測試?yán)敿?xì)組成；重點介紹抽象測試套描述語言TSDL，并給出一個詳細(xì)實例。 最后，闡述Winpcap架構(gòu)及其編程方法；介紹協(xié)議一致性測試軟件PCTS的實現(xiàn)原理、所有模塊的功能，以及對協(xié)議棧進行測試的方法。