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

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

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