(3.236.228.250) 您好!臺灣時間:2021/04/19 22:49
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:吳礎宇
研究生(外文):WU, CHU-YU
論文名稱:建立以Estelle為主之通信協定自動測試產生器
論文名稱(外文):Automated test sequence generation from protocol specification written in Estelle
指導教授:盧清松謝文雄謝文雄引用關係
指導教授(外文):LU, GING-SONGXIE, WEN-XIONG
學位類別:碩士
校院名稱:國立中山大學
系所名稱:電機工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1988
畢業學年度:76
語文別:中文
論文頁數:24
中文關鍵詞:通信協定自動測試產生器測試產生器國際性描述語言
相關次數:
  • 被引用被引用:0
  • 點閱點閱:101
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
微電子價格效率比的提昇及資訊技術的進步,促想夢想中分散式電腦網路變為可行,
通信技術的日新月異,使得電腦結合通信,成為未來世界不可或缺的一環,通信協定
更為其中的主導力量。
Estelle, 為國際標準組織所定出的新一代國際性描述語言,尤其使用於通信系統。
傳統描述通信協定的方式如有限狀態機(FSM) 過於簡化,不足以描述實際的通信協
定。Estelle 乃根據新一代描述模式延伸有限狀態機(EFSM)而設計,用以處理複雜
,實際的通信協定。
「通信協定測試」用以測試系統是否符合原先通信協定規約的要求。
本文提出的方法,首先籍由自動程式,將Estelle 內之predicates語言結構先素消除
,並推導出Abstract machine模式,根據部份測試路徑的理念,以推導測試資料。最
後以Regular expression得到完整的測試路徑。
此種方式,雖依部分測試路徑觀念來推導,但實際上去除了不可行及不可能序在的路
徑,並得到較實際的結果。

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔