通訊協定實驗室的軟體工具

1. Get 系統 : 一致性測試序列產生系統

輸入 : FSM 描述的通訊協定規格

輸出 : 一致性測試序列

2. Spin 系統 : 通訊協定的驗証系統

輸入 : Promela 描述的規格

輸出 : 驗証的結果

3. SDT 系統 : 以 SDL 為主的通訊協定發展及模擬

輸入 : SDL 描述的規格

輸出 : 模擬結果與報告

4. ITEX 系統 : TTCN 測試序列的發展及模擬

輸入 : TTCN 測試序列(SDT產生及人工輸入)

輸出 : 測試序列的 test converge, 模擬測試 的 結果

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本