书籍目录
首页
分类
免费
排行
我的书架
1-50章
51-51章
共51章
免费
版权信息
免费
内容简介
免费
前言
免费
如何阅读、学习本书
免费
第1章 概论
免费
1.1 协议
免费
1.2 协议工程
免费
第2章 协议设计技术
免费
2.1 协 议 模 型
免费
2.2 协议设计的基本内容
免费
2.3 协议设计方法
免费
2.4 差错控制技术
免费
2.5 流量控制技术
免费
第3章 协议形式化描述技术
免费
3.1 概述
3.2 FSM
3.3 PetriNet
3.4 时序逻辑
3.5 通信顺序进程
第4章 协议形式描述语言
4.1 SDL语言
4.2 ESTELLE语言
4.3 LOTOS语言
4.4 各种形式描述技术的比较
第5章 协议验证技术
5.1 概述
5.2 协议性质
5.3 可达性分析
5.4 不变性分析
第6章 协议验证工具
6.1 SPIN概述
6.2 PROMELA语言
6.3 SPIN的应用
第7章 协议一致性测试技术
7.1 一致性测试概述
7.2 一致性测试的概念和方法
7.3 一致性测试方法
7.4 TTCN概述
7.5 基本语言要素
7.6 TTCN中的数据类型
7.7 定时器和操作符
7.8 函数和可选步
7.9 测试例
7.10 程序语句和操作
7.11 通信操作
7.12 模块控制
7.13 简单测试案例描述
7.14 一致性测试系统
7.15 测试集生成方法
7.16 一致性测试工具
×