從E-LOTOS自動生成XML格式測試套的設計與實現(xiàn).pdf

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

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

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