從E-LOTOS自動(dòng)生成XML格式測試套的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、協(xié)議測試是協(xié)議工程學(xué)的重要研究領(lǐng)域之一。其中,協(xié)議測試中的一致性測試是近年來國際上非常關(guān)注的、也是發(fā)展較快的一個(gè)研究領(lǐng)域,它是協(xié)議測試的基礎(chǔ),是提高和保證協(xié)議實(shí)現(xiàn)質(zhì)量的有效手段。所謂協(xié)議一致性測試就是用來驗(yàn)證協(xié)議實(shí)現(xiàn)與相應(yīng)協(xié)議標(biāo)準(zhǔn)的一致性,協(xié)議一致性測試過程大致劃分為三個(gè)階段:第一階段為“測試生成”,第二階段為“測試實(shí)現(xiàn)”,第三階段為“測試執(zhí)行”。測試套的設(shè)計(jì)約占整個(gè)測試活動(dòng)的60％,其質(zhì)量直接決定協(xié)議測試的科學(xué)性和有效性。本文采用IS

2、O/IEC于2001年頒布的標(biāo)準(zhǔn)形式描述語言E-LOTOS描述協(xié)議,它具有無二義性且能夠支持ODP,適應(yīng)對復(fù)雜大系統(tǒng)進(jìn)行分層描述的方法；采用可擴(kuò)展標(biāo)記語言XML表示測試套,它簡單易于掌握和使用且符合國際標(biāo)準(zhǔn),并易于測試套的長久保存及重用,本論文主要研究工作包括:
　　 對E-LOTOS標(biāo)準(zhǔn)進(jìn)行了深入研究,自動(dòng)生成了E-LOTOS描述的協(xié)議的有限狀態(tài)機(jī)(FSM)。其次對XML進(jìn)行了詳細(xì)研究,設(shè)計(jì)了測試套在XML文檔中的層次結(jié)構(gòu),并

3、在FSM上利用Dijkstra算法和啟發(fā)式UIO序列生成算法生成了XML格式的測試套,利用JAVA語言設(shè)計(jì)并實(shí)現(xiàn)了基于E-LOTOS描述的協(xié)議自動(dòng)生成XML測試套的自動(dòng)生成軟件工具。最后通過對BGP-4路由協(xié)議的研究,從E-LOTOS描述的BGP-4路由協(xié)議自動(dòng)生成了XML測試套。
　　 本論文最后一小節(jié)通過與IOL實(shí)驗(yàn)室為BGP-4協(xié)議狀態(tài)機(jī)提供的測試集進(jìn)行測試套整體對比和與隨機(jī)一個(gè)測試?yán)M(jìn)行對比分析,對同一測試目的,采用本文