← 返回列表
基于AIGC的区块链智能合约IDE验证测试方法和系统
摘要文本
本发明提供了一种基于AIGC的区块链智能合约IDE验证测试方法和系统，包括：步骤1：智能合约的编写；步骤2：合约分析优化流程；步骤3：智能合约的修改；步骤4：形式化验证；步骤5：合约测试；步骤6：链上最终验证测试；步骤7：进行数据投喂训练及模型更新。本发明可以通过机器学习算法对大量的代码进行分析，快速发现潜在的安全漏洞，提高安全检测的效率，使用AI提示词后，AI修复识别代码的能力更强。
申请人信息
- 申请人:上海金仕达卫宁软件科技有限公司
- 申请人地址:200001 上海市黄浦区北京东路390-408号全幢2层224室
- 发明人: 上海金仕达卫宁软件科技有限公司
专利详细信息
| 项目 | 内容 |
|---|---|
| 专利名称 | 基于AIGC的区块链智能合约IDE验证测试方法和系统 |
| 专利类型 | 发明申请 |
| 申请号 | CN202311559675.5 |
| 申请日 | 2023/11/21 |
| 公告号 | CN117667676A |
| 公开日 | 2024/3/8 |
| IPC主分类号 | G06F11/36 |
| 权利人 | 上海金仕达卫宁软件科技有限公司 |
| 发明人 | 赵蒙海; 吴飞 |
| 地址 | 上海市黄浦区北京东路390-408号全幢2层224室 |
专利主权项内容
1.一种基于AIGC的区块链智能合约IDE验证测试方法，其特征在于，包括：步骤1：使用智能合约IDE编写代码，并得到代码的相关提示词；步骤2：将代码以及相关提示词通过接口传给AI，通过AI对智能合约进行分析，找出其中的漏洞和错误，并返回提供相应的修复方案；步骤3：开发者根据AI提供的修复方案进行智能合约代码的修改，然后将修复后的代码再次提交给AI进行分析；步骤4：在智能合约代码经平台编译验证无误后，与区块链合约安全性形式化验证相关的提示词融合；步骤5：通过AI根据业务和功能逻辑写出测试案例，对合约进行测试，验证合约的正确性；步骤6：在区块链网络上进行模拟功能逻辑案例测试和攻击测试，验证智能合约代码修改的有效性和安全性；步骤7：进行数据投喂训练及模型更新。