通信協(xié)議一致性測試集自動生成研究.pdf

1、現(xiàn)代通信和計算機技術的迅猛發(fā)展，使得通信協(xié)議日趨龐大復雜。為了保證網(wǎng)絡協(xié)議軟件的質量，需要對協(xié)議實現(xiàn)進行嚴格的測試。一致性測試是從協(xié)議實現(xiàn)與協(xié)議規(guī)范是否符合的角度來對通信協(xié)議進行檢測，是保證通信協(xié)議正確性和有效性的一個重要手段。 本文對通信協(xié)議一致性測試技術、形式化描述技術、抽象測試序列的自動生成算法、標準的測試描述語言TTCN-3等進行了詳細研究。本文的創(chuàng)新性工作主要如下： 在通信協(xié)議的一致性測試技術中，可執(zhí)行測試序列

2、的全自動生成是一個難點。自動生成高錯誤覆蓋率、簡潔完備的測試序列可以提高整個測試系統(tǒng)的工作效率。本文重點研究了可執(zhí)行測試序列的自動生成算法——基于EFSM的控制流和數(shù)據(jù)流相疊加的可執(zhí)行測試序列的生成算法。該算法提出了一種“變遷可執(zhí)行性分析”技術，解決了EFSM模型中變遷的不可執(zhí)行性問題。而且，該算法結合了數(shù)據(jù)流測試和控制流測試的優(yōu)點，既滿足了對通信協(xié)議數(shù)據(jù)部分的測試，又實現(xiàn)了路徑覆蓋的功能，從而提高了一致性測試的效率。 TTCN

3、-3是ETSI和ITU-T標準化的測試描述語言，應用前景廣闊。本文研究了如何將抽象測試序列自動轉換成TTCN-3語言描述的測試例，實現(xiàn)了通信協(xié)議一致性測試集生成過程的進一步自動化。 本文的研究成果已應用于導師承擔的浙江省重點科技攻關計劃項目“通信協(xié)議一致性測試集自動生成軟件”之中。本文介紹了我們自主研發(fā)的通信協(xié)議一致性測試集自動生成軟件TSG。以INRES協(xié)議為例，給出了一致性測試集的整個自動生成過程，并通過德國 Testing