協(xié)議測(cè)試執(zhí)行系統(tǒng)的實(shí)現(xiàn)及IPv6鄰居發(fā)現(xiàn)協(xié)議的一致性測(cè)試.pdf

1、隨著計(jì)算機(jī)網(wǎng)絡(luò)發(fā)展特別是開放型異構(gòu)網(wǎng)絡(luò)的迅猛發(fā)展,協(xié)議測(cè)試?yán)碚摵图夹g(shù)的研究越來越重要,已經(jīng)成為國(guó)際上計(jì)算機(jī)網(wǎng)絡(luò)研究的熱點(diǎn)之一.研究基于形式化技術(shù)的測(cè)試執(zhí)行方法是開展形式化的協(xié)議一致性測(cè)試活動(dòng)的關(guān)鍵環(huán)節(jié).我們做的工作主要是以下兩個(gè)部分:一部分是結(jié)合ISO的標(biāo)準(zhǔn)和方法,提出了一種形式化的基于測(cè)試描述語(yǔ)言TTCN的操作語(yǔ)義的測(cè)試執(zhí)行方法,并且在windows環(huán)境下采用面向?qū)ο蟮姆椒▽?shí)現(xiàn)了此協(xié)議測(cè)試執(zhí)行系統(tǒng).這種形式化的測(cè)試執(zhí)行方法非常適合于構(gòu)

2、造通用的協(xié)議測(cè)試系統(tǒng),同時(shí)也是進(jìn)行測(cè)試集自動(dòng)執(zhí)行的有效手段;另一部分是對(duì)IPv6鄰居發(fā)現(xiàn)協(xié)議的一致性進(jìn)行了測(cè)試.Neighbor Discovery(鄰居發(fā)現(xiàn),ND)協(xié)議是下一代互聯(lián)網(wǎng)協(xié)議IPv6協(xié)議族中的一個(gè)重要組成部分.該文對(duì)IPv6協(xié)議族中的鄰居發(fā)現(xiàn)協(xié)議進(jìn)行了簡(jiǎn)要介紹,提出了一種基于有限狀態(tài)機(jī)和消息序列圖相結(jié)合的協(xié)議一致性測(cè)試的形式化方法,實(shí)現(xiàn)了鄰居發(fā)現(xiàn)協(xié)議一致性測(cè)試集的形式化,給出了用測(cè)試?yán)枋稣Z(yǔ)言TTCN描述的測(cè)試?yán)膶?shí)現(xiàn),并