CN110806982A - 一种自动化校验的合约形式化验证方法 - Google Patents

一种自动化校验的合约形式化验证方法 Download PDF

Info

Publication number
CN110806982A
CN110806982A CN201911099983.8A CN201911099983A CN110806982A CN 110806982 A CN110806982 A CN 110806982A CN 201911099983 A CN201911099983 A CN 201911099983A CN 110806982 A CN110806982 A CN 110806982A
Authority
CN
China
Prior art keywords
contract
contracts
checking
block chain
template
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Withdrawn
Application number
CN201911099983.8A
Other languages
English (en)
Inventor
戴卫国
郭建奇
傅昊
戴元熙
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Beijing Inter Core Technology Co Ltd
Original Assignee
Beijing Inter Core Technology Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Beijing Inter Core Technology Co Ltd filed Critical Beijing Inter Core Technology Co Ltd
Priority to CN201911099983.8A priority Critical patent/CN110806982A/zh
Publication of CN110806982A publication Critical patent/CN110806982A/zh
Withdrawn legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/27—Replication, distribution or synchronisation of data between databases or within a distributed database system; Distributed database system architectures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
    • G06Q40/04—Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Business, Economics & Management (AREA)
  • Finance (AREA)
  • Databases & Information Systems (AREA)
  • Accounting & Taxation (AREA)
  • General Engineering & Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • Data Mining & Analysis (AREA)
  • Computing Systems (AREA)
  • Development Economics (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Strategic Management (AREA)
  • Technology Law (AREA)
  • General Business, Economics & Management (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

本发明公开了一种自动化校验的合约形式化验证方法，所述方法包括：S1构建区块链网络用于执行智能合约合约贡献者上传合约；S2参考编译器，编写一套自动化合约检查程序，包括模型检查、合约解释、元数据检查合约模板平台接收合约和展示合约，做好审核和监管义务；S3通过形式化验证的合约可以部署到区块链上合约使用者选取最适合的模板，通过参数调用模板。本发明有益效果在于，通过区块链智能合约形式化验证，可以有效找出合约存在的问题，提醒开发者及时解决相关的bug，进行高效开发，减少错误合约部署到区块链时的反复验证操作。

Description

一种自动化校验的合约形式化验证方法
技术领域
本发明涉及信息技术领域，具体而言，涉及一种自动化校验的合约形式化验证方法。
背景技术
区块链技术是一种去中心化、集体维护分布式账本的技术方案，其本质是多个节点共同参与的分布式数据库系统，区块链不是一种单一的技术，而是多技术整合的结果，利用区块链维护一个可靠的，难以篡改的账本记录，可以降低信任风险，有效降低众参与方维护成本。
智能合约是区块链技术的一个重要部分，通过智能合约可以在区块链上执行协议的操作。但是至今区块链没有一个完善的合约检测系统，可以自动化检测合约的相关规范问题。比如版本控制，数据越界，死循环等问题。。
发明内容
鉴于现有技术的不足，本发明为一种自动化校验的合约形式化验证方法，其目的是进行合约的自动化校验。从而减少开发者的开发难度，减少区块链网络的测试负担。
为了实现上述目的，本发明采用的技术方案如下：
一种自动化校验的合约形式化验证方法，所述方法包括：
S1构建区块链网络用于执行智能合约合约贡献者上传合约；
S2参考编译器，编写一套自动化合约检查程序，包括模型检查、合约解释、元数据检查合约模板平台接收合约和展示合约，做好审核和监管义务；
S3通过形式化验证的合约可以部署到区块链上合约使用者选取最适合的模板，通过参数调用模板。
本发明有益效果在于，通过区块链智能合约形式化验证，可以有效找出合约存在的问题，提醒开发者及时解决相关的bug，进行高效开发，减少错误合约部署到区块链时的反复验证操作。
附图说明
图1为本发明的流程示意图；
具体实施方式
下将对本发明作进一步的描述，需要说明的是，本实施例以本技术方案为前提，给出了详细的实施方式和具体的操作过程，但本发明的保护范围并不限于本实施例。
如图1所示，本发明为一种自动化校验的合约形式化验证方法，所述方法包括：
S1构建区块链网络用于执行智能合约合约贡献者上传合约；
S2参考编译器，编写一套自动化合约检查程序，包括模型检查、合约解释、元数据检查合约模板平台接收合约和展示合约，做好审核和监管义务；
S3通过形式化验证的合约可以部署到区块链上合约使用者选取最适合的模板，通过参数调用模板。
对于本领域的技术人员来说，可根据以上描述的技术方案以及构思，做出其它各种相应的改变以及变形，而所有的这些改变以及变形都应该属于本发明权利要求的保护范围之内。

Claims (1)

1.一种自动化校验的合约形式化验证方法，其特征在于，所述方法包括：
S1构建区块链网络用于执行智能合约合约贡献者上传合约；
S2参考编译器，编写一套自动化合约检查程序，包括模型检查、合约解释、元数据检查合约模板平台接收合约和展示合约，做好审核和监管义务；
S3通过形式化验证的合约可以部署到区块链上合约使用者选取最适合的模板，通过参数调用模板。
CN201911099983.8A 2019-11-12 2019-11-12 一种自动化校验的合约形式化验证方法 Withdrawn CN110806982A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201911099983.8A CN110806982A (zh) 2019-11-12 2019-11-12 一种自动化校验的合约形式化验证方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201911099983.8A CN110806982A (zh) 2019-11-12 2019-11-12 一种自动化校验的合约形式化验证方法

Publications (1)

Publication Number Publication Date
CN110806982A true CN110806982A (zh) 2020-02-18

Family

ID=69502153

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201911099983.8A Withdrawn CN110806982A (zh) 2019-11-12 2019-11-12 一种自动化校验的合约形式化验证方法

Country Status (1)

Country Link
CN (1) CN110806982A (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113407188A (zh) * 2021-06-03 2021-09-17 广东辰宜信息科技有限公司 智能合约的构建方法、装置、计算机设备及存储介质

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20180123779A1 (en) * 2016-11-01 2018-05-03 Jiangang Zhang Flexible Blockchain Smart-Contract Deployment
CN110428232A (zh) * 2019-08-08 2019-11-08 北京芯际科技有限公司 一种面向多任务的智能合约模板的方法

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20180123779A1 (en) * 2016-11-01 2018-05-03 Jiangang Zhang Flexible Blockchain Smart-Contract Deployment
CN110428232A (zh) * 2019-08-08 2019-11-08 北京芯际科技有限公司 一种面向多任务的智能合约模板的方法

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113407188A (zh) * 2021-06-03 2021-09-17 广东辰宜信息科技有限公司 智能合约的构建方法、装置、计算机设备及存储介质
CN113407188B (zh) * 2021-06-03 2024-02-09 广东辰宜信息科技有限公司 智能合约的构建方法、装置、计算机设备及存储介质

Similar Documents

Publication Publication Date Title
US20210011840A1 (en) Software testing method, system, apparatus, device medium, and computer program product
Baker et al. Model-driven engineering in a large industrial context—Motorola case study
CN106528424B (zh) 基于后台系统服务或接口的测试方法和测试平台
CN105760296B (zh) 自动化测试控制方法、装置及终端
CN106446412B (zh) 一种航空电子系统基于模型的测试方法
CN105608258A (zh) 一种基于模型的系统设计及信息流可视化仿真系统及方法
CN105138386A (zh) 基于Jenkins与vManager的逻辑设计验证持续集成平台
CN109948804A (zh) 跨平台拖拽式深度学习建模与训练方法及装置
CN103678124B (zh) 基于持续集成环境的视频监控平台自动测试方法及装置
CN107608902A (zh) 程序接口测试方法及装置
CN106227654A (zh) 一种测试平台
CN105446200B (zh) 一种自动控制方法及装置
CN112380255A (zh) 一种业务处理方法、装置、设备和存储介质
CN109558316A (zh) 一种测试策略自动化配置的http接口动态化参数测试方法
CN109885499A (zh) 一种机器人自动化测试系统及测试方法
CN106445618A (zh) 一种数据库自动升级方法
CN107894956A (zh) 一种远程bios升降级刷新自动化测试方法
CN105591779A (zh) 网元巡检方法及装置
CN106528429A (zh) 一种ui界面测试方法及装置
CN110806982A (zh) 一种自动化校验的合约形式化验证方法
CN107703773A (zh) 一种基于硬件在环仿真系统的软件测试方法及装置
CN114676053A (zh) 一种硬件设备的自动化分析方法及装置
CN105550103A (zh) 一种基于自定义测试脚本的自动化测试方法
CN111736893A (zh) 一种软件包版本核验方法及相关装置
CN113867714A (zh) 一种适配多语言的自动代码生成方法

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
WW01 Invention patent application withdrawn after publication
WW01 Invention patent application withdrawn after publication

Application publication date: 20200218