[发明专利]区块链智能合约的逻辑验证方法和装置及计算机存储介质有效
| 申请号： | 201710978144.8 | 申请日： | 2017-10-18 |
| 公开（公告）号： | CN109684189B | 公开（公告）日： | 2022-02-11 |
| 发明（设计）人： | 皮冰锋;华松;周恩策;孙俊 | 申请（专利权）人： | 富士通株式会社 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F9/455 |
| 代理公司： | 北京集佳知识产权代理有限公司 11227 | 代理人： | 朱胜;江河清 |
| 地址： | 日本神*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及区块链智能合约的逻辑验证方法和装置及计算机存储介质。该方法包括：对区块链应用的智能合约集合进行解析来生成关系图谱，关系图谱包括智能合约集合中的所有公共函数、变量以及它们之间的调用关系；基于关系图谱构造多种类型的逻辑链；在模拟的区块链网络上对所构造的逻辑链进行仿真；以及记录仿真的执行日志，来验证智能合约集合的逻辑正确性。根据本发明的方法和装置可以收集并分析智能合约的函数执行日志，以便发现逻辑错误。 | ||
| 搜索关键词： | 区块 智能 合约 逻辑 验证 方法 装置 计算机 存储 介质 | ||
【主权项】：
1.一种区块链智能合约的逻辑验证方法，包括：对区块链应用的智能合约集合进行解析来生成关系图谱，所述关系图谱包括智能合约集合中的所有公共函数、变量以及它们之间的调用关系；基于所述关系图谱构造多种类型的逻辑链；在模拟的区块链网络上对所构造的逻辑链进行仿真；以及记录仿真的执行日志，来验证所述智能合约集合的逻辑正确性。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于富士通株式会社，未经富士通株式会社许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710978144.8/，转载请声明来源钻瓜专利网。
