Abstract
這篇論文主要是提出一個自動化可執行的資料流程序列之產生方法。我們給定一個以 SDL語言所描述的擴充式有限狀態機(EFSM)的通訊協定規格,我們所題出來的可以對每一個有影響的變數產生定義-使用的路徑(du-path)。在過去幾年□,在通訊協定測試的領域□,有許多不錯方法被提出來。但是,這些方法大部份是針對控制流程測試方面,較少對資料流程測試方面。在有限狀態機(FSM)所研究出來的方法是不適用在擴充式有限狀態機上的,所以我們必須重新定義在擴充式有限狀態機上的測試方法。在1997 年,有人題出了一個方法,只是他們在產生測試序列時沒有考慮其可執行性,所以必須在產生測試序列後將不可執行的刪除。我門所題出來的方法則不需要在產生測試序列之後刪除序列,而且最後還會儘量減少重設(reset)的次數。在第二章□,我們會對擴充式有限狀態機及資料流程測試的概念作簡單的介紹。接下來就是主要的演算法介紹,這個新的方法改進了可執行性和重設的問題,我們的方法主要是對變數的分析,然後得到每個有影響變數的 D-F-U 圖形,再根據這些圖形及一些分析後所得到的資料,我們就能找到 du-path,減少 reset 的次數可以降低測試的成本,我們也將所提出的方法實際應用在 Initiator-Responder(INRES) 通訊協定、Class 2 Transport 通訊協定及Go-Back-N 通訊協定上。在第四章□,我們提出這篇論文所得到的結論及未來希望繼續研究的方向,因為現實生活中的通訊協定都非常複雜,所以我們將測試的工作借由電腦來幫忙。