協議工程（博士）

研究生課程教學大綱

課程序号：                                   院（系、所）：計算機科學與工程系

一、教學目标和教學要求：

介紹從協議描述、驗證、到協議實現和測試的協議開發過程，使博士生具有使用協議工程方法進行協議開發的能力，為今後從事協議研究工作奠定了理論基礎。

通過本課程的學習，博士生應該掌握以下内容：

1．掌握協議構造過程，能夠對一個具體的協議進行用戶需求、通道特性、協議功能和協議機制、協議的組織、六種協議元素及其關系的描述，最終形成協議文本；

2．掌握協議描述方法，特别是使用FDT标準進行協議的描述；

3．掌握協議驗證方法，能夠使用驗證工具對協議進行分析；

4．掌握協議實現技術；

5．掌握協議一緻性測試技術，熟練使用測試描述語言TTCN描述測試過程，了解測試序列的生成方法。

二、教學大綱（含章節目錄）：

第一章   協議工程概述

(1)  計算機網絡協議

(2)  協議工程活動和方法

(3)  形式描述技術（FDT）

(4)  協議工程工作站

第二章   OSI/RM參考模型

（1）    OSI/RM簡介

（2）   協議的基本成分

（3）   ISDN（綜合業務數字網）

（4）   B-ISDN

（5）   DQDB

（6）   FDDI

第三章   協議構造

（1）   協議構造原理

（2）   協議構造過程

（3）   OSI協議構造

第四章   FDT标準

（1）   Estelle

（2）   SDL

（3）   LOTOS

第五章   協議描述

（1）   描述方法

（2）   服務模型

（3）   協議模型

（4）   有限狀态機（FSM）

（5）   時序邏輯（TL）

（6）   通信進程演算（CCS）

第六章   協議驗證

（1）   驗證方法

（2）   可達性分析

（3）   不變性分析

（4）   程序證明

（5）   等價性分析

（6）   混合分析方法

第七章   協議實現

（1）   實現方法

（2）   代碼半自動生成技術

（3）   模塊通信實現技術

（4）   數據緩沖技術

（5）   協議并行處理技術

第八章   協議測試

（1）   一緻性測試模型

（2）   測試描述語言TTCN

（3）   測試序列生成方法

第九章   實例：協議設計和驗證

（1）   引言

（2）   協議基本元素

（3）   協議驗證模型

（4）   正确性需求表示

（5）   一個驗證例子

（6）   驗證問題

（7）    一些應用

第十章    實例：合作系統

（1）   引言

（2）   形式描述技術

（3）   系統建模和整體描述

（4）   整體描述分析

（5）   實現描述生成

（6）   系統測試