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

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

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