協(xié)議互操作性測試?yán)碚撆c方法研究.pdf

1、協(xié)議測試是協(xié)議工程中的一個重要環(huán)節(jié)，其目的是為了保證協(xié)議實現(xiàn)按照協(xié)議描述穩(wěn)定可靠地運行，對于通信產(chǎn)品的質(zhì)量保證有著重要的意義。協(xié)議測試包括四個方面：一致性測試、互操作性測試、性能測試和堅固性測試。一致性測試是為了檢測協(xié)議實現(xiàn)與協(xié)議規(guī)范符合的程度，互操作性測試旨在檢測同一種或同類協(xié)議的不同實現(xiàn)版本之間的互通互操作能力，此二者均是協(xié)議實現(xiàn)體可正確工作的基本保證。在過去的研究工作中，人們主要著重于一致性測試，而對互操作性測試的研究較少。雖然，

2、一致性是保證互操作性的一個必要的步驟，但通過一致性測試的協(xié)議實現(xiàn)體不一定能正確地互操作，對協(xié)議實現(xiàn)體進(jìn)行直接的互操作性測試是必不可少的。 測試系統(tǒng)設(shè)計和測試套具的產(chǎn)生是協(xié)議測試中要解決的兩大問題。測試系統(tǒng)設(shè)計重點解決測試方法和測試系統(tǒng)結(jié)構(gòu)的問題，測試套具的產(chǎn)生要解決測試“徹底性”和“標(biāo)準(zhǔn)化”的問題，解決測試套具自動生成問題?；ゲ僮餍詼y試的研究T作可以大致分成兩類，第一類是對互操作性測試一般概念的研究和互操作性測試的實驗，第二類是

3、系統(tǒng)化的互操作性測試序列生成。本文工作的重點是圍互操作性測試序列的自動生成和優(yōu)化、測試覆蓋、測試可靠性等相關(guān)問題展開的。 本文的研究工作主要集中在如下幾個方面： (1)基于復(fù)合有限狀態(tài)機模型的最小代價互操作性測試序列生成算法在測試序列生成算法中，測試代價是評估測試序列優(yōu)劣的一個重要指標(biāo)。但目前很多互操作性測試的研究工作均只討論了對系統(tǒng)可以完全描述和完全控制的條件下如何生成滿足轉(zhuǎn)移覆蓋的互操作性測試序列覆蓋互操作系統(tǒng)的交互

4、行為，很少考慮生成的測試序列的代價。本文將分析互操作系統(tǒng)中的測試代價的組成，通過對系統(tǒng)的可達(dá)性分析，構(gòu)造復(fù)合有限狀態(tài)機的加權(quán)轉(zhuǎn)移圖，采用帶權(quán)圖的邊覆蓋問題的算法生成最優(yōu)互操作性測試序列，同時給出了該問題的一個貪心近似算法。該方法可有效地提高測試效率。 (2)局部描述系統(tǒng)的互操作性測試序列生成互操作性測試在現(xiàn)實中經(jīng)常會有這樣的情況：需要測試待測系統(tǒng)和另一個現(xiàn)存系統(tǒng)的互操作能力，由于現(xiàn)存系統(tǒng)過于復(fù)雜或沒有足夠的信息，無法對整個互操作

5、系統(tǒng)進(jìn)行完整地建模描述。在這種情況下牛成的測試序列需要滿足路徑覆蓋方可保證互操作性測試的徹底性。本文討論了在局部描述的互操作系統(tǒng)中基于有向圖的單邊互操作性測試序列生成算法，提出了互操作性測試的最小完全覆蓋準(zhǔn)則以指導(dǎo)測試序列的生成，并給出了相應(yīng)的生成算法。采川該方法可以獲得覆蓋所有互操作轉(zhuǎn)移序列的最小測試集，在保證測試覆蓋率的前提下顯著降低測試的代價。 (3)測試可靠性及動態(tài)測試方法傳統(tǒng)的測試序列生成算法都只從靜態(tài)的角度考慮測試序