1、第八章 協(xié)議的一致性測(cè)試81 基本概念基本概念計(jì)算機(jī)網(wǎng)絡(luò)或通訊系統(tǒng)的測(cè)試包括四個(gè)方面:(1) 一致性測(cè)試（conformance testing）一致性測(cè)試旨在檢測(cè)所實(shí)現(xiàn)的協(xié)議實(shí)體（或系統(tǒng)）與協(xié)議規(guī)范的符合程度;(2) 性能測(cè)試（Performce testing）性能測(cè)試旨在檢測(cè)協(xié)議實(shí)體或系統(tǒng)的性能指標(biāo)（數(shù)據(jù)傳輸率，聯(lián)接時(shí)間，執(zhí)行速度，并發(fā)度，）;(3) 互操作測(cè)試（interoperateability testing）互操作測(cè)試旨在檢測(cè)同一種協(xié)議的不同實(shí)現(xiàn)版本之間，或同一類協(xié)議的不同實(shí)現(xiàn)版本之間互通的能力和互操作能力;(4) 堅(jiān)固性測(cè)試（robusuness testing）。堅(jiān)固性測(cè)試

2、旨在檢測(cè)協(xié)議實(shí)體或系統(tǒng)在各種惡劣環(huán)境下運(yùn)行的能力（信道被切斷，通訊結(jié)點(diǎn)掉電，注入干擾報(bào)文）。本章只討論一致性測(cè)試問題。第八章 協(xié)議的一致性測(cè)試8.1.1一致性定義一致性定義 在OSI范疇內(nèi)，如果一個(gè)實(shí)際系統(tǒng)在它與別的實(shí)際系統(tǒng)通訊中所表現(xiàn)的行為符合OSI協(xié)議規(guī)范的一致性要求，我們就說它呈現(xiàn)了一致性。 OSI協(xié)議規(guī)范的一致性要求屬于協(xié)議規(guī)范文本的一部分，它包括: 靜態(tài)一致性要求（static conformance requirements）和動(dòng)態(tài)一致性要求（dynamic conformance requirements）兩個(gè)方面。 靜態(tài)一致性靜態(tài)一致性：說明協(xié)議實(shí)現(xiàn)者必須實(shí)現(xiàn)的最小子集的內(nèi)容，

3、定義各類協(xié)議或各個(gè)子集的內(nèi)容即協(xié)議實(shí)現(xiàn)者欲實(shí)現(xiàn)某類協(xié)議所必須包括的內(nèi)容），定義PDU的最大長度，定義各種協(xié)議參數(shù)、變量、定時(shí)時(shí)鐘的取值范圍等等。 動(dòng)態(tài)一致性動(dòng)態(tài)一致性：說明協(xié)議執(zhí)行過程中。協(xié)議在每個(gè)狀態(tài)下所允許的行為是什么。例如，發(fā)出“聯(lián)接請(qǐng)求”報(bào)文的協(xié)議實(shí)體所期待的回答報(bào)文應(yīng)該是“聯(lián)接認(rèn)可”或“聯(lián)接拒絕”或“聯(lián)接釋放”，其它回答報(bào)文是不允許的。第八章 協(xié)議的一致性測(cè)試 ISO頒布的一部分ISO協(xié)議已包括一致性要求文本，這些文本稱為協(xié)議實(shí)現(xiàn)一致性說明PICS（Protocol Implementation Conformance Statements）和協(xié)議實(shí)現(xiàn)測(cè)試的附加信息PIXIT（Pro

4、cocol Implementation eXtra Information for Testing）。這些要求往往使用表格形式（tabulor proformas）來描述，前者稱作PICS proformas，后者稱作為PIXIT proformas。第八章 協(xié)議的一致性測(cè)試812測(cè)試模型協(xié)議一致性測(cè)試的基本模型如圖8.1所示。（1）IUT（Implementation Under Test）是被測(cè)試的協(xié)議實(shí)體系統(tǒng)，（2）UT（Upper Tester）高層測(cè)試軟件或硬件，（3）LT（Lower Tester）是低層測(cè)試軟件或硬件。如果IUT是n層協(xié)議實(shí)體，那么UT屬于（n十1）層，LT屬于

5、n層（LT和IUT為同等層協(xié)議實(shí)體）。UT通過PCO（Point of Control and Observation）和IUT交換（n）ASP（Abstract Service Primitives），LT通過PCO和IUT交換（n-1）ASP。如果IUT是傳輸層協(xié)議實(shí)體，那么（n）就是TSP（Transport Service Primitives），（n-1）ASP就是NSP(Network Service Primitives)，上面的PCO就是TSAP， 第八章 協(xié)議的一致性測(cè)試下面的PCO就是NSAP，圖8.1中，LT和IUT通過(n-1)層服務(wù)交換(n-1)ASP，UT和LT利用

6、(n-1)層提供的另外一條通道交換協(xié)同信息CI(Coordinated Information)。為了測(cè)試能正常進(jìn)行，UT和LT可能要交換一些協(xié)同信息，解決測(cè)試的同步問題和控制問題。測(cè)試的主控者可以是UT，也可以是LT。第八章 協(xié)議的一致性測(cè)試第八章 協(xié)議的一致性測(cè)試下面的例子說明圖8.1模型的基本工作過程，該例子檢測(cè)IUT是否具有正常的聯(lián)接能力（假定UT為測(cè)試的主控者）。例8.1：UT向IUT發(fā)聯(lián)接請(qǐng)求服務(wù)原語CONNECT_retuest；UT告訴LT：已啟動(dòng)聯(lián)接測(cè)試；LT從IUT接收聯(lián)接請(qǐng)求報(bào)文CONNECTreq；如果CONNECTreq合法，LT向IUT發(fā)接受聯(lián)接請(qǐng)求報(bào)文CONNEC

7、Taccept；LT告訴UT：正確收到聯(lián)接請(qǐng)求報(bào)文，已發(fā)出CONNECTaccept報(bào)文；UT從IUT接收聯(lián)接指示服務(wù)原語CONNECT_indication(confirm)，UT分析有關(guān)信息作出IUT是否有正常聯(lián)接能力的判決（verdict）。第八章 協(xié)議的一致性測(cè)試8.1.3 測(cè)試工作流程 協(xié)議一致性測(cè)試工作流程如圖8.2 所示。協(xié)議規(guī)范（protocol specification）、服務(wù)規(guī)范（service specification）以及根據(jù)兩者制定的協(xié)議一致性說明PICS和協(xié)議測(cè)試的附加信息PIXIT都是由標(biāo)準(zhǔn)化組織頒布的。協(xié)議一致性測(cè)試者所進(jìn)行的工作分為四步進(jìn)行。(1) 第一步

8、是根據(jù)協(xié)議規(guī)范、服務(wù)規(guī)范確定測(cè)試目的；(2) 第二步是生成并描述測(cè)試套具（test suite）；(3) 第三步是按測(cè)試套具對(duì)IUT進(jìn)行測(cè)試（這意味著要建立一個(gè)測(cè)試執(zhí)行系統(tǒng)）；(4) 第四步是根據(jù)測(cè)試記錄（test logging）參照PICS和PIXIT對(duì)IUT進(jìn)行評(píng)估（assessment），并給出測(cè)試報(bào)告（test report）。 測(cè)試套具的生成（第二步）又包括幾個(gè)方面的工作：一是測(cè)試序列的生成，二是測(cè)試數(shù)據(jù)的生成，三是將測(cè)試序列和測(cè)試數(shù)據(jù)合起來生成并描述測(cè)試套具 第八章 協(xié)議的一致性測(cè)試第八章 協(xié)議的一致性測(cè)試 IUT的測(cè)試序列（test sequence）根據(jù)它的狀態(tài)轉(zhuǎn)換模型FSM

9、（也可以是CCS模型）產(chǎn)生。對(duì)于給定測(cè)試目的，IUT應(yīng)該執(zhí)行的符合協(xié)議一致性要求的事件序列叫做測(cè)試序列。實(shí)際上，測(cè)試序列是測(cè)試序列是對(duì)對(duì)IUT進(jìn)行結(jié)構(gòu)測(cè)試（進(jìn)行結(jié)構(gòu)測(cè)試（structural testing）的事）的事件系列件系列。因此，我們?cè)谠O(shè)計(jì)測(cè)試序列時(shí)，只要考慮IUT的控制結(jié)構(gòu)就可以，無需考慮測(cè)試序列中每個(gè)事件所攜帶的參數(shù)和數(shù)據(jù)是什么。例如，下面的測(cè)試序列的目的是檢查IUT是否有正常聯(lián)接能力的測(cè)試序列。第八章 協(xié)議的一致性測(cè)試?yán)?.2(測(cè)試序列)：U!CONreq，L?CP，L!CA，U?CONconf這里，U表示UT，L表示LT，！表示發(fā)送，？表示接收，CONreq為聯(lián)接請(qǐng)求服務(wù)原語，

10、CONconf為聯(lián)接認(rèn)可服務(wù)原語，CP為聯(lián)接請(qǐng)求報(bào)文，CA為接受聯(lián)接請(qǐng)求報(bào)文。例8.2和例8.1相似。 測(cè)試數(shù)據(jù)測(cè)試數(shù)據(jù)（test data）的產(chǎn)生包括一系列工作。首先，我們必須將服務(wù)原語和PDU用確定數(shù)據(jù)結(jié)構(gòu)描述，然后根據(jù)測(cè)試目的產(chǎn)生服務(wù)原語和PDU的實(shí)例（instances），這些實(shí)例就是測(cè)試數(shù)據(jù)。最后，我們還必須設(shè)計(jì)和編程，產(chǎn)生PDU的編碼程序（encoder）和解碼程序（decoder），前者將PDU實(shí)例轉(zhuǎn)變成信道上可傳送的報(bào)文，后者將接收的報(bào)文轉(zhuǎn)變成PDU。編碼程序和解碼程序由LT調(diào)用。第八章 協(xié)議的一致性測(cè)試 測(cè)試套具測(cè)試套具是用某種測(cè)試執(zhí)行系統(tǒng)能夠認(rèn)識(shí)的語言描述的. 測(cè)試套具包括

11、兩大部分，一部分是測(cè)試數(shù)據(jù)的描述，另一部分是測(cè)試案例（test cases）的描述。 對(duì)于給定測(cè)試目的，UT和LT擬將執(zhí)行的參數(shù)化測(cè)試事件的集合（測(cè)試事件樹）叫做測(cè)試案例。測(cè)試序列引導(dǎo)出測(cè)試案例，但兩者有較大區(qū)別。對(duì)同一個(gè)測(cè)試序列的事件施加不同的測(cè)試數(shù)據(jù)（即測(cè)試事件攜帶不同參數(shù)）就產(chǎn)生不同測(cè)試案例，因此一個(gè)測(cè)試序列對(duì)應(yīng)多個(gè)測(cè)試案例。測(cè)試案例不同于測(cè)試序列的另一個(gè)地方在于，它還必須考慮“選擇事件”。所謂“選擇事件”是，當(dāng)UT或LT接收不到IUT的正常響應(yīng)事件時(shí)，UT或LT應(yīng)該做什么。例8.3中，事件5和6是UT的選擇事件（otherwise），該事件的具體內(nèi)容由協(xié)議測(cè)試者定義。另外，測(cè)試案例與測(cè)

12、試方法緊密相關(guān)（參見例8.58.8）。例8.3為一個(gè)非形式化的測(cè)試案例，測(cè)試目的和例8.1相同。source表示源地址，destination表示目的地址，reason表示拒絕原因。實(shí)際的測(cè)試事件要攜帶更多的參數(shù)。第八章 協(xié)議的一致性測(cè)試n例8.3 第八章 協(xié)議的一致性測(cè)試8.1.4 測(cè)試級(jí)別測(cè)試級(jí)別IUT的一致性測(cè)試分為四級(jí)：(1) 基本互聯(lián)測(cè)試（basic interconnection test） 基本互聯(lián)測(cè)試旨在檢查IUT是否具備進(jìn)一步測(cè)試的條件，是否有最小的聯(lián)接能力，能否接收和發(fā)送數(shù)據(jù)。(2) 能力測(cè)試（capability test） 能力測(cè)試旨在檢測(cè)IUT是否符合動(dòng)態(tài)一致性要求。

13、(3) 行為測(cè)試（behaviour test） 行為測(cè)試旨在測(cè)試IUT是否符合動(dòng)態(tài)一致性要求，它又分為兩級(jí)：覆蓋性測(cè)試（comprehensive testing）和窮盡性測(cè)試（exhausive testing）。覆蓋性測(cè)試只要求測(cè)試序列歷經(jīng)IUT的所有轉(zhuǎn)換至少一次就可以，而窮盡性測(cè)試要求檢查每個(gè)轉(zhuǎn)換的前后狀態(tài)。(4)一致性分解測(cè)試（conformance resolution test）。 一致性分解測(cè)試要求測(cè)試執(zhí)行系統(tǒng)對(duì)一致性要求逐項(xiàng)地給出yes/no的肯定回答（例如，IUT實(shí)現(xiàn)了第二類協(xié)議嗎等等）。測(cè)試總是由低級(jí)向高級(jí)逐級(jí)進(jìn)行。下面的例子是行為測(cè)試要包括的一部分內(nèi)容。第八章 協(xié)議的一

14、致性測(cè)試 IUT的行為測(cè)試分成B、C、D三大組，每個(gè)大組包括許多小組，每個(gè)小組的測(cè)試目的可能要由多個(gè)測(cè)試序列來實(shí)現(xiàn)。BIUT對(duì)合法行為的響應(yīng) 測(cè)試序列以及測(cè)試數(shù)據(jù)根據(jù)協(xié)議規(guī)范是合法的。 B1聯(lián)接建立階段 B1.1 注重于向IUT發(fā)送什么 B1.1.1 每個(gè)狀態(tài)下改變測(cè)試事件 B1.1.2 改變定時(shí)時(shí)鐘之值 B1.1.3 改變PDU編碼之值 B1.1.4 改變單個(gè)協(xié)議參數(shù)值 B1.1.5 多個(gè)參數(shù)值的組合改變 B1.2 注重于從IUT接收什么 （類同于B1.1） B1.3 注重于與IUT的交互 （類同于B1.1） B2 數(shù)據(jù)傳輸階段 （類同于B1） B3 聯(lián)接釋放階段（類同于B1）第八章 協(xié)議的

15、一致性測(cè)試CIUT對(duì)語法上不合法行為的響應(yīng) 測(cè)試序列根據(jù)協(xié)議規(guī)范是合法的，但測(cè)試數(shù)據(jù)是不合法的。 C1聯(lián)接建立階段 C1.1 注重于向IUT發(fā)送什么 C1.1.1 每個(gè)狀態(tài)下改變測(cè)試事件 C1.1.2 改變PDU編碼之值 C1.1.3 改變單個(gè)協(xié)議參數(shù)值 C1.1.4多個(gè)協(xié)議參數(shù)值的組合改變 C1.2 注重于請(qǐng)求IUT發(fā)送什么 C1.2.1 單個(gè)不合法參數(shù)值 C1.2.2 多個(gè)不合法參數(shù)值的組合 C1.3 注重于與IUT的交互 （類同于C1.1） C2 數(shù)據(jù)傳輸階段 （類同于C1） C3 聯(lián)接釋放階段 （類同于C1）第八章 協(xié)議的一致性測(cè)試DIUT對(duì)不合適事件（inopportune even

16、ts）的響應(yīng) 不合適事件為異常事件，對(duì)協(xié)議規(guī)范來說，它是不合法的。 D1聯(lián)接建立階段 D1.1 注重于向IUT發(fā)送什么 D1.1.1 每個(gè)狀態(tài)下改變測(cè)試事件 D1.1.2 改變定時(shí)時(shí)鐘之值 D1.1.3 改變PDU編碼之值 D1.1.4 改變單個(gè)協(xié)議參數(shù)值 D1.1.5 多個(gè)參數(shù)值的組合改變 D1.2 注重于從IUT接收什么 （類同于D1.1） D1.3 注重于與IUT的交互 （類同于D1.1） D2 數(shù)據(jù)傳輸階段 （類同于D1） D3 聯(lián)接釋放階段 （類同于D1）第八章 協(xié)議的一致性測(cè)試8.1.5 要考慮的問題要考慮的問題 協(xié)議一致性測(cè)試不但在理論上而且在工程上還有許多問題需要進(jìn)一步研究，這

17、包括：u 測(cè)試覆蓋率怎樣度量？各級(jí)測(cè)試包括多少測(cè)試就足夠了？u 怎樣選取最小的測(cè)試序列去檢測(cè)最多的協(xié)議錯(cuò)誤？u 如果協(xié)議規(guī)范本身有錯(cuò)誤，不完整，存在二義性，這將給協(xié)議一致性測(cè)試帶來什么問題，怎樣處理？u 怎樣描述測(cè)試？測(cè)試描述至少有二種途徑：用測(cè)試案例，用一組程序，用參考協(xié)議實(shí)體。哪種方法最好？u 怎樣產(chǎn)生測(cè)試數(shù)據(jù)？u 怎樣產(chǎn)生測(cè)試序列？u UT 和LT 怎樣協(xié)同工作？u 怎樣進(jìn)行多層協(xié)議測(cè)試？u 怎樣評(píng)估測(cè)試結(jié)果？ 本章只討論三個(gè)問題：下節(jié)討論測(cè)試方法，第三節(jié)討論測(cè)試套具的描述語言TTCN , 第四節(jié)討論測(cè)試序列的生成方法。第八章 協(xié)議的一致性測(cè)試8.2 測(cè)試方法測(cè)試方法測(cè)試方法不同，產(chǎn)生和

18、描述測(cè)試套具的方法也不同，測(cè)試執(zhí)行系統(tǒng)的結(jié)構(gòu)也不同。目前，人們已提出多種測(cè)試方法，這些方法的區(qū)別表現(xiàn)在下述幾個(gè)方面：n 本地測(cè)試還是外地測(cè)試？即IUT 和測(cè)試執(zhí)行系統(tǒng)的主體部分（LT）是否在同一個(gè)機(jī)器之中。n 單層協(xié)議測(cè)試還是多層協(xié)議測(cè)試？IUT 包括多層協(xié)議實(shí)體的測(cè)試為多層協(xié)議測(cè)試n 有無UT？如果有UT , UT 的作用是什么？n 測(cè)試的協(xié)同工作怎樣實(shí)現(xiàn)？n 是否在線（on -line ）測(cè)試？IUT 處于正常運(yùn)行的測(cè)試為在線測(cè)試。n 是否有實(shí)際的低層通訊支持？n LT 和IUT的接口PCO 在何處？第八章 協(xié)議的一致性測(cè)試1 本地方法（本地方法（local Method）圖8.3 為本地

19、方法示意圖。在這種方法中，UT , LT , IUT 同處于一臺(tái)機(jī)器中，測(cè)試不需要低層通訊系統(tǒng)的支持。IUT 和LT 的接口設(shè)在IUT 的底部，UT 和IUT 的接口設(shè)在IUT的項(xiàng)部（即為IUT的服務(wù)訪問點(diǎn)）。由于UT和LT可以擬合在一個(gè)程序中，UT 和LT 的測(cè)試協(xié)同過程TCP (Test Coordinate Procedures)容易實(shí)現(xiàn)。測(cè)試案例用UT 執(zhí)行的服務(wù)原語和LT 執(zhí)行的服務(wù)原語來描述，此時(shí)LT 扮演的角色是低層服務(wù)提供者。第八章 協(xié)議的一致性測(cè)試n例8 . 4 : Local Method :n1. U!CONreqn2. L?(n-1)DATAreqCPn3. L！(n-

20、1)DATAindCAn4. U?CONconfn5. U?otherwisen6. L?otherwise第八章 協(xié)議的一致性測(cè)試2.分布方法（Distributed Method） 圖8.4 為分布方法示意圖。在這種方法中，IUT 和UT處于同一個(gè)機(jī)器中。LT 分布在其它機(jī)器中。LT 和IUT借助于（n-1）層服務(wù)交換報(bào)文（可以實(shí)行在線測(cè)試），它們之間的接口PCO 從IUT 轉(zhuǎn)移到LT中，LT 扮演的角色是（n-1）層服務(wù)的使用者。UT 和LT 的測(cè)試協(xié)同過程TCP 隱含在測(cè)試案例中，測(cè)試同步問題由UT 和LT 的操作者來實(shí)現(xiàn)適用于本地方法的測(cè)試案例必須改寫才能用于分布測(cè)試，請(qǐng)注意例8.5

21、 和例8.4 的差別（第二行和第三行）.（n-1）DATAreq 表示（n-1）層服務(wù)原語，數(shù)據(jù)發(fā)送請(qǐng)求第八章 協(xié)議的一致性測(cè)試?yán)?.5 : Distributed Method : 1. U!CONreq2. L?(n-1)DATAindCP3. L!(n-1)DATAreqCA4. U?CONconf5. U?otherwise6. L?otherwise第八章 協(xié)議的一致性測(cè)試3 協(xié)同方法（協(xié)同方法（Coordinated Method）圖8.5 為協(xié)同方法示意圖協(xié)同方法和分布方法的根本區(qū)別在于，協(xié)同方法引入測(cè)試管理協(xié)議TMP(Test Management Protocol), UT

22、和LT 通過交換TMPDU 實(shí)行測(cè)試協(xié)同過程TM_PDU 的交換有兩個(gè)途徑，一是TM_PDU 作為（n )ASP 的用戶數(shù)據(jù)傳送給IUT,IUT 將之傳送給LT ( in-hand 方式）；二是TM_PDU 直接利用(n-1)層服務(wù)傳送(out_band 方式）圖8.5 為in_band 方式第八章 協(xié)議的一致性測(cè)試 分布方法的測(cè)試案例不能用于協(xié)同方法，請(qǐng)注意例8 . 6 和例8 . 5 的差別：例8 . 6 的第一行表示：LT 向（n-1)層協(xié)議發(fā)DATAreq請(qǐng)求,數(shù)據(jù)是TM_PDU , TM_PDU 的內(nèi)容是：UT向IUT發(fā)CONreq請(qǐng)求第八章 協(xié)議的一致性測(cè)試?yán)?.6 Coordin

23、ated Method :1. L!(n-1)DATAreqTM_PDUU!CONreq2. L?(n-1)DATAindCP3. L!(n-1)DATAreqCA4. L!(n-1)DATAreqTM_PDUU?CONcnf，othersise5. L?otherwise第八章 協(xié)議的一致性測(cè)試4. 遠(yuǎn)程方法（Remote Method）圖8.6 為遠(yuǎn)程方法示意圖。該方法的最大特點(diǎn)是沒有UT ，因此也不存在UT 和LT 的協(xié)同問題。測(cè)試案例完全用(n-1)ASP 描述。遠(yuǎn)程方法適用于被動(dòng)式協(xié)議實(shí)體或服務(wù)型協(xié)議實(shí)體的測(cè)試?yán)?.7 是檢驗(yàn)lUT是否能正常接受聯(lián)接請(qǐng)求的測(cè)試案例，IUT!CA為隱含

24、事件例8.7 Remote Method: 1. L!(n-1)DATAreqCP2. 3. L?(n-1)DATAindCA4. L?otherwise第八章 協(xié)議的一致性測(cè)試5.渡船方法（渡船方法（Ferry Method) 圖8.7 和圖8.8 為渡船方法示意圖。.它與協(xié)同方法的不同之處是，渡船方法將UT從被測(cè)系統(tǒng)中移到LT 所在系統(tǒng)UT和LT 可擬合在一個(gè)程序中，因此有本地方法的優(yōu)點(diǎn)。然而，在被測(cè)系統(tǒng)中取代UT 的，還必須有一個(gè)渡船軟件，UT發(fā)給IUT 的(n) ASP 和UT從IUT 獲取的(n) ASP 通過渡船軟件進(jìn)行。例如，UT 執(zhí)行測(cè)試事件的U!CONreq的傳遞過程是：UT

25、 通過LT ，再通過IUT傳遞給Ferry (in_band 方式），或UT通過(n-1)層服務(wù)直接傳遞給Ferry(out_band方式）圖8.7 為in_band 方式，圖8.8 為out_band方式。第八章 協(xié)議的一致性測(cè)試 渡船方法由我國學(xué)者曾華桑提出，受到國際學(xué)術(shù)界很大的重視41該方法的最大優(yōu)點(diǎn)是，由于UT和LT處于同一個(gè)機(jī)器中，測(cè)試協(xié)同過程像本地方法一樣容易實(shí)現(xiàn)，被測(cè)系統(tǒng)中只要增加簡(jiǎn)單的渡船軟件就可以了。前面四種方法都已納入ISO/DIS 9646協(xié)議測(cè)試標(biāo)準(zhǔn)中，但渡船方法還未納入該標(biāo)中，原因是，有的學(xué)者認(rèn)為渡船方法只是協(xié)同方法的一種變種，是協(xié)同方法在實(shí)現(xiàn)技術(shù)上一種改進(jìn)，它們之間

26、沒有根本區(qū)別。第八章 協(xié)議的一致性測(cè)試第八章 協(xié)議的一致性測(cè)試6.多層協(xié)議的測(cè)試方法 IUT包含多層協(xié)議實(shí)體的測(cè)試稱為多層協(xié)議的測(cè)試。多層協(xié)議測(cè)試分兩種情況，一是對(duì)IUT的所有各層協(xié)議進(jìn)行測(cè)試，二是對(duì)IUT 某一層協(xié)議進(jìn)行測(cè)試，后者稱為嵌入?yún)f(xié)議測(cè)試（embedded Testing)。無論是那種情況,測(cè)試總是由低層到高層逐層進(jìn)行，只有低層協(xié)議已測(cè)試完之后（或者假定低層協(xié)議已符合標(biāo)準(zhǔn)之后），高一層協(xié)議的測(cè)試才能進(jìn)行假定圖8.9的IUT 包括i，j , k 三層協(xié)議實(shí)體，那么檢查整個(gè)IUT 是否有正常聯(lián)接能力的測(cè)試案例如例8.8 所示 （案例中省去了（i-1）ASP ，直接引用(i) PDU ）。

27、 j 層的聯(lián)接請(qǐng)求報(bào)文cp(j)借助于i 層的數(shù)據(jù)報(bào)文DATA 傳送，K 層的聯(lián)接請(qǐng)求報(bào)文cp(k)借助j 層的數(shù)據(jù)報(bào)文DATA傳送，這樣，只有當(dāng)i 層聯(lián)接已成功情況下才能進(jìn)行j 層聯(lián)接，只有當(dāng)j 層聯(lián)接已成功情況下才能進(jìn)行k 層聯(lián)接多層協(xié)議的測(cè)試案例比單層協(xié)議案例復(fù)雜得多。前面五種測(cè)試方法都可以應(yīng)用于多層協(xié)議的測(cè)試。第八章 協(xié)議的一致性測(cè)試LTPCOLTPCOIUT(i-1)Service provider(i-1)ASP(k)PDU(k)ASPTCP圖 8.9 多 層 協(xié) 議 測(cè) 試(j)PDU(i)PDU第八章 協(xié)議的一致性測(cè)試?yán)?8.8 Multi-layer Test Case:1.

28、 L!CP(i) 2. L?CA(i) *layer i ok 3. L!DATACP(j) 4. L?DATACP(j) *layer j ok 5. L!DATADATACP(k) 6. L?DATADATACA(k) *layer k ok 7. L?otherwise *layer k err 8. L?otherwise *layer j err 9. L?otherwise *layer I err 第八章 協(xié)議的一致性測(cè)試7. 中繼系統(tǒng)的測(cè)試方法中繼系統(tǒng)的測(cè)試方法上述討論的方法只適用于端系統(tǒng)（end system）中IUT的測(cè)試，對(duì)于中繼系統(tǒng)（relay system）的IUT的

29、測(cè)試可采用圖8.10和圖8.11所示的方法（RS表示中繼系統(tǒng)）。圖8。10為閉環(huán)測(cè)試方法（Loop_back Test Method）,圖8.11為橫斷測(cè)試方法（Transverse Test method）和遠(yuǎn)程測(cè)試一樣，中斷系統(tǒng)的測(cè)試也不需要UT。第八章 協(xié)議的一致性測(cè)試LTPC0 PCORSSubnet-1Subnet-2LT-1RSLT-2Subnet-1Subnet-2圖8.10 閉環(huán)測(cè)試法圖8.11 橫斷測(cè)試法第八章 協(xié)議的一致性測(cè)試8.3 測(cè)試描述語言測(cè)試描述語言 TTCN TTCN(Tree and tabular combind Notation)是ISO為描述OSI協(xié)議一致

30、性測(cè)試而頒布的一種語言。TTCN有兩種形式：圖形形式（TTCN.GR）和機(jī)器可以處理的形式（TTCN.MP）。TTCN.GR是用表格形式（tabular Proformas）定義的，TTCN.MP的語法是用巴科斯范式BNF描述的。 (1) TTCN.GR直觀易懂，適合于人工閱讀，適合于屏幕編輯。表格欄中的詞為TTCN中的關(guān)鍵詞，它描述表格欄目?jī)?nèi)包含信息的類型。 (2) TTCN.MP有嚴(yán)格的語法，適合于機(jī)器處理。TTCN.GR中的關(guān)鍵詞在TTCN.MP中全部冠以$符號(hào)，這些關(guān)鍵詞分為三類：(1) 第一類關(guān)鍵詞定義一個(gè)完整的表格的起點(diǎn)和終點(diǎn)，形式為 $BEGIN_KEYWORD $END_KEY

31、WORD(2)第二類關(guān)鍵詞定義表個(gè)中一行的起點(diǎn)和終點(diǎn)，形式為 $BEGKEYWORD $END_KEYWORD(3)第三類關(guān)鍵詞定義一個(gè)欄目或欄目中的一個(gè)字段，形式為 $KEYWORD 第八章 協(xié)議的一致性測(cè)試 例 8.9為 Test case的表格形式和BNF描述。在表格形式中，關(guān)鍵詞 “Test Case Dynamic behavior”說明表格類型為Test Case，在BNF描述中，Test Case 是用$Begin_Test Case $End_Test Case 來表示的/在表格形式中，“refernce”，“Identifeier”等都表示一個(gè)字段， “Behaviour D

32、escription ”, “Label”等表示一個(gè)欄目，在BNF中，他們都屬于第三類關(guān)鍵詞。BNF描述增加表格行的定義，$Behaviour $End_Behaiour對(duì)應(yīng)于表格中的一行，它由多個(gè)相關(guān)欄目組成。 例8.10為例8.9的一個(gè)實(shí)例（instance），分別用TTCN.GR和TTCN.MP描述一個(gè)具體的測(cè)試案例。 例 8.9：Test Case Proforma:第八章 協(xié)議的一致性測(cè)試Test Case Dynamic BehaviourReferenceIdentifierPurposeDefaultBehaviourDescriptionLabelContraintRefer

33、enceVerdictCommentsTest Case description in BNF:TestCase := $Begin_TestCase TestCaseRef TestCaseId Test Purpose DefaultRef Behaviourdescription Extcomments $End_TestCase .BehaviourDescription := $BehaviourDescription BehaviourLine+ $End_BehaviourDescriptionBehaviourLine := $BehaviourLine Line LabelI

34、d Cref VerdictId Comment $End_BehaviourLineLine:= $line statementline第八章 協(xié)議的一致性測(cè)試?yán)?.10：Test Case Instance in TTCN.GR form:Test Case Dynamic BehaviorReference:TTCN_EXAMPLE/TREE_EXAMPLE_1Identifier:TREE_EX_1Purpose: to illustrate the use of treeDefault :Behaviour DescriptionLabelContrait RefernceVerdi

35、ctcommentsL!CONNECTreq L?CONNECTconf L!DATAreq L?DATAind X5LOOP L!DISCreq L?DISCind L?DISCindLOOPCR1CC1DTR1DTI1DSR1DSCI1DSCI1passinconcfailRequest.confimSend dataRev.daarepeat第八章 協(xié)議的一致性測(cè)試nTest Case Instance in TTCN.MP for.$Begin_TestCase $TestCaseRef TTCN_EXAMPLE/TREE_EXAMPLE_1 $TestCaseId TREE_EX_1

36、 $TestPurpose to illustrate the use of tree $BehaviourDescription $BehaviourLine $Line1 L!CONNECTreq $cref CR1 $comment context request $End_BehaviourLine $BehaviourLine $Line2L?CONNECTconf $Cerf CC1 $comment connect confirm $End_BehaviorLine $BehaviourLine $Line3 L!DATAreq $Label loop $Cref DTR1$co

37、mment send data$End BehaviourLine $BehavioutLine$Line5X5 loop$comment repeat sending data until x=5$End_BehaviourLine$BehaviourLine$Line5 L!DISCreq$Cref DSCR1$Verdicts pass$comment disconnect request$End_Behaviourline$BehaviourLine$Line4 l?DISCind$Cref DSCI1$Verdict inconc$End_BehaviourLine$Behaviou

38、rLine$Line3 L?dISCind$Cref DSCI1$Verdict fail$End_BehaviourLine$End_BehaviourDescription$End_TestCase第八章 協(xié)議的一致性測(cè)試 一個(gè)測(cè)試套具的TTCN的描述包含四個(gè)部分：套具概況（suite overview）、說明部分（declaration part）限制部分（contraint part）和動(dòng)態(tài)部分（dynamic part）.下面分別討論各個(gè)部分。1. 測(cè)試套具概況測(cè)試套具概況 測(cè)試套具概況提供足夠信息以便使測(cè)試套據(jù)的使用者更好的測(cè)試套具，方便地使用測(cè)試套具。這些信息包括：n測(cè)試套具名稱

39、；n測(cè)試套具所參照的協(xié)議標(biāo)準(zhǔn)；n測(cè)試套具所參照的PICS和PIXIT;n說明PICS和PIXIT的各條款映射到測(cè)試套具的哪些部分；n說明測(cè)試套具適用于哪些測(cè)試方法；n說明測(cè)試案例（測(cè)試序列）的產(chǎn)生方法；n列出 test case 、test step以及各變量、參數(shù)等符號(hào)的索引。第八章 協(xié)議的一致性測(cè)試2 說明部分說明部分限制部分和動(dòng)態(tài)部分要訪問的所有符號(hào)都必須在說明部分給出定義和描述。這些符號(hào)包括：n用戶定義的類型和操作；n測(cè)試套具的參數(shù)、變量和常量；nPCO的定義；n定時(shí)時(shí)鐘的說明；n縮寫符號(hào)定義、ASP各參數(shù)定義、ASP參數(shù)組合說明；nPDU類型定義、PDU字段（域）定義、PDU字段組合

40、說明。 例8.11為ISO傳輸層協(xié)議測(cè)試套具中PCO定義，它的PCO實(shí)際是TSAP和NSAP,TSAP是UT和IUT的接口，NSAP是LT和IUT的接口。例8.12為ISO傳輸層協(xié)議定義中的CONreq服務(wù)原語的定義。CONreq的名稱、類型和三個(gè)參數(shù)的名稱和類型都在定義中說明，CONreq的類型為TSAP(TSAP已在例8.11定義)，而CONreq的三個(gè)參數(shù)的類型CDA.CGA,QOS在說明部分給出（本章未給出定義） 第八章 協(xié)議的一致性測(cè)試?yán)?.11：PCO type in TTCN.GR form:PCO Type DescriptionNameTypeRoleCommentsLNSA

41、PLTNSAP as LTUTSAPUTTSAP as UTPCO type in TTCN.GR form:$Begin_PCO $PCOdcl$PCOid $PCOrole LT$End_PCOdcl $PCOdcl $PCOid U $PCOtypeid TSAP $PCOrope UT $End_PCOdcl%End_PCO第八章 協(xié)議的一致性測(cè)試?yán)?8.12：ASP type in TTCN form:ASP Type in TTCN formASP Name:CONreqPCO Type:TSAPcommentsService Parameter InformationParame

42、ter NameCda(Called Address)Cga(Calling Adress)QoS(Quality of Service)TypeCDACGAQOSCommentsAddress of LTAdderss of UTClass 0 is usedASP type in TTCN.MP form:$Begin_ASPdcl $ASPid CONreq $PCOtypeid TSAP $SPI T_CONNECT request $ASP_PARdcl $ASP_PARtype CDA $comment Address of LT $End_ASP_PARdcl $ASP_PARd

43、cl $ASP_PARid Cga(Calling Address) $ASP_PARtype CGA $comment Address of UT $End_ASP_PARdcl $ASP_PARdcl $ASP_PARid QoS(Service of QuaLity) $ASP_parType QOS $comment Class 0 is used $End_ASP_PARdcl $End_ASPdcl第八章 協(xié)議的一致性測(cè)試3.限制部分限制部分 所謂限制是指對(duì)ASP的參數(shù)和PDU字段的值進(jìn)行的限制，測(cè)試數(shù)據(jù)通過限制定義來實(shí)現(xiàn)。對(duì)發(fā)送和接受來說，限制的意義不同，當(dāng)UT 或IUT發(fā)送AS

44、P或PDU時(shí)，“限制”的含義是：ASP參數(shù)值和PDU字段等于限制值；當(dāng)UT或LT從IUT接收ASP或PDU時(shí)，“限制”的含義是：所接收的ASP參數(shù)或PDU字段值必須符合限制值。 限制用兩種方法表示：第一種方法是利用說明部分定義的參數(shù)和常數(shù)，第二種方法是說明部分定義的變量作為參數(shù)傳遞給限制定義。除此之外，限制定義還使用三個(gè)特殊符號(hào)，以說明特殊限制條件：“ 表示省略ASP參數(shù)或PDU字段；“？” 表示接收時(shí)，該參數(shù)或字段可以為任意值，但類型必須相同；“*” 表示“”和“？”中任意一種情況。第八章 協(xié)議的一致性測(cè)試?yán)?.13為ISO傳輸層協(xié)議的聯(lián)接請(qǐng)求報(bào)文的一個(gè)限制（它對(duì)應(yīng)于一個(gè)測(cè)試數(shù)據(jù)），PDU的

45、字段域的限制直接用數(shù)值表示。例8.14為同一個(gè)PDU的另外一個(gè)限制，字段Source和Destination用 說明部分定義的常數(shù)TS_PARI和TS_PAR2表示，而字段T_class通過參數(shù)class表示，任意變量之值可以通過class參數(shù)作為字段T_class限制值。第八章 協(xié)議的一致性測(cè)試?yán)?.13：PDU Comments in TTCN.GR form”PDU Contraint DeclarationPDU Name:T CONNCT_Contraint Name:TCON_1Field NameValue Source000BDestination T_ClassUser da

46、ta?0?第八章 協(xié)議的一致性測(cè)試?yán)?.14：PDU Contrants in TTCN.GR form PDU Contrant DeclarationPDU Name: T_CONNECT1Contraint Name;TCON_1(CLASS:INTEGER)Field NameValueSource DestinationT_ClassUser dataTS_PAR1TS_PAR2Class?第八章 協(xié)議的一致性測(cè)試4.動(dòng)態(tài)部分動(dòng)態(tài)部分動(dòng)態(tài)部分是測(cè)試套具的主體部分，它由多個(gè)測(cè)試案例，測(cè)試步（test steps）和缺省步（default steps）組成。測(cè)試案例，測(cè)試步和缺省步的表格

47、形式和BNF描述是基本相同的，不同的是表格關(guān)鍵詞不同。例8.9為Test case 的表格形式，個(gè)個(gè)關(guān)鍵詞的含義如下：Test case 表格關(guān)鍵詞；Reference 測(cè)試案例名稱，第三類關(guān)鍵詞；Identifier 測(cè)試案例標(biāo)識(shí)，第三類關(guān)鍵詞。測(cè)試套具的其他部分在引用測(cè)試案例時(shí)可用Refernce也可以用Identiher;Purpose: 說明測(cè)試案例的目的，第三類關(guān)鍵詞；Defauit 指出本案例所引用的省卻步的名稱或標(biāo)識(shí)，第三類關(guān)鍵詞；Behaviour Description: 測(cè)試事件的米描述，第二類關(guān)鍵詞；Label: 測(cè)試事件的標(biāo)號(hào)，用于GO TO 語句；COontraint

48、s Reperence:指明發(fā)送或接收的ASP或PDU的限制的名稱，第三類關(guān)鍵詞；Verdict: 測(cè)試結(jié)果的裁決（pass,fail,inconc）,第三類關(guān)鍵詞。Inconc表示未包括（即該事件不在協(xié)議規(guī)范所包括范圍在之中）；Comment: 注釋。第三類關(guān)鍵詞。第八章 協(xié)議的一致性測(cè)試?yán)?.10為例8.9的一個(gè)實(shí)例，該案例旨在檢查IUT是否有基本的聯(lián)接能力和數(shù)據(jù)接收能力。標(biāo)號(hào)LOOP為GO TO()語句引用，第5行：x5LOOP表示，當(dāng)變量X之值小于5時(shí)，測(cè)試轉(zhuǎn)移到LOOP行。 一個(gè)測(cè)試案例可能很長，為了精簡(jiǎn)測(cè)試案例，我們可以重復(fù)出現(xiàn)的一組測(cè)試事件抽取出來定義為測(cè)試步或省缺步、并將它們放

49、人測(cè)試步庫(test step library)和省峽庫(defaultLibrary）。例8.15為測(cè)試步應(yīng)用例子，例8.16為省缺步應(yīng)用例子。“+”表示attach語句。省缺步和測(cè)試步的引用有兩點(diǎn)重要差別：第一，省缺步的應(yīng)用不使用+語句；第二，省缺步相當(dāng)在原測(cè)試案例的每一個(gè)測(cè)試事件上附加一個(gè)選擇事件。第八章 協(xié)議的一致性測(cè)試?yán)?.15：Test steps第八章 協(xié)議的一致性測(cè)試?yán)?.16：Default steps第八章 協(xié)議的一致性測(cè)試8.4 測(cè)試序列生成方法測(cè)試序列生成方法 測(cè)試序列是一集根據(jù)協(xié)議規(guī)范所產(chǎn)生的輸入、輸出事件序測(cè)試序列是一集根據(jù)協(xié)議規(guī)范所產(chǎn)生的輸入、輸出事件序列，列，協(xié)

50、議一致性測(cè)試時(shí)，測(cè)試執(zhí)行系統(tǒng)向IUT施加輸人事件序列，接收校驗(yàn)輸出事件序列。檢查狀態(tài)轉(zhuǎn)換，根據(jù)輸出事件和狀態(tài)的轉(zhuǎn)移，判定IUT的行為是否符合協(xié)議規(guī)范的描述。測(cè)試序列說明IUT所應(yīng)該表現(xiàn)的邏輯行為，因此它可以從協(xié)議模型中推導(dǎo)出來（FSM模型，CCS模型等）。目前，大部分協(xié)議測(cè)試序列的生成算法基于FSM模型。 本章所使用的FSM模型如圖8.12和圖8.13所示。圖8.13的a,b,c等孤表示一次轉(zhuǎn)換a/b(a表示輸入事件，b表示輸出事件)，是圖8.12的孤的簡(jiǎn)寫形式。這里，我們假定IUT（即它的FSM模型)有如下四個(gè)基本特性：（1）IUT的狀態(tài)數(shù)，所能接收的輸入事件數(shù)，所產(chǎn)生的輸出事件數(shù)都是有限的

51、，確定的。這個(gè)特征保證本章所描述的算法都是收斂的。第八章 協(xié)議的一致性測(cè)試（2）IUT有完整性，即它在每個(gè)狀態(tài)下都能接收所有協(xié)議規(guī)范描述的輸入事件。一般情況下。IUT在某個(gè)狀態(tài)下只對(duì)一部分輸入事件產(chǎn)生響應(yīng)（或產(chǎn)生輸出事件，或改變狀態(tài)，或產(chǎn)生輸出事件的同時(shí)改變狀態(tài))。這些輸入事件稱作核心事件（core event)，其它輸入事件稱作非核心事件。本章所有FSM圖只畫出核心事件所引起的轉(zhuǎn)換，所描述的算法只關(guān)心核心事件。非核心事件的測(cè)試留待測(cè)試案例生成時(shí)擴(kuò)充(8.1節(jié)討論行為測(cè)試時(shí)曾提到IUT對(duì)不合法行為的響應(yīng)問題，非核心事件是不合法事件的一部分)。（3）對(duì)于每個(gè)輸入事件，如果IUT產(chǎn)生輸出事件，那么

52、該輸出事件在給定有限時(shí)間內(nèi)產(chǎn)生。根據(jù)這個(gè)特性，IUT的超時(shí)事件是可判定的，它是否產(chǎn)生輸出事件也是可判定的。（4）IUT的每個(gè)狀態(tài)是可達(dá)的，它的FSM圖是連通圖，這是本章所有算法能夠執(zhí)行的基本前題。第八章 協(xié)議的一致性測(cè)試8.4.1 測(cè)試序列生成的基本算法測(cè)試序列生成的基本算法假定IUT能接收并且執(zhí)行三種特殊的輸入事件：（1）復(fù)位命令(RESET)IUT接收RESET命令之后，無論它處于何種狀態(tài)，都復(fù)位到初始狀態(tài)，不產(chǎn)生輸出事件。（2）置位命令(SET)IUT接收SET(i)命令之后將其狀態(tài)置成狀態(tài)i，不產(chǎn)生輸出事件。（3）取狀態(tài)命令(STATUS)IUT接收STATUS命令之后產(chǎn)生輸出事件，報(bào)

53、告它所處狀態(tài)，但不改變狀態(tài)。第八章 協(xié)議的一致性測(cè)試算法8.1：exhausive test sequence對(duì)狀態(tài)i Q執(zhí)行1.利用reset命令將IUT置成初始狀態(tài)。2.利用SET(i)命令將IUT置成狀態(tài)i。3.向IUT施加輸入事件j(j M (i), M (i)表示狀態(tài)i所有核心事件的集合)，接收并校對(duì)IUT的輸出事件是否與協(xié)議規(guī)范所描述的匹配。4.利用STATUS命令檢查IUT是否轉(zhuǎn)換到協(xié)議規(guī)范所描述的狀態(tài)。5.重復(fù)14，直到狀態(tài)i的所有核心輸入事件測(cè)試完畢。對(duì)于圖8.12所示的IUT（狀態(tài)1為初始狀態(tài)，a/1表示輸入為a，輸出為1的轉(zhuǎn)換），按照算法8.1產(chǎn)生的測(cè)試序列是：RESET

54、，SET(1),a/1，STATUS；RESET，SET(1),b/1，STATUS；RESET，SET(2),a/0，STATUS；RESET，SET(2),b/1，STATUS；RESET，SET(3),a/0，STATUS；RESET，SET(3),b/1，STATUS。第八章 協(xié)議的一致性測(cè)試實(shí)際上，上述算法中的RESET和SET命令可以省去，如果我們能找到一條轉(zhuǎn)換序列，使測(cè)試能遍歷每次轉(zhuǎn)換至少一次，那么測(cè)試效果就會(huì)和算法8.l相同。第八章 協(xié)議的一致性測(cè)試算法算法8.2：transition tour without SET設(shè)M(i)為狀態(tài)i的核心事件集合，變量i為IUT當(dāng)前狀態(tài)。1

55、.利用RESET命令將IUT置成初始狀態(tài)，i=初始狀態(tài)。2.向IUT施加任意未被測(cè)試事件j(j M (i)，接收并校對(duì)輸出事件是否與協(xié)議規(guī)范所描述的輸出事件相同，標(biāo)記j已被測(cè)試。3.利用STATUS命令檢查IUT是否轉(zhuǎn)換到指定狀態(tài)k, i=k。4.重復(fù)23，直至所有轉(zhuǎn)換都被測(cè)試一次。對(duì)于圖8.12所示IUT，算法8.2產(chǎn)生的測(cè)試序列可以是：RESET； a/1，STATUS；b/1，STATUS；b/1，STATUS；b/1，STATUS；a/0，STATUS；a/0，STATUS。算法8.2僅僅顯示縮短測(cè)試序列的一種途徑，它的許多地方需要改進(jìn)。第八章 協(xié)議的一致性測(cè)試n8.4.2測(cè)試序列生成

56、的修正算法測(cè)試序列生成的修正算法n算法8.1和8.2要求IUT接收?qǐng)?zhí)行三個(gè)特殊命令：SET，RESET，STATUS，這種給IUT提出的特殊要求使得這兩種算法變得不實(shí)用。下面我們討論能否取消這些命令，如果不能取消，那么用什么代替這些命令。n1.RESET命令n 沒有RESET命令，算法8.1無法執(zhí)行，但是算法8.2可執(zhí)行。RESET命令可以用HOME序列代替，HOME(i)序列是一集輸出、輸出事件序列，它將IUT狀態(tài)的i變成初始狀態(tài)。很顯然，測(cè)試進(jìn)行之前，我們必須找到并先測(cè)試每個(gè)狀態(tài)的HOME序列，這又提出一個(gè)新問題。實(shí)際上，絕大部分IUT有RESET功能和CLEAR功能，因此下面的算法都假定

57、IUT可執(zhí)行RESET命令。第八章 協(xié)議的一致性測(cè)試n2. SET命令n沒有SFT命令，算法8. l不能執(zhí)行，但算法8.2可執(zhí)行。SET命令可以用路徑序列(Path Sequence替代，PS(i)為一集輸人、輸出事件序列，它將IUT的狀態(tài)從初始狀態(tài)變成i。我們無需在測(cè)試之前找出并測(cè)試IUT的所有PS(這意味著整個(gè)IUT已被此時(shí))，而是測(cè)試進(jìn)行過程中利用已測(cè)試的轉(zhuǎn)換逐步地找到各個(gè)狀態(tài)的PS。第八章 協(xié)議的一致性測(cè)試n3. STATUS命令n 沒STATUS命令，算法8.1和8.2都無法執(zhí)行(如果沒有這個(gè)命令，窮盡性測(cè)試退變?yōu)閺?fù)蓋性行為測(cè)試。請(qǐng)參見8.l節(jié)的測(cè)試級(jí)別的討論)。STATUS命令可以

58、用特征序列(Characterizing Sequence)替代，CS(i)為一集從狀態(tài)i開始的輸人，輸出事件序列，CS(i)的行為唯一地標(biāo)識(shí)狀態(tài)i（就是說，各個(gè)狀態(tài)的CS的行為是不相同的)。測(cè)試之前，我們必須找出所有狀態(tài)的CS，但不必預(yù)先測(cè)試它。例如，我們要測(cè)試狀態(tài)i到j(luò)的轉(zhuǎn)換t，測(cè)試序列為SET(i)，t，CS(j)。如果測(cè)試不成功，錯(cuò)誤可能是t，也可能是CS(j)，無論是哪個(gè)錯(cuò)誤，都可認(rèn)為是t的錯(cuò)誤.n 下面利用PS和CS修正算法8.1和8.2。第八章 協(xié)議的一致性測(cè)試n算法算法8.3：exhausive test sequence with PS and CSn1.利用RESET命令將IUT置成初始狀態(tài)。n2.向IUT施加PS(i)將IUT置成狀態(tài)i。n3.向IUT施加輸人事件j(j M (i)，M (i)為狀態(tài)i的