【正文】 一個定時器。所有的定時器必須在定時器描述表中定義。 Duration是從定時器啟動時刻到定時器停止的時間間隔，該間隔可以用以下單位計量。 ? 該間隔可以用以下單位計量： – ps（ 皮 (可 )秒 ， 微微秒 ， 百億分之一秒 ） – ns（ 十億分之一秒 ） – us (一百萬分之一秒 ， 微秒 ) – ms (毫秒 ) – s (秒 ) – min (分 )。 超時列表 ? TTCN維持一個超時列表。如果一個定時器期滿，則該定時器被加入到列表中，有三種方法可以把定時器從表移出： – 一個成功的 TIMEOUT語句 – 使用定時器啟動命令 START – 使用定時器終止命令 CANCEL TIMEOUT語句 ? 在 TTCN測試套中可以定義一個定時器，用于檢查一個應答是否超時。語句格式如下： – ?TIMEOUT TimerIdentifier – 當執(zhí)行到該語句時，測試套將檢查該定時器是否在超時列表中，如果與超時列表中的一個定時器匹配，則 TIMEOUT發(fā)生，否則 TIMEOUT不發(fā)生。 ? 該語句的另一中格式是： – ?TIMEOUT – 即沒有指定 timerIdentifier。 在這種情況下只要超時列表不空 ， 就認為 TIMEOUT匹配成功 。 ? TIMEOUT 可以與條件組成帶條件的TIMEOUT 語句 ， 該 語 句 可 以 后 接ASSIGNMENT_LIST 、TIMER_OPERATION等命令 ， 格式如下： – TIMEOUT2 [QUALIFIER]1 [ASSIGNMENT_LIST]3 [TIMER_OPERATION]4 – 其中：方括號內為可選擇項 。 該語句中的各分量的執(zhí)行順序是一定的 。 – 注： TIMEOUT不能被用于阻止一個 IUT部件發(fā)送應答 。 定時器快照 ? 定時器快照指的是定時器的當前值 。 每一次開始執(zhí)行替換集循環(huán)時 ， 當執(zhí)行到一個 TIMEOUT事件 ， 則該超時快照（ 時刻 ） 被檢查 ， 如果匹配 ， 則TIMEOUT發(fā)生 。 定時器啟動命令 START ? 一個定時器通過 START激發(fā)。格式如下： – START TimerIdentifier ? 在定時器被啟動后，可以顯示地指明定時器的區(qū)間。如果指定，則該區(qū)間將覆蓋原有的定時器時間區(qū)間。顯示聲明時間區(qū)間的語句格式如下： – START TimerIdentifier ( Duration ) ?START_TIMER語句也可以是有條件的 ，一個條件 START_TIMER語句格式如下： – [QUALIFIER]1 [ASSIGNMENT_LIST]2 [START_TIMER]3 CANCEL命令 ? 一個計時器可以使用 CANCEL命令取消。CANCEL命令的格式如下： – CANCEL TimerIdentifier ? 另一個 CANCEL格式為： – CANCEL – 即沒有 TimerIdentifier。在這種情況下，所有的定時器被取消，并且清除超時列表后重新啟動。 ? 取消定時器語句也可以被加上條件 ， 格式如下： – [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í)行包含一個條件的替換集 常量與變量 ? TTCN有兩種類型的常量： – 測試套參數 – 測試套常量 ? 兩種類型的變量： – 測試套變量； – 測試例變量。 ? 這些變量和常量通過以下表格來定義： – 測試套常量聲明 – 測試套參數聲明 – 測試套變量聲明 – 測試例變量聲明 測試套常量和測試套參數 ? 測試套常量是一種全局常量，該類型的常量可以在測試套的任何一個地方使用，也包括約束部分。在測試套中一個常量一旦被聲明就不會改變。 ? 測試套參數 – 測試套參數也是常量，但對抽象測試套描述，它的實際值是未知的。它們的值由 IUT來確定，并且很可能依賴系統(tǒng)本身。從這種意義上講，不同的 IUT它們的測試套參數是不同的，但是在測試一個 IUT期間它們是常量。 ? 測試套參數值是從協(xié)議實現(xiàn)一致性聲明（ Protocol Implement Conformence Statement簡稱 PICS）和協(xié)議實現(xiàn)附加測試信息（ Protocol Implement eXtra Information for Test簡稱 PIXIT）導出的。這些文本就像一個按照 IUT特性建立的內嵌檢查表。 ? 在執(zhí)行一個測試套之前 PICS和 PIXIT與測試套參數綁定 ， 這一過程稱為測試套的參數化 。 測試套與測試例變量 ? 測試套和測試例變量也是全局變量，即它們可以在測試套的任何一個地方使用。每一個測試套或測試例變量都可以有一個缺省值，如果沒有設定缺省值，則稱該變量是非綁定。一個變量在使用之前應該被綁定，除非該變量出現(xiàn)在等號的左邊。 重新定義缺省值 ? 測試套變量和測試例變量的不同在于它們的缺省值可重新設置 （ 如果沒有缺省值 ， 則意味著變量為非綁定的 ） ： – 測試套變量在測試套的結束部分被重新設置 ， 這意味著該變量的信息在測試例執(zhí)行之間被保留 。 – 測試例變量在測試例的結束部分被重新設置 ， 這意味著在每一個測試例開始時測試例變量與缺省綁定 。 并發(fā) TTCN中的變量 ? 當多個測試組件被執(zhí)行時，這時稱并發(fā) TTCN。在并發(fā)執(zhí)行時，每一個測試組件都有都有一個測試例變量的副本。 ? 在例子中，我們聲明了測試例變量 count，該變量可以分別在低端和高端測試器中使用，也就是說，在低端的測試例中改變了變量的值后，不會影響該變量在高端的值，反之亦然。測試套變量在并發(fā) TTCN中的使用與串行TTCN的情況是相同。 動態(tài)行為描述 ? TTCN中有三種描述行為的表格： – 測試例動態(tài)行為表 – 測試步動態(tài)行為表 – 缺省的動態(tài)行為表 測試例標識和測試組引用 ? 當該路徑在測試步中引用時，該路徑指出的是該測試步在測試步庫中的位置；如果沒有路徑，則表示測試步在確省庫中的缺省位置。引用有以下一般形： – SuiteIdentifier / GroupIdentifier1 / . . . / GroupIdentifiern / ? 測試目的和對象： – 在測試例表中的第三行用于說明測試目的 。 與之相對應的測試步和缺省的動態(tài)行為表中稱為測試對象 。 ? 配置 – 測試例的行為描述通過引入并發(fā) TTCN的配置實體來加以說明。在測試步中和缺省中不明確地說明測試配置。 ? 缺省行為 ： – 如果存在，缺省的實體被用于說明將被使用的缺省行為。 使用別名 ? 在 ISO/IEC 96463中， 別名被定義成文本的擴展。然而，在 SEND和 RECEIVE語句中可以把別名用來代替 ASP或 PDU的標識符，下面的語句是由意義的。 – PCO_Identifier ! AliasIdentifier – PCO_Identifier ? AliasIdentifier 測試例模塊化 ? 一個測試例可能會很復雜 ， 所以 TTCN提供了兩種測試例模塊化的方法 ， 其一是測試步 ， 其二是確省 。 測試步 ? 行為樹可以通過劃分子樹的方法實現(xiàn)模塊化，這些子樹稱為測試步。測試步或者是本地描述或者是存放在測試步庫中。 ? 測試步可以是帶有參數，即一個行為樹可以把 PCOs、變量、文本值和約束等作為參數傳遞個測試步。 ?本地測試步 – 一個本地測試步是僅出現(xiàn)該行為時的一種描述，如圖 310所示。 ?測試步庫 – 測試步庫中的測試步在測試步行為表中說明 。 這些測試步可以被任何測試例 、 測試步或缺省調用 。 ?ATTACH語句 – + TreeIdentifier ActualParameterList 用于本地的測試步； – + TestStepIdentifier ActualParameterList用于測試步例庫中的測試步 。 行為樹的隸屬作為子程序調用 ? 可以采用以下幾種不同的風格來處理測試子程序： – 當一個替換集合的執(zhí)行循環(huán)執(zhí)行到一個隸屬語句時 ， 其控制被轉到隸屬的測試步； – 如果在替換集執(zhí)行期間 ， 測試步中的替換執(zhí)行循環(huán)中沒有成功的測試步 ， 則從測試步返回到調用樹 ， 并且繼續(xù)執(zhí)行后面的替換；如果在同一個替換集中有隸屬 ， 則該測試步可以作為一個調用樹； – 如果測試步的第一層的替換是成功的 ， 則繼續(xù)在此測試步中的樹中執(zhí)行； – 如果測試步到達最終的結論 ， 則測試步掛起 ， 控制不返回調用樹 。 – 如果沒有到達最終結論 ， 在沒有到達測試步的葉結點時 ， 控制返回到調用樹 ， 繼續(xù)執(zhí)行替換集中的下一個替換 。 缺省行為 ? 在行為樹中描述各種行為的可能組合 ，會忽略主要的行為 ， 從而使測試例的可讀性降低 。 使用缺省方法來說明非主要的行為 ， 可以使描述更清晰 。 在 TTCN中可以使用 OTHERWISE語句來對缺省的 ASPs或 PDUs進行處理 ， 而這些 ASPs或 PDUs通常不是測試目標一部分 。TIMEOUT作為缺省的情況是比較常見的 。 ? 缺省行為建模 – 缺省行為可以作為一個樹的隸屬 ， 該隸屬在每一個替換集合的最后被執(zhí)行 。 ? 缺省引用 – 一個測試例或測試步在頭部引用缺省實體的缺省行為 ， 如果該實體是空 ， 則沒有可以用的缺省 。 TTCN中的參數列表 ? 測試套構成 – 不同的測試套組件在測試套中出現(xiàn)的次序是不同的 ， 一個 TTCN測試套由四個部分組成 。 ? 測試套頭部 ? 聲明部分 ? 約束部分 ? 行為部分 ?測試套頭部 – 測試套結構 – 測試例索引 – 測試步索引 – 缺省索引 ?聲明部 – 測試組件聲明 – 測試組件配置聲明 – 簡單類型定義 – 結構化類型定義 1 – … – 類型定義 1 – … – 類型定義通過引用 – 測試套操作定義 1 – … – 測試套參數聲明 – 測試例選擇表達式定義 – 測試套常量聲明 – 測試套變量聲明 – 測試例變量聲明 – PCO聲明 – CP 聲明 – Timer聲明 – ASP 聲明 1 – … – ASP 類型定義 1 – … – ASP 使用引用的類型定義 – PDU 類型定義 1 – … – PDU 類型定義 1 – … – PDU 使用引用的類型定義 – TTCN CM 類型定義 1 – … – CM 類型定義 1 – … – 別名聲明 ? 約束部分 – ASP 約束聲明 1 – ASP 約束聲明 1 – PDU 約束聲明 1 – PDU 約束聲明 1 – 構造類型約束聲明 1 – 類型約束聲明 1 – CM 約束聲明 1 ? 動態(tài)部分 – 測試例動態(tài)行為 1 – 測試步動態(tài)行為 1 – 缺省動態(tài)形為 1 一個完整的例子