【正文】 言可作為TTCN測(cè)試集在不同TTCN工具之間的標(biāo)準(zhǔn)轉(zhuǎn)換形式，同時(shí)也是TTCN的其他表示形式的語(yǔ)義基礎(chǔ)。其他表示形式包括：圖形式等，也可以是TTCN3圖24 TTCN3核心語(yǔ)言以及它的多種表示形式使用者自己定義的形式。TTCN3在語(yǔ)法上和語(yǔ)義上與通用高級(jí)編程語(yǔ)言很類似，它較以前的TTCN在形式上有較大的改變，在內(nèi)容上結(jié)束了以前版本由于多次擴(kuò)充而產(chǎn)生的概念混亂問(wèn)題，統(tǒng)一了概念和定義，簡(jiǎn)化了表示。其動(dòng)態(tài)測(cè)試配置能力更是統(tǒng)一了以往的多種測(cè)試體系結(jié)構(gòu)，使描述能力得以大大加強(qiáng)、應(yīng)用面被大大拓寬。盡管TTCN是源于一致性測(cè)試提出的測(cè)試控制描述語(yǔ)言，但它并不局限于一致性測(cè)試，可用于互操作性測(cè)試、健壯性測(cè)試、系統(tǒng)和集成測(cè)試等各種領(lǐng)域，典型的應(yīng)用是協(xié)議測(cè)試（包括移動(dòng)和因特網(wǎng)協(xié)議）、服務(wù)測(cè)試、模塊測(cè)試、API測(cè)試等。本文反映的筆者有關(guān)測(cè)試控制數(shù)據(jù)的描述工具就采用的TTCN3。有關(guān)SNMPv2測(cè)試集的規(guī)劃和測(cè)試是控制數(shù)據(jù)的研究與描述工作，將在本論文的第4章中分別進(jìn)行。 SNMPv2多端口并發(fā)測(cè)試SNMP是交換與網(wǎng)絡(luò)管理相關(guān)信息的協(xié)議，網(wǎng)絡(luò)管理實(shí)體一方面通過(guò)SNMP命令能夠獲取MIB中的信息（如：反映路由器常用協(xié)議實(shí)現(xiàn)的運(yùn)作經(jīng)歷的ip組、tcp組、icmp組和egp組以及反映局域網(wǎng)流量的RMON MIB參數(shù)），達(dá)到監(jiān)視網(wǎng)絡(luò)系統(tǒng)的資源的目的。另一方面，也能夠通過(guò)SNMP命令修改相應(yīng)的MIB中的某些值來(lái)達(dá)到控制網(wǎng)絡(luò)活動(dòng)的目的（如ipForwarding對(duì)象可控制路由器是否成為網(wǎng)關(guān)和ipRouteTable可控制路徑表等）。本章前兩節(jié)中討論了利用雙端口測(cè)試系統(tǒng)對(duì)SNMPv2協(xié)議的測(cè)試問(wèn)題（這也是筆者論文的討論的重點(diǎn)），MIB中有很多對(duì)象與網(wǎng)絡(luò)數(shù)據(jù)流量參數(shù)相關(guān)，如：反映物理接口接收到總的總字節(jié)數(shù)的ifInOctets、反映從接口收到輸入ip數(shù)據(jù)包總數(shù)的ipInReceives以及反映一個(gè)局域網(wǎng)在每個(gè)時(shí)間間隔下傳送數(shù)據(jù)包數(shù)量的etherHistoryPkts等等。但是，SNMP通過(guò)路由器MIB獲得的性能參數(shù)，包括網(wǎng)絡(luò)流量和數(shù)據(jù)吞吐率的參數(shù)，一方面需要配合用戶平臺(tái)的用戶數(shù)據(jù)傳輸才能進(jìn)行，如果測(cè)試器只能對(duì)一對(duì)端口進(jìn)行監(jiān)測(cè)，二者不能同時(shí)進(jìn)行，因此需要測(cè)試器具備在其他端口上注入數(shù)據(jù)，即多端口的監(jiān)測(cè)能例。另一方面，利用SNMP從MIB中獲得的性能參數(shù)，與路由器的本身的性能和實(shí)現(xiàn)好壞有關(guān)，相關(guān)數(shù)據(jù)具有“路由器”的“主觀性”，而外部測(cè)試系統(tǒng)獲得的吞吐率更直接和更客觀，二者的對(duì)比有助于判斷被測(cè)路由器硬、軟件實(shí)現(xiàn)在相關(guān)參數(shù)檢測(cè)方面獲得的參數(shù)與SNMP和MIB標(biāo)準(zhǔn)期望的標(biāo)準(zhǔn)相一致的程度。換言之，多端口并行測(cè)試在評(píng)價(jià)路由器MIB提供的參數(shù)方面和配合進(jìn)行SNMP測(cè)試方面都具有十分重要的意義。鑒于本論文對(duì)SNMP測(cè)試技術(shù)研究的重點(diǎn)是雙端口測(cè)試系統(tǒng)中的測(cè)試技術(shù)，有關(guān)多端口環(huán)境下與SNMP相關(guān)的測(cè)試技術(shù)不作進(jìn)一步的討論。第3章 SNMPv2通用測(cè)試集GTS規(guī)劃 測(cè)試控制數(shù)據(jù)定義/描述技術(shù) 在前兩章已經(jīng)對(duì)路由器的基本測(cè)試技術(shù)，特別是對(duì)與SNMP相關(guān)的測(cè)試技術(shù)進(jìn)行了概要性的介紹和討論。本章將轉(zhuǎn)入本論文的重點(diǎn)SNMPv2測(cè)試控制數(shù)據(jù)的定義/描述技術(shù)，特別是雙端口測(cè)試器中的SNMPv2的測(cè)試控制數(shù)據(jù)的描述。根據(jù)四川省網(wǎng)絡(luò)通信技術(shù)重點(diǎn)實(shí)驗(yàn)室關(guān)于多端口路由器并發(fā)測(cè)試系統(tǒng)研究工作第一階段研究與開(kāi)發(fā)工作的需要，筆者承擔(dān)了SNMPv2測(cè)試控制數(shù)據(jù)的規(guī)劃、描述工作，采用的描述工具為TTCN3。本章討論的重點(diǎn)是通用測(cè)試集的規(guī)劃技術(shù)。 通用測(cè)試集、抽象測(cè)試集和可執(zhí)行測(cè)試集ISO 9646為測(cè)試控制數(shù)據(jù)提供了一個(gè)層次化的組織結(jié)構(gòu)：即測(cè)試步(Test Step)、測(cè)試?yán)═est Case）、測(cè)試子組（Test Subgroup）、測(cè)試組（Test Group）和測(cè)試集（Test Suite）?！皽y(cè)試步”為最基本測(cè)試控制數(shù)據(jù)，它定義最基本甚至可重用的測(cè)試過(guò)程。測(cè)試?yán)怯蓽y(cè)試目的及數(shù)據(jù)定義以及若干“測(cè)試步”構(gòu)成的樹形結(jié)構(gòu)的測(cè)試過(guò)程的描述，它是實(shí)現(xiàn)一定測(cè)試目的的最基本的測(cè)試單元。測(cè)試組和測(cè)試子組是具備更宏觀的測(cè)試目的的測(cè)試?yán)募?；測(cè)試集則是由若干測(cè)試組構(gòu)成對(duì)特定測(cè)試對(duì)象（某協(xié)議）進(jìn)行完整或某類測(cè)試控制數(shù)據(jù)的集合。測(cè)試集的劃分，取決于測(cè)試集的劃分原則。ISO 9646根據(jù)測(cè)試控制數(shù)據(jù)的性質(zhì)，界定了三種類型： ① 通用測(cè)試類（Generic）：它與測(cè)試對(duì)象有關(guān)但與測(cè)試方法無(wú)關(guān)，用于界定測(cè)試目的和測(cè)試集、組、子組和測(cè)試?yán)姆诸惡徒M成結(jié)構(gòu)。② 抽象測(cè)試類（Abstract）：它是在通用測(cè)試類測(cè)試控制數(shù)據(jù)的基礎(chǔ)上，針對(duì)特定的測(cè)試方法用某種測(cè)試語(yǔ)言詳細(xì)描述測(cè)試過(guò)程的測(cè)試控制數(shù)據(jù)。它的“抽象性”表現(xiàn)在與具體的測(cè)試系統(tǒng)無(wú)關(guān)，普遍適用于采用該測(cè)試方法的測(cè)試系統(tǒng)，因此，還必須轉(zhuǎn)換為特定測(cè)試系統(tǒng)可理解（執(zhí)行）的代碼才能夠用于實(shí)際的測(cè)試。③ 可執(zhí)行測(cè)試類（Executable）：它是抽象測(cè)試類測(cè)試控制數(shù)據(jù)在具體測(cè)試系統(tǒng)中的表現(xiàn)，其獲得可能是采用編譯方式事先生成的，也可能是采用解釋方式對(duì)抽象測(cè)試控制數(shù)據(jù)動(dòng)態(tài)解釋生成。采用解釋方式時(shí)，可執(zhí)行測(cè)試控制數(shù)據(jù)僅在概念上存在，所產(chǎn)生的可執(zhí)行代碼執(zhí)行后就不復(fù)存在，因此不可重用，但優(yōu)點(diǎn)是對(duì)抽象測(cè)試控制數(shù)據(jù)的修改容易（反正每次執(zhí)行是都需要重新解釋），因而特別適合測(cè)試控制數(shù)據(jù)和測(cè)試系統(tǒng)調(diào)試階段。四川省網(wǎng)絡(luò)通信技術(shù)重點(diǎn)實(shí)驗(yàn)室采用編譯方式，可執(zhí)行測(cè)試?yán)⒔M和測(cè)試集事先編譯后（如果不修改）可多次重用，也有利于提高測(cè)試速度；但由于對(duì)抽象測(cè)試控制數(shù)據(jù)的修改需要涉及重新編譯（部分或全部），調(diào)試階段工作量較大。PICS PIXIT圖31 協(xié)議一致性測(cè)試流程協(xié)議規(guī)范ATSGTS業(yè)務(wù)規(guī)范ETS測(cè)試報(bào)告測(cè)試方法路由器相關(guān)協(xié)議的“一致性測(cè)試”的執(zhí)行過(guò)程是測(cè)試系統(tǒng)通過(guò)執(zhí)行“可執(zhí)行測(cè)試?yán)毕虮粶y(cè)對(duì)象發(fā)出測(cè)試控制數(shù)據(jù)并等待應(yīng)答，然后由測(cè)試器通過(guò)與預(yù)定的應(yīng)答的比較得出測(cè)試結(jié)果的過(guò)程。因此，測(cè)試過(guò)程可以進(jìn)行的前提是測(cè)試系統(tǒng)具有了可執(zhí)行的測(cè)試控制數(shù)據(jù)。從測(cè)試控制數(shù)據(jù)的規(guī)劃、描述到可執(zhí)行測(cè)試控制數(shù)據(jù)生成與實(shí)際的測(cè)試過(guò)程以及各步驟間的關(guān)系可以用圖31所示的框圖來(lái)表示，也可以用文字描述為以下幾個(gè)步驟：① 根據(jù)特定被測(cè)協(xié)議對(duì)象規(guī)劃通用測(cè)試集。② 為特定協(xié)議描述面向測(cè)試方法抽象測(cè)試集（ATS）。③ 利用測(cè)試系統(tǒng)的支撐工具生成可執(zhí)行測(cè)試集，其中與依附于協(xié)議實(shí)現(xiàn)的參數(shù)將采用“缺省”（Default）值。④ 根據(jù)協(xié)議實(shí)現(xiàn)者對(duì)其協(xié)議實(shí)現(xiàn)“符合相關(guān)協(xié)議標(biāo)準(zhǔn)的申明”PICS (Protocol Implementation Conformance Statements)和“協(xié)議實(shí)現(xiàn)的附加信息說(shuō)明”（PIXIT Protocol Implement Extra Information for Testing)，從一致性抽象測(cè)試集（ATS）中選取適當(dāng)?shù)臏y(cè)試?yán)?，并?duì)“與實(shí)現(xiàn)相關(guān)的參數(shù)”賦值。應(yīng)當(dāng)指出：按PICS和PEXIT選擇測(cè)試?yán)墓ぷ饕部赡茏鳛闇y(cè)試系統(tǒng)中測(cè)試?yán)詣?dòng)選擇功能的一部分；參數(shù)賦值問(wèn)題也可能作為測(cè)試系統(tǒng)配置參數(shù)的自動(dòng)或半自動(dòng)賦值的過(guò)程。 結(jié)果分析：對(duì)測(cè)試?yán)膱?zhí)行結(jié)果參照測(cè)試目的和被測(cè)實(shí)現(xiàn)的行為進(jìn)行分析，得出判別：PASS、FAIL和 INCONCLUSIVE。⑥生成測(cè)試報(bào)告，即經(jīng)過(guò)一致性測(cè)試后，根據(jù)協(xié)議說(shuō)明要求，給被測(cè)實(shí)現(xiàn)的一致性下結(jié)論。 一致性測(cè)試集規(guī)劃原則測(cè)試集具有層次化的組織結(jié)構(gòu)，測(cè)試集（test suite）的元素為測(cè)試?yán)╰est case），一個(gè)測(cè)試?yán)枋鲆唤M測(cè)試步（test step），驗(yàn)證一個(gè)測(cè)試目的或一個(gè)一致性需求。相關(guān)的測(cè)試?yán)唤M合成為一組，組可以有多個(gè)層次，每個(gè)組都有相應(yīng)的目標(biāo)。在一個(gè)測(cè)試?yán)?，又可劃分為測(cè)試步和測(cè)試事件。一個(gè)測(cè)試事件是在PCO上發(fā)生的一個(gè)交互動(dòng)作，如發(fā)送和接受一個(gè)PDU，而測(cè)試步是連續(xù)的測(cè)試事件，如preamble（前綴），postamble(后綴)便是測(cè)試步。通過(guò)對(duì)IPv6 RFC文本及相關(guān)資料的研究，筆者針對(duì)IPv6協(xié)議集的特點(diǎn)對(duì)ISO建議的測(cè)試集結(jié)構(gòu)進(jìn)行了相應(yīng)的改進(jìn)，設(shè)計(jì)了自頂向下的IPv6協(xié)議集的樹狀測(cè)試集結(jié)構(gòu)，該結(jié)構(gòu)從上到下分為以下6層，如圖32所示： ① 超級(jí)測(cè)試類：指路由器的IPv6協(xié)議集單個(gè)/單對(duì)端口的測(cè)試，即多個(gè)協(xié)議測(cè)試集的向上匯聚。② 測(cè)試集：按測(cè)試性質(zhì)劃分，本研究主要進(jìn)行協(xié)議的一致性測(cè)試，當(dāng)然還可進(jìn)行性能測(cè)試等。③ 測(cè)試組：對(duì)應(yīng)于協(xié)議集某一標(biāo)準(zhǔn)協(xié)議規(guī)范。如MIBII協(xié)議（RFC1213）、SNMPv2協(xié)議（RFC1906）、RMON1協(xié)議（RFC1757）、RMON2協(xié)議（RFC2021）等。test suite:test group:IPv6 Single port/pair Super Test ClassC:ConformaceP:PerformaceMIB2:RFC1213SNMPv2：RFC1905test subgroup:System subgrouptest step:test case:LT_SetSysname_VBLT_GetSysname_VBInitialize,send,receive etctest subsubgroup:SysName subgroup圖32 測(cè)試集的結(jié)構(gòu)④ 測(cè)試子組：對(duì)應(yīng)于一個(gè)標(biāo)準(zhǔn)協(xié)議的某一項(xiàng)功能描述，包含一個(gè)或多個(gè)對(duì)該項(xiàng)功能進(jìn)行多項(xiàng)測(cè)試的測(cè)試?yán)鏡FC1213中關(guān)于System組的測(cè)試、Interface組的測(cè)試等。注意，通?？梢愿鶕?jù)功能對(duì)測(cè)試子組進(jìn)一步細(xì)化，即一個(gè)子組可分為若干更小的測(cè)試子組，組可以有多個(gè)層次，如在System子組中，又有SysDescr子組、 SysName子組、 SysLocation子組、 SysUpTimes子組等。⑤ 測(cè)試?yán)和瓿梢粋€(gè)測(cè)試組可能需要多個(gè)測(cè)試?yán)１热鐬榱藴y(cè)試RFC2460中關(guān)于HBH(Hop by Hop)選項(xiàng)頭在擴(kuò)展頭中位置的描述，需要對(duì)HBH在擴(kuò)展頭中位置的前后進(jìn)行考慮，因此可設(shè)計(jì)多種順序組合，這就需要測(cè)試子組中包括多個(gè)測(cè)試?yán)?。⑥測(cè)試步：一個(gè)測(cè)試?yán)耐瓿尚枰M(jìn)行初始化、發(fā)包和收包、比較以及處理結(jié)果等等，每一個(gè)動(dòng)作就是一個(gè)測(cè)試步。需說(shuō)明的是，前4層可用于GTS和ATS，但測(cè)試?yán)?、測(cè)試步與測(cè)試方法有關(guān)，因此只用于ATS。盡管IP路由器的用戶平臺(tái)較為簡(jiǎn)單，僅涉及網(wǎng)絡(luò)層的IP協(xié)議；但其信令控制與管理平臺(tái)卻涉及包括應(yīng)用層在內(nèi)的多個(gè)協(xié)議。如網(wǎng)絡(luò)層的協(xié)議除IP之外，在IP之上的子層中，有ICMP、RSVP、IPSec等；而在IP之下的子層中，有ARP、IARP和RARP等。因此，GTS的規(guī)劃必須充分考慮其復(fù)雜性，以便將單個(gè)GTS的規(guī)劃控制在可管理的范圍內(nèi)。由于對(duì)路由器的測(cè)試按性質(zhì)可分為：一致性測(cè)試、性能測(cè)試、互通測(cè)試等，在進(jìn)行并發(fā)多端口測(cè)試時(shí)可能還包括多個(gè)協(xié)議間的多協(xié)議配合測(cè)試(Multiprotocol Coordinated Test)等。因此，GTS的規(guī)劃還必須考慮適應(yīng)各類測(cè)試的能力。按照ISO規(guī)定的路由器的測(cè)試方法，可分為單端口回繞測(cè)試和一對(duì)端口的穿越測(cè)試，當(dāng)涉及多端口并發(fā)測(cè)試時(shí)，兩種測(cè)試方法的組合可能出現(xiàn)更復(fù)雜的情況。因此，GTS的規(guī)劃必須考慮上述種種因素和需要。在筆者的實(shí)踐中，探索出以下幾項(xiàng)GTS規(guī)劃原則： 測(cè)試集的可管理原則單個(gè)GTS的規(guī)模不宜太大，所涉及協(xié)議宜盡量少。在筆者的IP路由器通用測(cè)試集的規(guī)劃實(shí)踐中采用了以單個(gè)協(xié)議為基礎(chǔ)規(guī)劃GTS的方法，以避免單個(gè)測(cè)試集過(guò)大，向下細(xì)分層次過(guò)多。 向上匯聚原則在ISO的測(cè)試集之上，我們引入了超級(jí)測(cè)試類(STC Super Test Class)的概念，將多個(gè)測(cè)試集向上匯聚為超級(jí)測(cè)試類(STC)，相應(yīng)地可派生出通用超級(jí)測(cè)試類(GSTC)和抽象超級(jí)測(cè)試類(ASTC)。由于我實(shí)驗(yàn)室正進(jìn)行路由器的并發(fā)多端口測(cè)試和傳統(tǒng)單個(gè)端口或一對(duì)端口的測(cè)試，筆者目前定義了兩類超級(jí)測(cè)試類：并發(fā)多端口超級(jí)測(cè)試類(MSTC Concurrent Multiport Super Test Class)和單個(gè)/單對(duì)端口超級(jí)測(cè)試類(SSTCSingle port/pair Super Test Class)。超級(jí)測(cè)試類可以根據(jù)需要增加。采用上述匯聚法的目的還在于能夠與其他研究單位關(guān)于單端口/單對(duì)端口測(cè)試使用的GTS具有可比性。 測(cè)試集劃分原則為了適應(yīng)不同測(cè)試性質(zhì)的測(cè)試需要，測(cè)試集可分為：一致性測(cè)試集、性能測(cè)試集、互通測(cè)試集等。 測(cè)試組劃分原則 針對(duì)不同的測(cè)試集，劃分原則也有所不同。一致性測(cè)試主要根據(jù)測(cè)試需求以協(xié)議標(biāo)準(zhǔn)為單位來(lái)劃分測(cè)試組（如SNMPv2協(xié)議測(cè)試組、RIP協(xié)議測(cè)試組等）；而性能測(cè)試主要按性能指標(biāo)實(shí)現(xiàn)測(cè)試組的劃分（如端口流量測(cè)試組等）。測(cè)試組可根據(jù)需要進(jìn)一步增加。由于一致性測(cè)試是各類測(cè)試的基礎(chǔ)，因此下文主要討論一致性測(cè)試集的規(guī)劃，對(duì)于其它測(cè)試集的規(guī)劃有待進(jìn)一步研究。 測(cè)試子組劃分原則為了適應(yīng)一致性測(cè)試的需要，每個(gè)測(cè)試組可以進(jìn)一步劃分為測(cè)試子組(Subgroup)。對(duì)測(cè)試子組的劃分，主要針對(duì)被測(cè)協(xié)議的特點(diǎn)（如單狀態(tài)、多狀態(tài)、有連接等）采用了下面的規(guī)劃原則：l 對(duì)于無(wú)連接的單狀態(tài)協(xié)議（如IPv6協(xié)議、SNMPv2協(xié)議）按報(bào)文格式的字段以及協(xié)議各項(xiàng)功能來(lái)劃分測(cè)試子組。l 對(duì)于多狀態(tài)協(xié)議，無(wú)連接（如RIPng協(xié)議）或有連接協(xié)議（如OSPF協(xié)議、TCP協(xié)議）基于協(xié)議的有限狀態(tài)機(jī)并結(jié)合非狀態(tài)描述按各狀態(tài)來(lái)劃分測(cè)試子組。由于測(cè)試?yán)c測(cè)試方法直接相關(guān)，因此，對(duì)于GTS的規(guī)劃原則到子組為止，測(cè)試?yán)囊?guī)劃僅在抽象測(cè)試集（ATS）中才有意義。⑥ 抽象測(cè)試?yán)囊?guī)劃原則對(duì)它的規(guī)劃可以采用以下原則：l 按報(bào)文格式的字段劃分測(cè)試子組，其測(cè)試?yán)囊?guī)劃主要按各字段的有效取值和無(wú)效取值劃分。l 按協(xié)議功能劃分測(cè)試子組，其測(cè)試?yán)膭澐钟袔追N情況：一是按功能的有效情況和無(wú)效情況劃分測(cè)試?yán)欢抢^續(xù)劃分子功能，將之作為測(cè)試?yán) 基于狀態(tài)劃分的主要按各輸入事件、輸出事件、狀態(tài)變遷、狀態(tài)處理等劃分相應(yīng)的測(cè)試?yán)?。前面討論?項(xiàng)原則適用于通用測(cè)試集（GTS）的規(guī)劃，也適用于抽象測(cè)