Estelle 模型之通訊協定符合性測試方法

Abstract

以往通訊協定符合性測試研究多採用 FSM、CFSM 或 ECFSM 模型，這些模 型無法完全描述真實通訊協定的行為，而可描述真實通訊協定行為之 Estelle 模型，雖也有一些研究成果，但無法保證其符合性。本論文針 對 Estelle 模型中靜態部分提出一套以路徑導向方法為基礎產生測試個 案，及能達可觀察之弱符合性的測試個案選擇方法本研究之方法具有以下 特色: (1) 定義 Estelle 的弱符合性 (2) 提出路徑導向為基礎之符合性 測試架構 A. 提出新的迴圈敘述標準化方法 B. 採用修改之路徑導向方法 產生測試個案 C. 提出路徑化簡概念 D. 產生無短暫狀態之狀態轉移圖， 並藉以選擇測試個案 (3) 提出狀態與轉移測試，邊界值測試與輸出敘述 測試方法產生測試集，其聯集為能達可觀察性之弱符合性測試集 Most researches of protocol conformance testing are based on the FSM, CSFM or ECFSM models. But these models are not expressive enough to delineate realistic protocols. As for the Estelle model, it is expressive enough but current testing methods limit its expressivity and the generated test suite cannot guarantee the conformance on implementation, that is the purpose of conformance testing. Therefore, this thesis proposes an Estelle conformance testing method that is based on the static part of the Estelle model,generates test cases underlying the path-based method and generates a test suite to guarantee the observable weak conformance. The major contribution of this research includes: (1) Propose the new definition of the observable weak conformance on the Estelle model. (2) Propose a conformance testing architecture underlying the path-based method with the following techniques: A. Use an improved loop-statement normalization. B. Modify the path-based method to generate test cases. C. Use the path simplification technique. D. Use the global state-transition diagram without transient states to select the test cases. (3) Propose the test case selection methods to guarantee the observable weak conformance.