基于TTCN-3的移動IPv6協(xié)議一致性測試研究.pdf

1、當(dāng)今移動性已經(jīng)成了互聯(lián)網(wǎng)網(wǎng)絡(luò)革新的關(guān)鍵驅(qū)動力,高速的帶寬和移動世界為用戶提供了新的網(wǎng)絡(luò)服務(wù)。IPv6作為下一代的Internet互連協(xié)議,必須考慮到對移動通信方面的支持。因此,對IPv6協(xié)議族中非常重要的一個協(xié)議--移動IPv6協(xié)議進(jìn)行一致性測試,并發(fā)現(xiàn)其實現(xiàn)中存在的錯誤是非常必要的。本文關(guān)注移動IPv6協(xié)議的一致性測試問題,在分析移動IPv6協(xié)議的基礎(chǔ)上,進(jìn)行了移動IPv6協(xié)議的測試研究和實踐。 基于TTCN-3的移動IPv6

2、協(xié)議一致性測試包括對移動IPv6協(xié)議的形式化描述、測試生成、編寫符合TTCN-3語法要求的抽象測試套及基于TTCN-3的測試平臺的開發(fā)。因此,本文的工作主要包括以下四個部分：首先,我們采用四層結(jié)構(gòu)對移動IPv6協(xié)議進(jìn)行充分的描述,在應(yīng)用有限狀態(tài)機對其建模過程中,考慮到多個移動節(jié)點與通訊節(jié)點通訊的情況,引入多節(jié)點的有限狀態(tài)機概念；在此基礎(chǔ)上引入數(shù)據(jù)流,并用擴(kuò)展帶標(biāo)記轉(zhuǎn)換系統(tǒng)進(jìn)行描述,然后基于數(shù)據(jù)流的定義和使用標(biāo)準(zhǔn)生成可執(zhí)行測試?yán)黄浯?依