文档介绍：该【协议工程】是由【静雨蓝梦】上传分享，文档一共【41】页，该文档可以免费在线阅读，需要了解更多关于【协议工程】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。协议工程
主要内容
协议工程概论
协议描述(CCS)
测试序列生成方法法
协议工程概论
协议工程概论
定义:N层内各协议机之之间相互作用的规规则以及它们与外外部环境相互作用用的规则的总和。。
N层可有多个协议议机
外部环境指(N-1)层和(N+1)层协议
作用规则指报文交交换格式与时序和和事件处理程序。
协议由六呀元素组组成:
服务原语及它们的的交换时序
PDU及它们的交交换时序
协议状态
协议事件
协议变量
协议过程(协议行行动与谓词)
N+1层
N-1层
N层
PDU
服务原语
协议过程:协议事件产生时,,协议机根据协议议状态和条件(谓谓词)采取预定的的协议行动
协议工程概论
协议的特性:
事件的成对性
协议过程的原子性性
强时序性
理想协议应有的性性质
活动性
安全性(无死锁与与活锁)
一致性
完备性
协议的复杂化体现现在:
分布性
併发性
异步性
实时性
信道的不稳定性
协议工程概论
一体化的,形式化化的协议开发过程程叫协议工程。
一体化:协议的设计,验证证,实现和测试在在技术上前后衔接接,并能在同一开开发环境中进行。。
形式化:形式描述语言不但但用于各个协议开开发过程,同时作作为不同协议开发发过程的连接手段段。
协议开发中所需要要的各种开发,管管理,维护工具及及协议的各种表示示构成协议工程环环境。
使协议开发一体化化和形式化的理论论和技术,以及协协议工程系统建造造技术叫协议工程程技术。
非形式化描述文本本
转换
形式化描述文本
翻译
机器无关代码
机器相关代码
实现
实现代码
测试套
生成
测试套
测试
验证
性能分析
协议工程的组成
协议工程概论
协议模型
FSM&EFSM
Petrinet
TL(TemporalLogic)
CCS及其它进程程代数
协议描述语言
ITU-TSDL
ISOLOTOS
ISOESTELLE
协议验证
可达性分析reachabilityanalysis)
不变性分析(invarianceanalysis)
等价性分析(equivalenceanalysis)
协议工程概论
协议设计(协议综综合)
单功能协议综合
交替功能协议综合合
多阶段协议综合
协议实现
代码的半自动生成成
数据缓冲与零拷贝贝
协议并行化及网络络处理器
协议测试
性能测试与性能基基准测试
性能测度方法
协议一致性测试
测试描述语言(TTCN)
测试序列生成方法法