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

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

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

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

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

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