Abstract
通訊協定的設計、實現及使用已經越來越普遍。通訊協定的實現所需要的步驟大致上有：規格書的閱讀、將要實現的部份詳細描述、驗證描述有無矛盾或漏洞、程式碼的撰寫、程式碼與規格的一致性測試、製作成產品等步驟。 對於通訊協定工程來說，通訊協定的驗證、模擬及測試是相當重要的。一搬來說，通訊協定的測試序列有相當多的自跺找尋方式，但都還未能達到百分之百。未能隨時使用各個不同的序列產生方法，發展出一套工具將是相當的重要。 在本篇論文中，我們提供了一個工具，使得我們能自動地從ＳＤＬ的規格轉換到擴充式有限狀態機的模式．為了要協助通訊協定工程的自動化處理，我們必須要從通訊協定規格中取得相當的資訊．在目前，ＳＤＬ是描述通訊協定中較為人採用的一種語言．不幸地，在它的語法中，有些會增加自動分析的困難度．為了要將ＳＤＬ轉換到一般通訊協定的分析模型，我們提供了一個建立在編譯器設計技巧的一些方法．在公用領域中，有兩個協助撰寫編譯器的工具，分別是字句分析產生器--ＬＥＸ和語意分析產生器--ＹＡＣＣ．在這兩個工具的幫助之下，我們能設計了ＳＤＬ的分析器．透過這個分析器，我們不但能從通訊協定規格直接產生出擴充式有限狀態機並且能焠取出一些額外的資訊．這些額外的資訊包含了在ＳＤＬ中的一些變數之間的關係和這些變數在轉換成為擴充式有限狀態機後的對應關係．在最後我們附上一個完整的例子--ＩＮＲＥＳ通訊協定，一個簡單的骨架--ＤＥＣＴ通訊協定的ＤＬＣ層． 在本篇論文中將分為：簡介，基礎知識介紹，ＳＤＬ及使用工具，擴充式有限狀態機的產生，基本資料分析，產生結果及結論．