頁籤選單縮合
題 名 | Executable EFSM-based Data Flow and Control Flow Protocol Test Sequence Generation Using Reachability Analysis=以擴充式有限狀態機為基礎之可執行的協定資料與控制檢測序列之產生方法 |
---|---|
作 者 | 黃崇明; 張明裕; 林源春; | 書刊名 | 中國工程學刊 |
卷 期 | 22:5 1999.09[民88.09] |
頁 次 | 頁593-615 |
分類號 | 312.1 |
關鍵詞 | 協定檢測; 擴充式有限狀態; 機協定資料檢測; 協定控制檢測; Protocol test; Extended finite state machines; EFSMs; Data flow test; Control flow test; |
語 文 | 英文(English) |
中文摘要 | 我們提出一個以擴充式有限狀態機為基礎之可執行的協定資料與協定控制 檢測序列之產生方法。此檢測序列之產生方法將各個協定資料與協定控制所需的檢測序列 加以重疊以獲得較短的檢測序列。在協定資料檢測方面,檢測序列包含要被檢測之協定資料 的定我與輸出,一協定資料檢測序列分為兩個部份: 一為切換序列,其負責連接每一協定資 料的定義轉變; 二為轉變序列,其序列的開頭為一協定資料的定義轉變,而序列的結尾不是 該協定資料的輸出,就是受序列開頭之協定資料定義轉變所影響的另一協定資料之輸出。在 協定控制檢測方面,每一個協定轉變至少需被檢測一次,以斷定該轉變是否與其規格一致。 其協定控制檢測序列包括三個部份: 一為切換序列,其負責切換協定實體的狀態到一待測轉 變的開頭狀態; 二為該待測轉變本身; 三為可驗出該待測轉變之結尾狀態所需的單一輸出入 序列。為了縮短所需檢測序列的全長,我們提出的檢測序列產生方法乃是把各協定資料與協 定控制所需的檢測序列加以重疊以便獲得較短的檢測序列,亦即此檢測序列不僅可用來檢測 協定資料,亦可用來檢測協定控制流程。所採用的重疊方法其步驟如下: 一為在協定資料檢 測序列的產生期間,一並找尋協定控制檢測序列。二乃針對步驟一所未能找尋得到的協定控 制檢測序列,進行各別搜尋。 |
英文摘要 | This paper presents an executable Extended-Finite-State-Machine (EFSM)-based protocol test sequence generation method with specified variable bound. The proposed method overlaps data flow and control flow tests. In the data flow part, the transition paths that contain definition uses and output uses of variables in the protocol specifications need to be detected and tested. An executable data flow test path, which is called an EDO-path, contains two parts: (1) a switching transition sequence that directs to a transition T containing a definition use of a variable V, and (2) a transition sequence originated from T, such that its head transition has a definition use of V and its tail transition contains either (i) an output use of V, or (ii) an output use of another variable which is affected by this definition use of V. In the control flow part, each transition must be tested as to whether it conforms to the original specification or not. An executable control flow test path, which is called an EC-path, for a transition T contains (1) a switching sequence that directs to the head state of T, (2) the transition T itself, and (3) the Unique Input/Output sequence ofT's tail state, which verifies whether the tail state of T is correct or not. To shorten the length of the total test sequences, the proposed method overlaps the control flow test sequences with the data flow test sequences. That is, a test sequence may combine both control flow and data flow tests. The overlap is achieved as follows: when of searching EDO-paths, EC-paths are also searched in the same executable transition exploration sequences. If not all of the EC-paths are overlapped with EDO-paths, the remaining EC-paths are searched individually. Additionally, to provide flexible protocol conformance testing, protocol testers can specify some variable bound for their specific test purposes. That is, protocol testers can run tests they are interested in by specifying the associated variable bound in the protocol specification. |
本系統中英文摘要資訊取自各篇刊載內容。