基于CPN和TTCN-3的HMIPv6協(xié)議一致性測(cè)試研究.pdf

1、IETF在移動(dòng)IPv6(MIPv6)的基礎(chǔ)上針對(duì)移動(dòng)節(jié)點(diǎn)在小范圍內(nèi)快速移動(dòng)提出了一種改進(jìn)技術(shù),即層次化移動(dòng)IPv6(HMIPv6)技術(shù)。它通過引入移動(dòng)錨點(diǎn)(MAP),對(duì)網(wǎng)絡(luò)進(jìn)行了層次化劃分,使移動(dòng)節(jié)點(diǎn)的移動(dòng)行為分為宏移動(dòng)和微移動(dòng)。這改進(jìn)了MIPv6的切換方案,提高了通信質(zhì)量。
　　 協(xié)議一致性測(cè)試用于檢查協(xié)議實(shí)現(xiàn)是否符合協(xié)議設(shè)計(jì)的要求,是保障協(xié)議實(shí)現(xiàn)質(zhì)量的有效方法。Coloured Petri Nets(CPN)非常適合于描述具

2、有并發(fā)和通信的系統(tǒng)。CPN Tools還支持模型相關(guān)性質(zhì)的分析。TTCN-3是一種功能強(qiáng)大的測(cè)試標(biāo)準(zhǔn)語言。如何結(jié)合CPN和TTCN-3對(duì)HMIPv6協(xié)議進(jìn)行有效的一致性測(cè)試成為亟待解決的問題。
　　 本文主要研究基于CPN和TTCN-3的HMIPv6協(xié)議一致性測(cè)試。首先,使用CPN及其仿真工具CPN Tools對(duì)HMIPv6協(xié)議進(jìn)行了層次化建模,并用點(diǎn)火約束條件簡(jiǎn)化了模型生成的狀態(tài)空間并分別生成了微移動(dòng)狀態(tài)空間和宏移動(dòng)狀態(tài)空間。