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

1、因特網(wǎng)協(xié)議第6版(Internet Protocol version 6,簡(jiǎn)稱IPv6)是目前廣泛使用的被稱為"因特網(wǎng)基石"的因特網(wǎng)協(xié)議第4版(Internet Protocol version 4,簡(jiǎn)稱IPv4)的新版本,它是為了解決IPv4協(xié)議的地址空間耗盡、路由表爆炸等問(wèn)題而提出來(lái)的.協(xié)議測(cè)試是用來(lái)保證協(xié)議實(shí)現(xiàn)正確性和有效性的重要手段.協(xié)議一致性測(cè)試是測(cè)試被測(cè)協(xié)議實(shí)現(xiàn)與協(xié)議文本要求的一致性,是協(xié)議測(cè)試的基礎(chǔ).該文關(guān)注的是IPv6協(xié)

2、議中鄰居發(fā)現(xiàn)協(xié)議的一致性測(cè)試問(wèn)題以及TTCN-3語(yǔ)言在測(cè)試?yán)枋鲋械氖褂?該文通過(guò)分析鄰居發(fā)現(xiàn)協(xié)議的特點(diǎn),使用帶標(biāo)記的變遷轉(zhuǎn)換系統(tǒng)對(duì)協(xié)議的鄰居不可達(dá)檢測(cè)機(jī)制進(jìn)行了形式化分析和建模,并討論了如何在此形式化模型的基礎(chǔ)上自動(dòng)生成測(cè)試目的、如何根據(jù)測(cè)試目的自動(dòng)生成測(cè)試?yán)?而且,進(jìn)一步對(duì)自動(dòng)生成的測(cè)試?yán)M(jìn)行了分析,并使用TTCN-3完成了對(duì)鄰居發(fā)現(xiàn)協(xié)議的測(cè)試?yán)拿枋龊蛯?duì)TTCN-3測(cè)試?yán)膬?yōu)化.該文給出了使用形式化方法完成由可觀察事件引起的狀態(tài)轉(zhuǎn)