首页> 中国专利> 一种验证分布式协议活性属性容错机制的检测方法及装置

一种验证分布式协议活性属性容错机制的检测方法及装置

页面导航

摘要
著录项
相似文献

摘要

本发明涉及模型检测领域，具体是涉及一种验证分布式协议活性属性容错机制的检测方法及装置，包括以下步骤：初始化待验证系统；获取当前状态下待验证系统可以执行的迁移集T_Set；定义对等节点；定义相同操作；基于对等约减策略约减迁移集T_Set；获取迁移后待验证系统所处状态；检查迁移后待验证系统所处状态安全性属性，获取安全性状态；检查安全性状态的活性属性，获取活性状态，注入故障，重新检查待验证系统所处状态的安全性属性和活性属性；输出反例集C，本发明的验证效果更好，同时在探索更少的执行序列情况下即可等价遍历整个空间。

著录项

公开/公告号CN112181844B

专利类型发明专利
公开/公告日2022-02-18

原文格式PDF
申请/专利权人南京大学;
展开▼

申请/专利号CN202011083317.8
发明设计人吴化尧;陆超逸;聂长海;
展开▼

申请日2020-10-12
分类号G06F11/36(20060101);G06F11/34(20060101);
代理机构32535 苏州汇智联科知识产权代理有限公司;
代理人黄晶晶
地址 210023 江苏省南京市栖霞区仙林大道163号
入库时间 2022-08-23 13:07:42

相似文献

专利
中文文献
外文文献

1. 一种验证分布式协议活性属性容错机制的检测方法及装置 [P] . 中国专利： CN112181844B . 2022.02.18
2. 一种验证分布式协议活性属性容错机制的检测方法及装置 [P] . 中国专利： CN112181844A . 2021-01-05
3. DATA RECEIVING DEVICE BASED ON DISTRIBUTED NETWORK PROTOCOL AND INTRUSION DETECTION METHOD THEREOF [P] . 韩国专利： KR101585876B1 . 2016-01-15

机译：基于分布式网络协议的数据接收装置及其入侵检测方法
4. METHOD AND DEVICE FOR PROVIDING A PROTOCOL FOR ENABLING A WIRELESS TCP SESSION USING A DISTRIBUTED TCP CONNECTION [P] . AT464728T . 2010-04-15

机译：提供一种使用分布式TCP连接来启用无线TCP会话的协议的方法和装置
5. Method and device for detecting connectivity termination of internet protocol version 6 access networks [P] . 美国专利： US8332513B2 . 2012-12-11

机译：一种互联网协议第6版接入网连接终止的检测方法及装置