【正文】 這也是該方法沒有被納入 ISO9646協(xié)議測(cè)試標(biāo)準(zhǔn)當(dāng)中的主要原因。 UT發(fā)送給IUT的 (n)ASP和 UT從 IUT獲取的 (n)ASP通過這個(gè)渡船軟件進(jìn)行。 ?有了 TMP， UT和 LT就通過交換TMPDU實(shí)現(xiàn)測(cè)試協(xié)同過程。 ?由于 UT和 LT可以在同一個(gè)程序中實(shí)現(xiàn)，因此， UT和 LT的測(cè)試協(xié)同過程 TCP(Test Coordinate Procedure)比較容易實(shí)現(xiàn)。 ?如何選取最小的測(cè)試序列去檢測(cè)更多的協(xié)議錯(cuò)誤。 (4)測(cè)試執(zhí)行 。 (2)測(cè)試集 (Test Suite)生成 。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 38 一致性測(cè)試模型 ?ISO建議的協(xié)議一致性測(cè)試模型如圖所示 (n1)Service Provider LT PCO IUT (n)PDU (n1)ASP PCO CI UT UT和 LT利用 (n1)層提供的另外一條通道交換協(xié)同信息 CI(Coordinated Information) LT和 IUT通過(n1)層服務(wù)交換 (n1)ASP 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 39 模型的工作過程： Example ? 檢測(cè) IUT是否具有正常的連接能力 (假定 UT為測(cè)試的主控者 ) 的例子： 1. UT向 IUT發(fā)連接請(qǐng)求服務(wù)原語 CONNECT_request。 通過 IUT內(nèi)協(xié)議的 PDU和上下界面的 ASPs來觀測(cè)協(xié)議行為。這種測(cè)試 是非標(biāo)準(zhǔn)化的 。 ?行為測(cè)試可分為兩級(jí)： ?覆蓋性測(cè)試 (prehensive testing)。 ? ISO 9646將協(xié)議一致性測(cè)試分為四級(jí)，由低到高分別為 ? 基本互連測(cè)試、 ? 能力測(cè)試、 ? 行為測(cè)試、 ? 一致性分解測(cè)試。 ?這些要求往往使用表格形式來描述。 ?動(dòng)態(tài)一致性要求常用動(dòng)詞 “將” 描述，例如， “ 當(dāng)收到一個(gè) XYZ PDU時(shí)，接收端 將 發(fā)送一個(gè) ABC PDU”。 ?有條件的要求 。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 12 一致性測(cè)試：發(fā)展概況 (Cont.) ?近幾年來，隨著計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)，特別是因特網(wǎng)的不斷發(fā)展，人們發(fā)現(xiàn)以前基于傳統(tǒng)的 OSI模型的對(duì)等協(xié)議測(cè)試的理論已經(jīng)不能適應(yīng)實(shí)踐的需要，因此需要進(jìn)行更多的理論和實(shí)踐工作，如復(fù)雜的分布式系統(tǒng)的測(cè)試、高速網(wǎng)絡(luò)測(cè)試和 TCP/IP協(xié)議測(cè)試 (如路由協(xié)議的一致性測(cè)試 )等。例如， ? 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的制定是協(xié)議一致性測(cè)試領(lǐng)域的一個(gè)里程碑 ?ISO定義的一序列一致性測(cè)試標(biāo)準(zhǔn)為協(xié)議的一致性測(cè)試提供了基本方法和框架，為測(cè)試集制定了設(shè)計(jì)步驟和描述方法，并為測(cè)試系統(tǒng)的實(shí)現(xiàn)提供了指導(dǎo)。 ? 最初的參與者包括法國(guó)巴黎的 ADI、德國(guó) Darmastadt的國(guó)家通信研究所 (GMD)和英國(guó)的國(guó)家物理實(shí)驗(yàn)室 (NPL)。測(cè)試集是根據(jù)協(xié)議的規(guī)范得生成的，它是進(jìn)行協(xié)議一致性測(cè)試的基礎(chǔ)。驗(yàn)證一項(xiàng)新的協(xié)議實(shí)現(xiàn)，通常需要進(jìn)行多項(xiàng)測(cè)試。對(duì)于測(cè)試者而言，協(xié)議實(shí)現(xiàn)相當(dāng)于一個(gè)黑盒子，測(cè)試者可以提供輸入信號(hào) (報(bào)文 )，然后觀察輸出結(jié)果。 “ 一致性 ” 指的是被測(cè)系統(tǒng) (也就是協(xié)議的各種實(shí)現(xiàn) )與協(xié)議標(biāo)準(zhǔn)的一致性。 ? 這些成果及其術(shù)語有許多在后來由 ISO制定的一致性測(cè)試標(biāo)準(zhǔn)ISO 9646中被采用。 ?國(guó)內(nèi)的清華大學(xué)吳建平教授的實(shí)驗(yàn)室在一致性測(cè)試方面處于國(guó)內(nèi)領(lǐng)先地位。 ?在具有代表性的通信實(shí)例中，被測(cè)試的協(xié)議實(shí)現(xiàn)的外部特性與標(biāo)準(zhǔn)協(xié)議的要求一致。在標(biāo)準(zhǔn)中還要規(guī)定出什么事情是禁止做的。這個(gè)說明就是 協(xié)議一致性陳述PICS (Protocol Implementation Conformance Statement)。 ? 如果兩個(gè)實(shí)現(xiàn)都能與某個(gè)協(xié)議標(biāo)準(zhǔn)的子集相一致，則這兩個(gè)系統(tǒng)之間在些情況下互通要比在其它情況下互通容易實(shí)現(xiàn)。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 29 行為測(cè)試 (behaviour test) ?按協(xié)議中動(dòng)態(tài)一致性要求在實(shí)際通信狀態(tài)下進(jìn)行周密的測(cè)試。每個(gè)小組的測(cè)試目的可能要由多個(gè)測(cè)試序列來實(shí)現(xiàn)。 第 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í)體 )。這種合作稱為測(cè)試協(xié)調(diào)過程。 6. UT從 IUT接收連接指示服務(wù)原語 CONNECT_indication，并分析有關(guān)信息作出 IUT是否有正常連接能力的判決 (verdict)。將抽象測(cè)試集用測(cè)試執(zhí)行系統(tǒng)能夠認(rèn)識(shí)的語言描述。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 43 一致性測(cè)試要解決的主要問題 ?如何產(chǎn)生一致性測(cè)試集。 ?ISO 9646中定義了四種標(biāo)準(zhǔn)的抽象測(cè)試方法： ?本地測(cè)試法 (Local Mehtod) ?分布式測(cè)試法 (Distributed Method) ?協(xié)調(diào)測(cè)試法 (Coordination Mehtod) ?遠(yuǎn)程測(cè)試法 (Remote Method)。 ?與本地方法相比， LT和 IUT之間的接口 PCO從 IUT中轉(zhuǎn)換到 LT中，LT相當(dāng)于 (n1)層服務(wù)的使用者 ?測(cè)試協(xié)同過程 TCP隱含在測(cè)試?yán)?，測(cè)試同步問題由 UT和 LT的操作者來實(shí)現(xiàn)。 ?在這種方法中，測(cè)試?yán)耆?(n1)ASP描述。 而在帶外傳送法中， UT通過 (n1)層服務(wù)直接傳送給渡船軟件。 ?和遠(yuǎn)程測(cè)試法一樣，中繼系統(tǒng)的測(cè)試也不需要 UT。 與協(xié)同測(cè)試法一樣，根據(jù) UT和渡船軟件之間交換 FPDU方法的不同，渡船測(cè)試法又可分為帶內(nèi)傳送法 (圖 (a))和帶外傳送法 (圖 (b)) 。 ?同樣，分布式測(cè)試法的測(cè)試?yán)荒苡糜趨f(xié)同測(cè)試法。 第 7章 協(xié)議一致性測(cè)試技術(shù)（ 1－概述） 49 分布測(cè)試法 (b) 分布測(cè)試法 ?在這種方法中， I