【正文】 邊界進行控制和觀察所提供的手段 LT(Lower Tester)是下測試器 (下層測試軟件或硬件 )。 ?一致性分解測試要求測試執(zhí)行系統(tǒng)對一致性要求逐項地給出 yes/no的肯定回答，例如， “ IUT實現(xiàn)了第 2類協(xié)議嗎？ ” ，因此又可將一致性分解測試稱為 “ 一致性判定測試 ” 。因此，也稱為 “ 定向診斷測試 ” 。每個小組的測試目的可能要由多個測試序列來實現(xiàn)。 第 7章 協(xié)議一致性測試技術（ 1－概述） 30 行為測試 (behaviour test) ?IUT的行為測試又分為三大組： ? IUT對合法行為的響應 (測試序列以及測試數(shù)據(jù)符合協(xié)議規(guī)范 )； ?IUT對語法上不合法行為的響應 (測試序列符合協(xié)議規(guī)范，但測試數(shù)據(jù)是不合法的 )； ?IUT對不合適事件的響應 (不合適事件為異常事件，對協(xié)議規(guī)范來說，它是不合法的 )。 只要求測試序列歷經(jīng) IUT的所有轉換至少一次就可以 ?窮盡性測試 (exhausive testing)。如果測試結果未發(fā)現(xiàn)不一致性，則本測試與上面的能力測試的結果一道，可用作宣布被測對象與相應協(xié)議一致的根據(jù)，也可作為用戶購買該產(chǎn)品的主要依據(jù)。 第 7章 協(xié)議一致性測試技術（ 1－概述） 29 行為測試 (behaviour test) ?按協(xié)議中動態(tài)一致性要求在實際通信狀態(tài)下進行周密的測試。 第 7章 協(xié)議一致性測試技術（ 1－概述） 28 能力測試 (capability test) ?將被測對象進行有限的靜態(tài)一致性測試，以確定被測對象可觀察到的能力。 第 7章 協(xié)議一致性測試技術（ 1－概述） 27 基本互連測試 ?對協(xié)議中的主要特征進行有限的測試，以確定被測對象是否有足夠的標準化程序?qū)崿F(xiàn)初步互連。實際的限制和經(jīng)濟上的考慮使得人們不能進行窮舉測試。 ? 如果兩個實現(xiàn)都能與某個協(xié)議標準的子集相一致，則這兩個系統(tǒng)之間在些情況下互通要比在其它情況下互通容易實現(xiàn)。 第 7章 協(xié)議一致性測試技術（ 1－概述） 25 一致性測試級別 二、一致性測試級別 第 7章 協(xié)議一致性測試技術（ 1－概述） 26 一致性測試級別 ?為什么要將一致性測試分級？ ? 一致性測試的主要目的是提高不同系統(tǒng)之間能夠互通的概率。 第 7章 協(xié)議一致性測試技術（ 1－概述） 21 第 7章 協(xié)議一致性測試技術（ 1－概述） 22 第 7章 協(xié)議一致性測試技術（ 1－概述） 23 第 7章 協(xié)議一致性測試技術（ 1－概述） 24 一致性系統(tǒng) ?上述一致性要求必須精確地、無二義性地被描述，這當然也要用到我們前面介紹的形式描述技術。它作為抽象測試集的一部分提出。這個說明就是 協(xié)議一致性陳述PICS (Protocol Implementation Conformance Statement)。 第 7章 協(xié)議一致性測試技術（ 1－概述） 19 DCR和 SCR ?由此可見， ?動態(tài)一致性是指協(xié)議規(guī)范中規(guī)定的通信實例中的協(xié)議實現(xiàn)所必須呈現(xiàn)的外部特性的組合或允許的各種選擇性組合， ?而靜態(tài)一致性是指協(xié)議規(guī)范中為使協(xié)議實現(xiàn)能夠互連而定義的功有類別、功能單元的分組以及選擇性功能等等。 第 7章 協(xié)議一致性測試技術（ 1－概述） 18 靜態(tài)一致性要求 SCR ?SCR：為了最大限度地實現(xiàn)系統(tǒng)之間的互連，必須將各種要求加以分類 (例如對所有實現(xiàn)的強制性要求、有條件或任選的要求等 )，形成的約束： ?定義各類協(xié)議子集的內(nèi)容（即協(xié)議實現(xiàn)者欲實現(xiàn)某類協(xié)議所必須包括的內(nèi)容），定義 PDU的最大長度、各種協(xié)議參數(shù)、變量、計時器的取值范圍等等。一個具體的系統(tǒng)若與某一標準動態(tài)地一致，則這個系統(tǒng)的行為就應當是該標準所允許的全部行為集合中的一個成員。在標準中還要規(guī)定出什么事情是禁止做的。即為協(xié)調(diào)實現(xiàn)而可以選擇的要求。即在標準所規(guī)定的具體條件下必須滿足的要求。即在所有情況下都要進行檢查的要求。 ?在具有代表性的通信實例中，被測試的協(xié)議實現(xiàn)的外部特性與標準協(xié)議的要求一致。 ?一致性測試的目的是希望通過這個測試可增加同一協(xié)議的不同實現(xiàn)之間能夠互連的概率 。 第 7章 協(xié)議一致性測試技術（ 1－概述） 13 一致性測試：前提 ?一致性測試是 假定了協(xié)議標準本身是正確的 這一前提下進行的 。 ?該計劃的主要目的是以協(xié)議形式化技術為基礎、應用目前的形式化方法到協(xié)議一致性測試的各個階段，如對一致性概念和測試過程的形式定義、對一致性測試集和測試例的形式描述以及基于形式規(guī)范的測試生成的定義等方面。 ?國內(nèi)的清華大學吳建平教授的實驗室在一致性測試方面處于國內(nèi)領先地位。 第 7章 協(xié)議一致性測試技術（ 1－概述） 10 一致性測試：發(fā)展概況 (Cont.) ?因此，進行獨立于生產(chǎn)者和用戶的第三方測試是常采用的方法。 ?此后，協(xié)議一致性測試技術得到了快速發(fā)展，一些形式化工具和測試系統(tǒng)得到建立，部分 OSI協(xié)議的測試集標準被制定出來。 第 7章 協(xié)議一致性測試技術（ 1－概述） 8 一致性測試：發(fā)展概況 (Cont.) ?國際標準化組織 ISO專門制定了一套國際標準 ISO 9646，主要包括： ? ISO 96461 (CCITT ) 一般概念 ? ISO 96462 抽象測試集 (suite)規(guī)范 ? ISO 96463 樹表組合記法 TTCN(Tree and Tabular Combined Notation) ? ISO 96464 測試實現(xiàn) ? ISO 96465 一致性認證處理對測試實驗室及其客戶的要求 ? ISO 96466 測試實驗室的操作 ?此外， ISO還制訂出了一些針對某一層協(xié)議的一致性測試的國際標準。 ? 這些成果及其術語有許多在后來由 ISO制定的一致性測試標準ISO 9646中被采用。 ? 美國的國家標準和技術局 (NIST)由于成功地研制了 OSI體系結構中的第 4類運輸協(xié)議的測試系統(tǒng)，所以后來也被邀請參加了這一合作項目。這些研究機構在這之前曾分別關注于一致性測試的不同方面的研究。 第 7章 協(xié)議一致性測試技術（ 1－概述） 6 一致性測試：發(fā)展概況 ? 20世紀 80年代初，歐洲的許多研究機構開始在建立標準化的協(xié)議一致性測試活動方面進行合作，其目的是制定一個在 OSI框架