您好、欢迎来到现金彩票网!
当前位置:秒速快3 > 数据描述语言 >

数据通信协议的协议工程技术

发布时间:2019-07-07 03:57 来源:未知 编辑:admin

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  协议实用化的主要技术。主要包括协议形式化描述技术、协议验证技术、协议分析技术和协议一致性测试技术。

  协议形式化描述技术是用某种具有形式语法或语义的语言(包括状态图表等)对某种给定协议进行说明的技术,是为协议实现莫定基础的一种有效手段,是使协议无含糊性和能够唯一解释的一种表示技术。CCITT和ISO相继研究出SDL(说明和描述语言)、ESTELLE(扩展的状态转移语言)和LOTOSC时序说明语言)三种形式化描述技术。

  ①状态转移法 利用状态转移图表示协议和验证协议的各种性质的方法。这种方法容易检测死锁现象以及检测出现特殊状态的可能性,也可以用计算机自动实现。缺点是当协议规模增大和复杂化时,状态数增加,计算机处理就比较困难。这种方法多用于已经模型化了的通信进程间的事件交换。

  ②编程语言法 以PASCAL等高级编程语言为基础,增加适于表示协议的固定命令集所形成的语言规范的验证方法。这种方法可以用于验证用状态转移法难以验证的序列号和定时值等参数的处理规程,

  ③时序逻辑法 在逻辑运算符(逻辑和、逻辑乘、同意、否定等)的基础上增加时间运算符的规范描述验证方法。这种方法对协议生存性和安全性的验证能力强,但当协议规模较大时,描述内容的可理解性降低,验证变得困难。

  ④代数方法 利用操作、参数的说明部分(定义域、值域)和公理来规定协议规范的验证方法。这种方法的优点是协议规范作为公理给出,验证和协议规范描述可在同一框架中讨论。缺点是协议规模大时,可理解性降低,维护变得困难。

  协议分析技术是在协议开发;、试验和维护等过程中,对协议的执行状况进行判断和故障诊断,从而判定协议执行正确性的技术。协议分析是利用协议分析仪,采用监控和模拟两种方式来实现的。监控方式是协议分析仪通过显示和存储从线路上接收到的数据信号,供操作人员判断和分析。模拟方式是用协议分析仪代替主计算机或终端,在预先编制的程序控制下,检査和分析被测设备执行协议的正确性。

  协议一致性测试技术测试数据通信系统中协议实现和协议标准之间一致性程度的技术。其目的在于提高数据通信设备之间的互操作性。

http://istighcomputing.com/shujumiaoshuyuyan/487.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有