基于抽象狀態(tài)機模型的流媒體傳輸協(xié)議遠程測試系統(tǒng).pdf

1、協(xié)議的測試是協(xié)議工程的一個重要組成環(huán)節(jié)。隨著信息化時代的到來，人們對信息的需求越來越高，促生了許多新的協(xié)議規(guī)范。如何采用新的形式化方法描述和驗證協(xié)議及對新協(xié)議選擇何種測試方式來保證協(xié)議實現(xiàn)的一致性、互操作性和高效性一直是協(xié)議測試的熱點和難點。 本文研究的目的就在于根據(jù)當(dāng)前國內(nèi)外的發(fā)展現(xiàn)狀，結(jié)合當(dāng)今協(xié)議多帶有分布式的特征，提出并實現(xiàn)了基于抽象狀態(tài)機語言的遠程協(xié)議測試。 本文首先概要介紹了協(xié)議測試的基本概念、測試結(jié)構(gòu)、測試流

2、程和測試基本假設(shè)，分析了現(xiàn)有協(xié)議描述的形式化方法和各自的優(yōu)缺點。 然后介紹了抽象狀態(tài)機語言的發(fā)展和形式化規(guī)則，并論述了其作為協(xié)議測試的優(yōu)點和理論基礎(chǔ)。根據(jù)前面的分析，提出基于抽象狀態(tài)機語言的協(xié)議測試基本模型； 在此基礎(chǔ)上以簡單文件傳輸協(xié)議為例，論述了使用抽象狀態(tài)機語言進行協(xié)議測試的方法和過程。并根據(jù)簡單文件傳輸協(xié)議測試中實際存在的問題，提出抽象狀態(tài)機模型結(jié)合．NET環(huán)境下分布式程序設(shè)計構(gòu)架來設(shè)計遠程協(xié)議測試系統(tǒng)，并詳細論