Executable EFSM-based Data Flow and Control Flow Protocol Test Sequence Generation Using Reachability Analysis
推薦分享
資源連結
連結到原始資料 (您即將開啟新視窗離開本站)後設資料
- 資料識別：
- A99016602
- 資料類型：
- 期刊論文
- 著作者：
- 黃崇明(Huang， Chung-ming) 張明裕(Jang， Ming-yuhe) 林源春(Lin， Yuan-chuen)
- 主題與關鍵字：
- Protocol test Extended finite state machines EFSMs Data flow test Control flow test 協定檢測 擴充式有限狀態 機協定資料檢測 協定控制檢測
- 描述：
- 來源期刊:中國工程學刊
- 卷期:22:5 民88.09
- 頁次:頁593-615
- 日期：
- 19990900
- 來源：
- 臺灣期刊論文索引系統
- 管理權：
- 國家圖書館
授權聯絡窗口
- 管理單位：知識服務組-期刊
聯絡E-mail：nclper@ncl.edu.tw
電話：02-23619132轉305
