【正文】 PICS進(jìn)行比較，特別是協(xié)議標(biāo)準(zhǔn)的不同任選能力上。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 31 一致性分解測(cè)試 (conformance resolution test) ?當(dāng)其它測(cè)試不能確定一致性但又可能存在問(wèn)題時(shí)，可在小范圍內(nèi)再進(jìn)行測(cè)試，以判定被測(cè)試對(duì)象是否滿足某種特定的要求。 ?在圖中， LT和 IUT通過(guò) (n1)層服務(wù)交換 (n1)ASP，而UT和 LT利用 (n1)層提供的另外一條通道交換協(xié)同信息CI(Coordinated Information)。在這一階段，抽象測(cè)試集中的抽象測(cè)試?yán)晦D(zhuǎn)變?yōu)樵谝粚?shí)際的測(cè)試系統(tǒng)上可執(zhí)行的測(cè)試?yán)? ?上述這幾種測(cè)試法是最基本的，適于單層協(xié)議測(cè)試，有許多變種，如渡船測(cè)試法 (Ferry Method)、多方測(cè)試法及騎跨式 (Astride)測(cè)試法等。 ?遠(yuǎn)程方法比較適用于被動(dòng)式協(xié)議實(shí)現(xiàn)或服務(wù)型協(xié)議實(shí)體的測(cè)試。上圖所示的 閉環(huán)測(cè)試法 和 橫斷測(cè)試法 則主要用于中繼系統(tǒng)RS(Relay System)的 IUT的一致性測(cè)試。圖 (c)所示的是帶內(nèi)傳送法。 ?如果協(xié)議規(guī)范本身有錯(cuò)誤，如不完整或有二義性，這將給協(xié)議一致性測(cè)試帶來(lái)什么問(wèn)題，如何處理？ 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 44 一致性測(cè)試要解決的主要問(wèn)題 ?如何將測(cè)試序列輸入到一個(gè)正在運(yùn)行的協(xié)議實(shí)現(xiàn)中。這一步生成的測(cè)試集，通常是 抽象測(cè)試集 ，因?yàn)樗仟?dú)立于所有的協(xié)議實(shí)現(xiàn)的。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 36 PCOs ?PCO由下列三種因素標(biāo)識(shí)： ?IUT內(nèi)對(duì)測(cè)試事件進(jìn)行控制與觀察的服務(wù)邊界； ?在該點(diǎn)進(jìn)行控制和觀察的一組測(cè)試事件 (ASPs或 PDUs)； ?對(duì)這些測(cè)試事件的控制和觀察是在 SUT內(nèi)還是在測(cè)試系統(tǒng)中。 要求檢查每個(gè)轉(zhuǎn)換的前后狀態(tài)。 ?我們將同時(shí)滿足靜態(tài)和動(dòng)態(tài)一致性要求，并且符合 PICS中陳述的能力的系統(tǒng)或?qū)崿F(xiàn)稱(chēng)為 一致性系統(tǒng) 。 ?任選的要求 。 ?由于協(xié)議測(cè)試的技術(shù)復(fù)雜性和龐大開(kāi)銷(xiāo)，一般是協(xié)議實(shí)現(xiàn)者和協(xié)議用戶所力不能及的事情。 ?如果一個(gè)協(xié)議的形式化規(guī)范中存在一個(gè)設(shè)計(jì)錯(cuò)誤，則當(dāng)且僅當(dāng)完全基于該規(guī)范的協(xié)議實(shí)現(xiàn) (faithful implementation)中也包含同樣的錯(cuò)誤時(shí)，該實(shí)現(xiàn)才能通過(guò)協(xié)議的一致性測(cè)試。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 4 一致性測(cè)試原理 ?當(dāng)?shù)谝粋€(gè)公用數(shù)據(jù)網(wǎng)投入使用后，該網(wǎng)絡(luò)的管理者要做的一件重要事情是：確定購(gòu)買(mǎi)的商用網(wǎng)絡(luò)設(shè)備是否符合相關(guān)的網(wǎng)絡(luò)標(biāo)準(zhǔn)，但又不必關(guān)心設(shè)備的內(nèi)部細(xì)節(jié)，這就是協(xié)議的一致性測(cè)試問(wèn)題。 ? 美國(guó)的國(guó)家標(biāo)準(zhǔn)和技術(shù)局 (NIST)由于成功地研制了 OSI體系結(jié)構(gòu)中的第 4類(lèi)運(yùn)輸協(xié)議的測(cè)試系統(tǒng)，所以后來(lái)也被邀請(qǐng)參加了這一合作項(xiàng)目。 ?一致性測(cè)試的目的是希望通過(guò)這個(gè)測(cè)試可增加同一協(xié)議的不同實(shí)現(xiàn)之間能夠互連的概率 。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 19 DCR和 SCR ?由此可見(jiàn)， ?動(dòng)態(tài)一致性是指協(xié)議規(guī)范中規(guī)定的通信實(shí)例中的協(xié)議實(shí)現(xiàn)所必須呈現(xiàn)的外部特性的組合或允許的各種選擇性組合， ?而靜態(tài)一致性是指協(xié)議規(guī)范中為使協(xié)議實(shí)現(xiàn)能夠互連而定義的功有類(lèi)別、功能單元的分組以及選擇性功能等等。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 28 能力測(cè)試 (capability test) ?將被測(cè)對(duì)象進(jìn)行有限的靜態(tài)一致性測(cè)試，以確定被測(cè)對(duì)象可觀察到的能力。是對(duì) IUT的上服務(wù)邊界進(jìn)行控制和觀察所提供的手段 LT(Lower Tester)是下測(cè)試器 (下層測(cè)試軟件或硬件 )。 4. 如果 CONNECTreq合法， LT向 IUT發(fā)送接受連接請(qǐng)求報(bào)文CONNECTaccept。根據(jù)測(cè)試記錄并參照 PICS和PIXIT對(duì) IUT進(jìn)行評(píng)估，并給出一致性測(cè)試報(bào)告。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 49 分布測(cè)試法 (b) 分布測(cè)試法 ?在這種方法中， IUT和 UT處于同一臺(tái)機(jī)器中，而 LT則分布在其它機(jī)器中。 與協(xié)同測(cè)試法一樣，根據(jù) UT和渡船軟件之間交換 FPDU方法的不同，渡船測(cè)試法又可分為帶內(nèi)傳送法 (圖 (a))和帶外傳送法 (圖 (b)) 。 而在帶外傳送法中， UT通過(guò) (n1)層服務(wù)直接傳送給渡船軟件。 ?與本地方法相比， LT和 IUT之間的接口 PCO從 IUT中轉(zhuǎn)換到 LT中，LT相當(dāng)于 (n1)層服務(wù)的使用者 ?測(cè)試協(xié)同過(guò)程 TCP隱含在測(cè)試?yán)?，測(cè)試同步問(wèn)題由 UT和 LT的操作者來(lái)實(shí)現(xiàn)。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 43 一致性測(cè)試要解決的主要問(wèn)題 ?如何產(chǎn)生一致性測(cè)試集。 6. UT從 IUT接收連接指示服務(wù)原語(yǔ) CONNECT_indication，并分析有關(guān)信息作出 IUT是否有正常連接能力的判決 (verdict)。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 34 一致性測(cè)試模型 ?ISO建議的協(xié)議一致性測(cè)試模型如圖所示 (n1)Service Provider LT PCO IUT (n)PDU (n1)ASP PCO CI UT 如果 IUT是 n層協(xié)議實(shí)體，那么 UT屬于 (n+1)層，LT屬于 n層 (LT和 IUT為同層協(xié)議實(shí)體 )。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 29 行為測(cè)試 (behaviour test) ?按協(xié)議中動(dòng)態(tài)一致性要求在實(shí)際通信狀態(tài)下進(jìn)行周密的測(cè)試。這個(gè)說(shuō)明就是 協(xié)議一致性陳述PICS (Protocol Implementation Conformance Statement)。 ?在具有代表性的通信實(shí)例中，被測(cè)試的協(xié)議實(shí)現(xiàn)的外部特性與標(biāo)準(zhǔn)協(xié)議的要求一致。 ? 這些成果及其術(shù)語(yǔ)有許多在后來(lái)由 ISO制定的一致性測(cè)試標(biāo)準(zhǔn)ISO 9646中被采用。對(duì)于測(cè)試者而言，協(xié)議實(shí)現(xiàn)相當(dāng)于一個(gè)黑盒子，測(cè)試者可以提供輸入信號(hào) (報(bào)文 )，然后觀察輸出結(jié)果。測(cè)試集是根據(jù)協(xié)議的規(guī)范得生成的，它是進(jìn)行協(xié)議一致性測(cè)試的基礎(chǔ)。例如， ? ISO10025為運(yùn)輸協(xié)議的一致性測(cè)試標(biāo)準(zhǔn)， ? ISO 10168為會(huì)話協(xié)議的一致性測(cè)試標(biāo)準(zhǔn) 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 9 一致性測(cè)試：發(fā)展概況 (Cont.) ?ISO 9646的制定是