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

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

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