基于TTCN協(xié)議測試執(zhí)行系統(tǒng)的設計與實現(xiàn).pdf

1、設計并實現(xiàn)基于TTCN的協(xié)議一致性測試工具是一項系統(tǒng)的工作.首先需要有理論的支持;其次要經(jīng)過細致縝密的設計,保證正確高效;最后通過程序實現(xiàn),達到實用的目的.我們的工作是在一定基礎上開始繼續(xù)的,即形式化方法、解釋器、執(zhí)行器已初步實現(xiàn).其主要功能在于:形式化方法為測試工具設計的正確性提供了理論支持,解釋器經(jīng)過TTCN語義解析生成TTCN求植樹,執(zhí)行器負責求植樹的執(zhí)行并得到測試結果,該文前面章節(jié)對此進行了敘述.以此為起點,我們首先設計了驅動程

2、序模塊,并按功能進一步劃分為三個子模塊,分別對應:與執(zhí)行器交互、數(shù)據(jù)處理、與網(wǎng)絡環(huán)境交互.根據(jù)設計模型,我們在WINDOWS環(huán)境下進行了測試工具實現(xiàn);并使用此系統(tǒng)進行了ospf、mpls協(xié)議一致性測試,效果良好.其次,根據(jù)實際測試的需要,我們設計了并發(fā)TTCN的實現(xiàn)方法,并發(fā)TTCN最大程序利用了已經(jīng)投入使用的非并發(fā)測試系統(tǒng)平臺,這樣即實現(xiàn)了模塊的重用,又實現(xiàn)了對非并發(fā)功能的兼容.可以認為非并發(fā)測試是并發(fā)測試的特例.而且,我們把測試系統(tǒng)