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

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

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

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