[发明专利]一种验证分布式协议活性属性容错机制的检测方法及装置有效
| 申请号： | 202011083317.8 | 申请日： | 2020-10-12 |
| 公开（公告）号： | CN112181844B | 公开（公告）日： | 2022-02-18 |
| 发明（设计）人： | 吴化尧;陆超逸;聂长海 | 申请（专利权）人： | 南京大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F11/34 |
| 代理公司： | 苏州汇智联科知识产权代理有限公司 32535 | 代理人： | 黄晶晶 |
| 地址： | 210023 江苏*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及模型检测领域，具体是涉及一种验证分布式协议活性属性容错机制的检测方法及装置，包括以下步骤：初始化待验证系统；获取当前状态下待验证系统可以执行的迁移集T_Set；定义对等节点；定义相同操作；基于对等约减策略约减迁移集T_Set；获取迁移后待验证系统所处状态；检查迁移后待验证系统所处状态安全性属性，获取安全性状态；检查安全性状态的活性属性，获取活性状态，注入故障，重新检查待验证系统所处状态的安全性属性和活性属性；输出反例集C，本发明的验证效果更好，同时在探索更少的执行序列情况下即可等价遍历整个空间。 | ||
| 搜索关键词： | 一种 验证 分布式 协议 活性 属性 容错 机制 检测 方法 装置 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京大学，未经南京大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011083317.8/，转载请声明来源钻瓜专利网。
