[發明專利]一種區塊鏈智能合約的仿真檢查方法及裝置在審
| 申請號： | 201910096086.5 | 申請日： | 2019-01-31 |
| 公開（公告）號： | CN109800174A | 公開（公告）日： | 2019-05-24 |
| 發明（設計）人： | 魏明;阮安邦;馬飛;胡志琳 | 申請（專利權）人： | 北京八分量信息科技有限公司 |
| 主分類號： | G06F11/36 | 分類號： | G06F11/36 |
| 代理公司： | 濟南信達專利事務所有限公司 37100 | 代理人： | 李世喆 |
| 地址： | 100080 北京市*** | 國省代碼： | 北京;11 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 智能 檢查規則 檢查 區塊 仿真檢查 載入 仿真運行 預先建立 | ||
1.一種區塊鏈智能合約的仿真檢查方法，其特征在于，
預先建立區塊鏈智能合約的檢查環境；
在所述檢查環境中設置智能合約加載入口和檢查規則加載入口；
還包括：
通過所述檢查規則加載入口向所述檢查環境中加載檢查規則；
通過所述智能合約加載入口向所述檢查環境中加載待檢查的智能合約；
在所述檢查環境中根據所述檢查規則和所述待檢查的智能合約進行仿真運行，利用所述檢查規則對所述待檢查的智能合約進行檢查。
2.根據權利要求1所述的方法，其特征在于，
進一步包括：
根據區塊鏈智能合約的語法要求，生成語法檢查規則；
所述通過所述檢查規則加載入口向所述檢查環境中加載檢查規則，包括：
通過所述檢查規則加載入口向所述檢查環境中所述語法檢查規則；
所述在所述檢查環境中根據所述檢查規則和所述待檢查的智能合約進行仿真運行，利用所述檢查規則對所述待檢查的智能合約進行檢查，包括：
在所述檢查環境中根據所述語法檢查規則和所述待檢查的智能合約進行仿真運行，利用所述語法檢查規則，判斷所述待檢查的智能合約是否智能合約的語法要求。
3.根據權利要求1所述的方法，其特征在于，
進一步包括：
根據針對區塊鏈智能合約的量化規定，生成量化檢查規則；
所述通過所述檢查規則加載入口向所述檢查環境中加載檢查規則，包括：
通過所述檢查規則加載入口向所述檢查環境中加載所述量化檢查規則；
所述在所述檢查環境中根據所述檢查規則和所述待檢查的智能合約進行仿真運行，利用所述檢查規則對所述待檢查的智能合約進行檢查，包括：
在所述檢查環境中根據所述量化檢查規則和所述待檢查的智能合約進行仿真運行，利用所述量化檢查規則，判斷所述待檢查的智能合約是否針對區塊鏈智能合約的量化規定。
4.根據權利要求3所述的方法，其特征在于，
所述針對區塊鏈智能合約的量化規定，包括：針對區塊鏈智能合約的國家法律中的可量化內容、針對區塊鏈智能合約的行業法規中的可量化內容、針對區塊鏈智能合約的企業規定中的可量化內容。
5.根據權利要求1-4中任一所述的方法，其特征在于，
進一步包括：
在所述檢查環境中設置檢查結果出口；
在所述在所述檢查環境中根據所述檢查規則和所述待檢查的智能合約進行仿真運行，利用所述檢查規則對所述待檢查的智能合約進行檢查之后，進一步包括：
生成針對所述待檢查的智能合約的檢查結果；
將所述檢查結果從所述檢查結果出口中輸出。
6.一種區塊鏈智能合約的仿真檢查裝置，其特征在于，包括：
第一設置單元，用于建立區塊鏈智能合約的檢查環境，在所述檢查環境中設置智能合約加載入口和檢查規則加載入口；
規則加載單元，用于通過所述檢查規則加載入口向所述檢查環境中加載檢查規則；
合約加載單元，用于通過所述智能合約加載入口向所述檢查環境中加載待檢查的智能合約；
檢查單元，用于在所述檢查環境中根據所述檢查規則和所述待檢查的智能合約進行仿真運行，利用所述檢查規則對所述待檢查的智能合約進行檢查。
7.根據權利要求6所述的裝置，其特征在于，
進一步包括：
語法規則生成單元，用于根據區塊鏈智能合約的語法要求，生成語法檢查規則；
所述規則加載單元，用于通過所述檢查規則加載入口向所述檢查環境中所述語法檢查規則；
所述檢查單元，用于在所述檢查環境中根據所述語法檢查規則和所述待檢查的智能合約進行仿真運行，利用所述語法檢查規則，判斷所述待檢查的智能合約是否智能合約的語法要求。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于北京八分量信息科技有限公司，未經北京八分量信息科技有限公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201910096086.5/1.html，轉載請聲明來源鉆瓜專利網。
