【正文】 一個(gè)定時(shí)器。所有的定時(shí)器必須在定時(shí)器描述表中定義。 Duration是從定時(shí)器啟動(dòng)時(shí)刻到定時(shí)器停止的時(shí)間間隔，該間隔可以用以下單位計(jì)量。 ? 該間隔可以用以下單位計(jì)量： – ps（ 皮 (可 )秒 ， 微微秒 ， 百億分之一秒 ） – ns（ 十億分之一秒 ） – us (一百萬(wàn)分之一秒 ， 微秒 ) – ms (毫秒 ) – s (秒 ) – min (分 )。 超時(shí)列表 ? TTCN維持一個(gè)超時(shí)列表。如果一個(gè)定時(shí)器期滿，則該定時(shí)器被加入到列表中，有三種方法可以把定時(shí)器從表移出： – 一個(gè)成功的 TIMEOUT語(yǔ)句 – 使用定時(shí)器啟動(dòng)命令 START – 使用定時(shí)器終止命令 CANCEL TIMEOUT語(yǔ)句 ? 在 TTCN測(cè)試套中可以定義一個(gè)定時(shí)器，用于檢查一個(gè)應(yīng)答是否超時(shí)。語(yǔ)句格式如下： – ?TIMEOUT TimerIdentifier – 當(dāng)執(zhí)行到該語(yǔ)句時(shí)，測(cè)試套將檢查該定時(shí)器是否在超時(shí)列表中，如果與超時(shí)列表中的一個(gè)定時(shí)器匹配，則 TIMEOUT發(fā)生，否則 TIMEOUT不發(fā)生。 ? 該語(yǔ)句的另一中格式是： – ?TIMEOUT – 即沒(méi)有指定 timerIdentifier。 在這種情況下只要超時(shí)列表不空 ， 就認(rèn)為 TIMEOUT匹配成功 。 ? TIMEOUT 可以與條件組成帶條件的TIMEOUT 語(yǔ)句 ， 該 語(yǔ) 句 可 以 后 接ASSIGNMENT_LIST 、TIMER_OPERATION等命令 ， 格式如下： – TIMEOUT2 [QUALIFIER]1 [ASSIGNMENT_LIST]3 [TIMER_OPERATION]4 – 其中：方括號(hào)內(nèi)為可選擇項(xiàng) 。 該語(yǔ)句中的各分量的執(zhí)行順序是一定的 。 – 注： TIMEOUT不能被用于阻止一個(gè) IUT部件發(fā)送應(yīng)答 。 定時(shí)器快照 ? 定時(shí)器快照指的是定時(shí)器的當(dāng)前值 。 每一次開(kāi)始執(zhí)行替換集循環(huán)時(shí) ， 當(dāng)執(zhí)行到一個(gè) TIMEOUT事件 ， 則該超時(shí)快照（ 時(shí)刻 ） 被檢查 ， 如果匹配 ， 則TIMEOUT發(fā)生 。 定時(shí)器啟動(dòng)命令 START ? 一個(gè)定時(shí)器通過(guò) START激發(fā)。格式如下： – START TimerIdentifier ? 在定時(shí)器被啟動(dòng)后，可以顯示地指明定時(shí)器的區(qū)間。如果指定，則該區(qū)間將覆蓋原有的定時(shí)器時(shí)間區(qū)間。顯示聲明時(shí)間區(qū)間的語(yǔ)句格式如下： – START TimerIdentifier ( Duration ) ?START_TIMER語(yǔ)句也可以是有條件的 ，一個(gè)條件 START_TIMER語(yǔ)句格式如下： – [QUALIFIER]1 [ASSIGNMENT_LIST]2 [START_TIMER]3 CANCEL命令 ? 一個(gè)計(jì)時(shí)器可以使用 CANCEL命令取消。CANCEL命令的格式如下： – CANCEL TimerIdentifier ? 另一個(gè) CANCEL格式為： – CANCEL – 即沒(méi)有 TimerIdentifier。在這種情況下，所有的定時(shí)器被取消，并且清除超時(shí)列表后重新啟動(dòng)。 ? 取消定時(shí)器語(yǔ)句也可以被加上條件 ， 格式如下： – [QUALIFIER]1 [ASSIGNMENT_LIST]2 [CANCEL_TIMER]3 (1)Executive Assignment (2)Executive Timer OP (3)Conformance Log Executive OP y n return true return Qualifier 圖 執(zhí)行包含一個(gè)條件的替換集 常量與變量 ? TTCN有兩種類(lèi)型的常量： – 測(cè)試套參數(shù) – 測(cè)試套常量 ? 兩種類(lèi)型的變量： – 測(cè)試套變量； – 測(cè)試?yán)兞俊? ? 這些變量和常量通過(guò)以下表格來(lái)定義： – 測(cè)試套常量聲明 – 測(cè)試套參數(shù)聲明 – 測(cè)試套變量聲明 – 測(cè)試?yán)兞柯暶? 測(cè)試套常量和測(cè)試套參數(shù) ? 測(cè)試套常量是一種全局常量，該類(lèi)型的常量可以在測(cè)試套的任何一個(gè)地方使用，也包括約束部分。在測(cè)試套中一個(gè)常量一旦被聲明就不會(huì)改變。 ? 測(cè)試套參數(shù) – 測(cè)試套參數(shù)也是常量，但對(duì)抽象測(cè)試套描述，它的實(shí)際值是未知的。它們的值由 IUT來(lái)確定，并且很可能依賴系統(tǒng)本身。從這種意義上講，不同的 IUT它們的測(cè)試套參數(shù)是不同的，但是在測(cè)試一個(gè) IUT期間它們是常量。 ? 測(cè)試套參數(shù)值是從協(xié)議實(shí)現(xiàn)一致性聲明（ Protocol Implement Conformence Statement簡(jiǎn)稱(chēng) PICS）和協(xié)議實(shí)現(xiàn)附加測(cè)試信息（ Protocol Implement eXtra Information for Test簡(jiǎn)稱(chēng) PIXIT）導(dǎo)出的。這些文本就像一個(gè)按照 IUT特性建立的內(nèi)嵌檢查表。 ? 在執(zhí)行一個(gè)測(cè)試套之前 PICS和 PIXIT與測(cè)試套參數(shù)綁定 ， 這一過(guò)程稱(chēng)為測(cè)試套的參數(shù)化 。 測(cè)試套與測(cè)試?yán)兞? ? 測(cè)試套和測(cè)試?yán)兞恳彩侨肿兞?，即它們可以在測(cè)試套的任何一個(gè)地方使用。每一個(gè)測(cè)試套或測(cè)試?yán)兞慷伎梢杂幸粋€(gè)缺省值，如果沒(méi)有設(shè)定缺省值，則稱(chēng)該變量是非綁定。一個(gè)變量在使用之前應(yīng)該被綁定，除非該變量出現(xiàn)在等號(hào)的左邊。 重新定義缺省值 ? 測(cè)試套變量和測(cè)試?yán)兞康牟煌谟谒鼈兊娜笔≈悼芍匦略O(shè)置 （ 如果沒(méi)有缺省值 ， 則意味著變量為非綁定的 ） ： – 測(cè)試套變量在測(cè)試套的結(jié)束部分被重新設(shè)置 ， 這意味著該變量的信息在測(cè)試?yán)龍?zhí)行之間被保留 。 – 測(cè)試?yán)兞吭跍y(cè)試?yán)慕Y(jié)束部分被重新設(shè)置 ， 這意味著在每一個(gè)測(cè)試?yán)_(kāi)始時(shí)測(cè)試?yán)兞颗c缺省綁定 。 并發(fā) TTCN中的變量 ? 當(dāng)多個(gè)測(cè)試組件被執(zhí)行時(shí)，這時(shí)稱(chēng)并發(fā) TTCN。在并發(fā)執(zhí)行時(shí)，每一個(gè)測(cè)試組件都有都有一個(gè)測(cè)試?yán)兞康母北尽? ? 在例子中，我們聲明了測(cè)試?yán)兞?count，該變量可以分別在低端和高端測(cè)試器中使用，也就是說(shuō)，在低端的測(cè)試?yán)懈淖兞俗兞康闹岛?，不?huì)影響該變量在高端的值，反之亦然。測(cè)試套變量在并發(fā) TTCN中的使用與串行TTCN的情況是相同。 動(dòng)態(tài)行為描述 ? TTCN中有三種描述行為的表格： – 測(cè)試?yán)齽?dòng)態(tài)行為表 – 測(cè)試步動(dòng)態(tài)行為表 – 缺省的動(dòng)態(tài)行為表 測(cè)試?yán)龢?biāo)識(shí)和測(cè)試組引用 ? 當(dāng)該路徑在測(cè)試步中引用時(shí)，該路徑指出的是該測(cè)試步在測(cè)試步庫(kù)中的位置；如果沒(méi)有路徑，則表示測(cè)試步在確省庫(kù)中的缺省位置。引用有以下一般形： – SuiteIdentifier / GroupIdentifier1 / . . . / GroupIdentifiern / ? 測(cè)試目的和對(duì)象： – 在測(cè)試?yán)碇械牡谌杏糜谡f(shuō)明測(cè)試目的 。 與之相對(duì)應(yīng)的測(cè)試步和缺省的動(dòng)態(tài)行為表中稱(chēng)為測(cè)試對(duì)象 。 ? 配置 – 測(cè)試?yán)男袨槊枋鐾ㄟ^(guò)引入并發(fā) TTCN的配置實(shí)體來(lái)加以說(shuō)明。在測(cè)試步中和缺省中不明確地說(shuō)明測(cè)試配置。 ? 缺省行為 ： – 如果存在，缺省的實(shí)體被用于說(shuō)明將被使用的缺省行為。 使用別名 ? 在 ISO/IEC 96463中， 別名被定義成文本的擴(kuò)展。然而，在 SEND和 RECEIVE語(yǔ)句中可以把別名用來(lái)代替 ASP或 PDU的標(biāo)識(shí)符，下面的語(yǔ)句是由意義的。 – PCO_Identifier ! AliasIdentifier – PCO_Identifier ? AliasIdentifier 測(cè)試?yán)K化 ? 一個(gè)測(cè)試?yán)赡軙?huì)很復(fù)雜 ， 所以 TTCN提供了兩種測(cè)試?yán)K化的方法 ， 其一是測(cè)試步 ， 其二是確省 。 測(cè)試步 ? 行為樹(shù)可以通過(guò)劃分子樹(shù)的方法實(shí)現(xiàn)模塊化，這些子樹(shù)稱(chēng)為測(cè)試步。測(cè)試步或者是本地描述或者是存放在測(cè)試步庫(kù)中。 ? 測(cè)試步可以是帶有參數(shù)，即一個(gè)行為樹(shù)可以把 PCOs、變量、文本值和約束等作為參數(shù)傳遞個(gè)測(cè)試步。 ?本地測(cè)試步 – 一個(gè)本地測(cè)試步是僅出現(xiàn)該行為時(shí)的一種描述，如圖 310所示。 ?測(cè)試步庫(kù) – 測(cè)試步庫(kù)中的測(cè)試步在測(cè)試步行為表中說(shuō)明 。 這些測(cè)試步可以被任何測(cè)試?yán)?、 測(cè)試步或缺省調(diào)用 。 ?ATTACH語(yǔ)句 – + TreeIdentifier ActualParameterList 用于本地的測(cè)試步； – + TestStepIdentifier ActualParameterList用于測(cè)試步例庫(kù)中的測(cè)試步 。 行為樹(shù)的隸屬作為子程序調(diào)用 ? 可以采用以下幾種不同的風(fēng)格來(lái)處理測(cè)試子程序： – 當(dāng)一個(gè)替換集合的執(zhí)行循環(huán)執(zhí)行到一個(gè)隸屬語(yǔ)句時(shí) ， 其控制被轉(zhuǎn)到隸屬的測(cè)試步； – 如果在替換集執(zhí)行期間 ， 測(cè)試步中的替換執(zhí)行循環(huán)中沒(méi)有成功的測(cè)試步 ， 則從測(cè)試步返回到調(diào)用樹(shù) ， 并且繼續(xù)執(zhí)行后面的替換；如果在同一個(gè)替換集中有隸屬 ， 則該測(cè)試步可以作為一個(gè)調(diào)用樹(shù)； – 如果測(cè)試步的第一層的替換是成功的 ， 則繼續(xù)在此測(cè)試步中的樹(shù)中執(zhí)行； – 如果測(cè)試步到達(dá)最終的結(jié)論 ， 則測(cè)試步掛起 ， 控制不返回調(diào)用樹(shù) 。 – 如果沒(méi)有到達(dá)最終結(jié)論 ， 在沒(méi)有到達(dá)測(cè)試步的葉結(jié)點(diǎn)時(shí) ， 控制返回到調(diào)用樹(shù) ， 繼續(xù)執(zhí)行替換集中的下一個(gè)替換 。 缺省行為 ? 在行為樹(shù)中描述各種行為的可能組合 ，會(huì)忽略主要的行為 ， 從而使測(cè)試?yán)目勺x性降低 。 使用缺省方法來(lái)說(shuō)明非主要的行為 ， 可以使描述更清晰 。 在 TTCN中可以使用 OTHERWISE語(yǔ)句來(lái)對(duì)缺省的 ASPs或 PDUs進(jìn)行處理 ， 而這些 ASPs或 PDUs通常不是測(cè)試目標(biāo)一部分 。TIMEOUT作為缺省的情況是比較常見(jiàn)的 。 ? 缺省行為建模 – 缺省行為可以作為一個(gè)樹(shù)的隸屬 ， 該隸屬在每一個(gè)替換集合的最后被執(zhí)行 。 ? 缺省引用 – 一個(gè)測(cè)試?yán)驕y(cè)試步在頭部引用缺省實(shí)體的缺省行為 ， 如果該實(shí)體是空 ， 則沒(méi)有可以用的缺省 。 TTCN中的參數(shù)列表 ? 測(cè)試套構(gòu)成 – 不同的測(cè)試套組件在測(cè)試套中出現(xiàn)的次序是不同的 ， 一個(gè) TTCN測(cè)試套由四個(gè)部分組成 。 ? 測(cè)試套頭部 ? 聲明部分 ? 約束部分 ? 行為部分 ?測(cè)試套頭部 – 測(cè)試套結(jié)構(gòu) – 測(cè)試?yán)饕? – 測(cè)試步索引 – 缺省索引 ?聲明部 – 測(cè)試組件聲明 – 測(cè)試組件配置聲明 – 簡(jiǎn)單類(lèi)型定義 – 結(jié)構(gòu)化類(lèi)型定義 1 – … – 類(lèi)型定義 1 – … – 類(lèi)型定義通過(guò)引用 – 測(cè)試套操作定義 1 – … – 測(cè)試套參數(shù)聲明 – 測(cè)試?yán)x擇表達(dá)式定義 – 測(cè)試套常量聲明 – 測(cè)試套變量聲明 – 測(cè)試?yán)兞柯暶? – PCO聲明 – CP 聲明 – Timer聲明 – ASP 聲明 1 – … – ASP 類(lèi)型定義 1 – … – ASP 使用引用的類(lèi)型定義 – PDU 類(lèi)型定義 1 – … – PDU 類(lèi)型定義 1 – … – PDU 使用引用的類(lèi)型定義 – TTCN CM 類(lèi)型定義 1 – … – CM 類(lèi)型定義 1 – … – 別名聲明 ? 約束部分 – ASP 約束聲明 1 – ASP 約束聲明 1 – PDU 約束聲明 1 – PDU 約束聲明 1 – 構(gòu)造類(lèi)型約束聲明 1 – 類(lèi)型約束聲明 1 – CM 約束聲明 1 ? 動(dòng)態(tài)部分 – 測(cè)試?yán)齽?dòng)態(tài)行為 1 – 測(cè)試步動(dòng)態(tài)行為 1 – 缺省動(dòng)態(tài)形為 1 一個(gè)完整的例子