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

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

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

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