图书介绍

网络协议工程【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

吴礼发编著著
出版社：北京：电子工业出版社
ISBN：9787121131301
出版时间：2011
标注页数：246页
文件大小：17MB
文件页数：257页
主题词：

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：18bab1eb7d3171b6d11ef8a5d6b59e5b

下载说明

网络协议工程PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第1章概论1

1.1 协议1

1.1.1 定义1

1.1.2 协议的标准化2

1.2 协议工程5

第2章协议设计技术10

2.1 协议模型10

2.2 协议设计的基本内容11

2.2.1 协议的通信环境11

2.2.2 协议提供的服务13

2.2.3 协议功能13

2.2.4 协议元素16

2.2.5 协议组织19

2.2.6 协议文本20

2.3 协议设计方法21

2.3.1 协议设计原则21

2.3.2 分层次的协议设计22

2.3.3 自顶向下的协议设计23

2.4 差错控制技术24

2.4.1 差错类型24

2.4.2 差错检测技术25

2.4.3 差错控制技术32

2.4.4 差错控制与层次的关系38

2.5 流量控制技术40

2.5.1 X-on/X-off协议41

2.5.2 滑动窗口协议41

第3章协议形式化描述技术48

3.1 概述48

3.2 FSM49

3.2.1 FSM的基本概念49

3.2.2 FSM的简化52

3.2.3 FSM的错误模型53

3.2.4 FSM的合并54

3.2.5 扩展的有限状态机（EFSM）54

3.3 PetriNet55

3.3.1 Petri网的基本概念55

3.3.2 Petri网的扩充57

3.3.3 Petri网的性质58

3.3.4 Petri网在协议描述中的应用61

3.4 时序逻辑63

3.4.1 基本概念64

3.4.2 时序逻辑系统65

3.4.3 时序逻辑在协议描述中的应用67

3.5 通信顺序进程70

3.5.1 概述70

3.5.2 CSP在协议描述中的应用73

第4章协议形式描述语言77

4.1 SDL语言77

4.1.1 SDL语言概述77

4.1.2 SDL中的数据79

4.1.3 SDL中的宏定义83

4.1.4 用SDL描述系统、功能块和进程84

4.1.5 SDL在协议描述中的应用举例88

4.2 ESTELLE语言90

4.2.1 ESTELLE语言概述90

4.2.2 模块中的概念91

4.2.3 模块的说明93

4.2.3 ESTELLE语句96

4.2.4 ESTELLE在协议描述中的应用举例99

4.3 LOTOS语言103

4.3.1 LOTOS中的数据类型103

4.3.2 LOTOS的基本概念105

4.3.3 LOTOS的其他功能108

4.3.4 协议描述举例109

4.4 各种形式描述技术的比较111

第5章协议验证技术115

5.1 概述115

5.2 协议性质118

5.2.1 一般性质和特殊性质118

5.2.2 安全性和活动性120

5.3 可达性分析121

5.3.1 可达性分析算法122

5.3.2 基于可达性分析的协议错误的检测方法124

5.3.3 基于Petri网的可达性分析125

5.3.4 状态爆炸问题126

5.4 不变性分析127

5.4.1 不变性证明127

5.4.2 不变性监测系统130

第6章协议验证工具135

6.1 SPIN概述135

6.2 PROMELA语言136

6.2.1 语句的可执行性136

6.2.2 变量和数据类型137

6.2.3 进程类型138

6.2.4 报文通道140

6.2.5 控制流143

6.2.6 超时145

6.2.7 协议正确性描述语句146

6.2.8 协议描述示例150

6.3 SPIN的应用152

6.3.1 理想状态下的数据链路层协议152

6.3.2 信道有误码但应答帧不出错不丢失的数据链路层协议155

6.3.3 信道有误码但报文和应答均不丢失的数据链路层协议159

第7章协议一致性测试技术165

7.1 一致性测试概述165

7.2 一致性测试的概念和方法167

7.2.1 一致性测试要求167

7.2.2 一致性测试级别168

7.2.3 一致性测试模型170

7.2.4 一致性测试流程172

7.3 一致性测试方法174

7.4 TTCN概述177

7.5 基本语言要素182

7.6 TTCN中的数据类型184

7.6.1 基本类型185

7.6.2 子类型186

7.6.3 结构化的类型187

7.6.4 特殊的配置类型193

7.6.5 数组196

7.6.6 常量和变量197

7.7 定时器和操作符198

7.8 函数和可选步200

7.8.1 函数200

7.8.2 可选步203

7.9 测试例206

7.10 程序语句和操作210

7.11 通信操作218

7.11.1 基于消息的通信操作219

7.11.2 基于过程的通信操作221

7.11.3 查询和控制操作226

7.12 模块控制228

7.13 简单测试案例描述230

7.14 一致性测试系统233

7.15 测试集生成方法235

7.15.1 基于有限状态机的测试集生成方法235

7.15.2 基于形式描述语言的测试集生成方法240

7.16 一致性测试工具241

附录A 英文缩略词245