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

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

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

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

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