基于形式化描述的協(xié)議魯棒性測(cè)試研究.pdf

1、隨著網(wǎng)絡(luò)技術(shù)的迅速發(fā)展，協(xié)議測(cè)試已經(jīng)成為網(wǎng)絡(luò)協(xié)議工程學(xué)中研究的熱點(diǎn)問題。網(wǎng)絡(luò)環(huán)境的日益復(fù)雜化對(duì)協(xié)議實(shí)現(xiàn)的魯棒性提出了巨大的挑戰(zhàn)，魯棒性測(cè)試是保證協(xié)議實(shí)現(xiàn)在惡劣環(huán)境下能夠正常運(yùn)行的重要手段，其主要目標(biāo)是測(cè)試協(xié)議實(shí)現(xiàn)在受到異常沖擊的情況下能夠正常工作的能力。本文采用形式化描述技術(shù)，對(duì)協(xié)議魯棒性測(cè)試?yán)碚摵头椒ㄟM(jìn)行了研究，主要研究?jī)?nèi)容包括以下幾個(gè)方面：
　　 介紹了一種適合魯棒性測(cè)試的形式化模型——RFSM以及魯棒性測(cè)試的相關(guān)技術(shù)。

2、r>　　 測(cè)試序列生成是協(xié)議測(cè)試最為關(guān)鍵的部分，因此本文重點(diǎn)研究了魯棒性測(cè)試序列生成問題。首先根據(jù)RFSM模型的特點(diǎn)，給出了測(cè)試序列的組成結(jié)構(gòu)，通過將四種基于FSM的一致性測(cè)試序列生成算法引入到魯棒性測(cè)試，形成了基于RFSM的魯棒性測(cè)試序列生成算法。隨后，對(duì)UIO方法進(jìn)行實(shí)例分析，針對(duì)UIO方法在應(yīng)用過程中涉及的一些問題給出了解決方法，并在此基礎(chǔ)上給出了一種基于UIO的改進(jìn)算法，該算法有效結(jié)合了MUIO方法的高覆蓋率和T-方法序列最短