模型驅(qū)動(dòng)的協(xié)議一致性測試系統(tǒng)的研究與實(shí)現(xiàn).pdf

1、通信技術(shù)的發(fā)展使得通信網(wǎng)絡(luò)及其通信協(xié)議日趨復(fù)雜，網(wǎng)絡(luò)通信協(xié)議變得越來越復(fù)雜，網(wǎng)絡(luò)協(xié)議的復(fù)雜性體現(xiàn)在空間分布性、并發(fā)性、異步性、不穩(wěn)定性和多樣性。為了保證網(wǎng)絡(luò)中各實(shí)體間能夠正確、可靠地進(jìn)行通信，根據(jù)協(xié)議規(guī)范對各個(gè)實(shí)體進(jìn)行協(xié)議一致性測試，已經(jīng)成為產(chǎn)品開發(fā)過程中的一個(gè)重要環(huán)節(jié)。網(wǎng)絡(luò)通信協(xié)議的一致性測試，就是檢查待測實(shí)體的收發(fā)行為是否與有關(guān)的協(xié)議規(guī)范相一致。它主要包括協(xié)議形式化描述、測試序列生成、測試腳本生成、測試腳本執(zhí)行和結(jié)果分析幾個(gè)基本過程

2、。
　　 本文結(jié)合模型驅(qū)動(dòng)的協(xié)議測試?yán)詣?dòng)生成系統(tǒng)項(xiàng)目，首先討論了一致性測試概念、一致性測試模型、一致性測試工作流程、一致性測試方法和一致性測試套，重點(diǎn)研究了基于有限狀態(tài)機(jī)的協(xié)議一致性測試序列生成方法，并設(shè)計(jì)出了一個(gè)通用性、平臺(tái)無關(guān)性、易操作性和可擴(kuò)展性的測試?yán)詣?dòng)生成平臺(tái)。本文的主要內(nèi)容如下：
　　 （1）基于UIO序列提出了一種新的協(xié)議一致性測試生成方法——路徑疊加方法。其核心思想是尋找有限狀態(tài)機(jī)中無重復(fù)轉(zhuǎn)換的可行路

3、徑作為路徑疊加轉(zhuǎn)換序列，在其后連接該序列尾狀態(tài)的UIO序列，從而驗(yàn)證該序列中所有轉(zhuǎn)換。理論與實(shí)驗(yàn)結(jié)果表明，由路徑疊加算法生成的測試序列長度要比其他基于UIO序列的算法生成的測試序列明顯縮短。特別的，利用路徑疊加轉(zhuǎn)換序列來替代對子序列直接疊加而生成的完全疊加轉(zhuǎn)換序列，在檢錯(cuò)性不降低的前提下，大大降低疊加計(jì)算的復(fù)雜度。
　　 （2）設(shè)計(jì)了一個(gè)模型驅(qū)動(dòng)的基于TCL的協(xié)議測試系統(tǒng)的完整體系結(jié)構(gòu)，并實(shí)現(xiàn)了一個(gè)完整的測試?yán)詣?dòng)生成平臺(tái)。該平