[发明专利]基于构造类别代数的协议描述及其测试序列生成方法无效
| 申请号： | 200410064946.0 | 申请日： | 2004-10-14 |
| 公开（公告）号： | CN1761216A | 公开（公告）日： | 2006-04-19 |
| 发明（设计）人： | 赵宝华;屈玉贵;周颢;孙宇霖;周晓煜;柯尧 | 申请（专利权）人： | 中国科学技术大学 |
| 主分类号： | H04L12/26 | 分类号： | H04L12/26;H04L29/06 |
| 代理公司： | 南京经纬专利商标代理有限公司 | 代理人： | 叶连生 |
| 地址： | 230026*** | 国省代码： | 安徽;34 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 基于构造类别代数的协议描述及其测试序列生成方法是一种用于通信协议一致性测试的方法，通信协议描述方法为：确定协议文本中的数据部分和控制部分，将其作为待描述的实体对象；对某个实体对象，根据协议文本的描述，对某个实体对象，协议中描述了该对象的生成操作，对某个实体对象，协议中定义了对该对象的各种操作，对某个实体对象，协议中定义了对该对象的限制和要求，测试序列产生方法为：根据测试环境中对被测体的操作和观察接口，将其在协议描述中的对应部分确定为可观察函数；对类别代数规范中的各个等式公理，按照规则匹配的方式进行重写；将其中构造函数替换为对被测体执行的操作，将可观察函数替换为进行的观察操作，从而生成测试序列。 | ||
| 搜索关键词： | 基于 构造 类别 代数 协议 描述 及其 测试 序列 生成 方法 | ||
【主权项】：
1、一种基于构造类别代数的协议描述的方法，其特征在于通信协议描述方法为：1)分析被测体实现的通信协议文本，确定协议文本中的数据部分和控制部分，将其作为待描述的实体对象；2)对某个实体对象，根据协议文本的描述，确定那些实体对象与之相关，将这些实体对象集合定义为该对象的类别名的有限集合S；3)对某个实体对象，协议中描述了该对象的生成操作，将这些操作以函数的方式进行表达，称为构造函数，从而形成该对象构造函数的有限集合C；4)对某个实体对象，协议中定义了对该对象的各种操作，包括观察操作和控制操作，以函数的方式进行表达，称为延拓函数，从而形成该对象延拓函数的有限集合E；5)对某个实体对象，协议中定义了对该对象的限制和要求，将这些要求用等式公理的方式进行表达，这种等式公理中只包含构造函数和延拓函数，这些等式公理构成了该对象等式公理的有限集合E；
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学技术大学，未经中国科学技术大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200410064946.0/，转载请声明来源钻瓜专利网。
- 上一篇：一种制作酸奶的方法及其专用酸奶添加剂
- 下一篇：分离二酰亚胺化合物的方法
