通信協(xié)議的分布式測試方法研究和測試系統(tǒng)實現(xiàn).pdf

1、隨著計算機網(wǎng)絡(luò)和分布式系統(tǒng)的發(fā)展,通信協(xié)議的規(guī)模和復(fù)雜性在不斷增加的同時,可靠性也在降低。一致性測試作為保證協(xié)議實現(xiàn)質(zhì)量的一種重要手段,首先根據(jù)協(xié)議規(guī)范生成測試序列(輸入序列),然后在適當(dāng)?shù)臏y試結(jié)構(gòu)中向協(xié)議實現(xiàn)注入測試序列,通過分析輸出序列來判定協(xié)議實現(xiàn)是否與規(guī)范一致。
　　在分布式測試中,由于存在多個測試器,它們之間可能會出現(xiàn)與可控性和可觀察性相關(guān)的協(xié)同問題,測試過程變得更加復(fù)雜。可控性是指測試系統(tǒng)控制被測實現(xiàn)(IUT)按照一定

2、順序接收輸入的能力。可觀察性是指測試系統(tǒng)觀察IUT的輸出、判斷輸入與輸出對應(yīng)關(guān)系的能力。可控性與可觀察性對于測試活動的許多方面都有影響,例如測試序列的執(zhí)行,測試系統(tǒng)的檢錯能力以及測試結(jié)果的解釋等。本文從測試生成和測試執(zhí)行的角度研究了這兩個問題,主要貢獻如下:
　　1.分布式測試中的測試序列生成
　　為解決分布式測試中的可控性與可觀察性問題,測試器之間通常需要使用可靠的外部通信信道交換協(xié)同消息?？紤]到協(xié)同消息和輸入輸出的代價,

3、總是希望得到解決可控性與可觀察性問題的最優(yōu)測試序列。基于協(xié)議的多端口有限狀態(tài)機模型,我們提出了一種構(gòu)造輔助有向圖的新方法,圖中的每條鏈路都表示不存在可控性與可觀察性問題的測試序列。通過求解輔助有向圖上的鄉(xiāng)間中國郵遞員回路(RCPT),得到最優(yōu)測試序列。
　　2.分布式測試中的時間約束
　　測試系統(tǒng)必須滿足一定的時間約束才能真正解決分布式測試中的可控性與可觀察性問題。反應(yīng)時間約束保證測試系統(tǒng)以合適的速度向IUT發(fā)送輸入。利用測

4、試執(zhí)行過程中的時間信息,對反應(yīng)時間約束進行優(yōu)化,提高了測試的效率。我們還提出了一種新的分布式測試的時序方法;如果測試系統(tǒng)滿足給定的時間約束,該方法只需要使用與測試器個數(shù)相同的協(xié)同消息就能解決可控性與可觀察性問題。
　　3.TTCN-3(測試和測試控制表示法-3)測試系統(tǒng)的實現(xiàn)與應(yīng)用
　　根據(jù)協(xié)議規(guī)范生成測試序列后,結(jié)合具體的測試結(jié)構(gòu)和測試環(huán)境,得到TTCN-3語言描述的可執(zhí)行測試例，還需要測試執(zhí)行系統(tǒng)的支持才能進行測試。我們