申请/专利权人：上海金仕达卫宁软件科技有限公司

申请日：2023-11-21

公开（公告）日：2024-06-25

公开（公告）号：CN117667676B

主分类号：G06F11/36

分类号：G06F11/36;G06F21/57;G06F16/332

优先权：

专利状态码：有效-授权

法律状态：2024.06.25#授权;2024.03.26#实质审查的生效;2024.03.08#公开

摘要：本发明提供了一种基于AIGC的区块链智能合约IDE验证测试方法和系统，包括：步骤1：智能合约的编写；步骤2：合约分析优化流程；步骤3：智能合约的修改；步骤4：形式化验证；步骤5：合约测试；步骤6：链上最终验证测试；步骤7：进行数据投喂训练及模型更新。本发明可以通过机器学习算法对大量的代码进行分析，快速发现潜在的安全漏洞，提高安全检测的效率，使用AI提示词后，AI修复识别代码的能力更强。

主权项：1.一种基于AIGC的区块链智能合约IDE验证测试方法，其特征在于，包括：步骤1：使用智能合约IDE编写代码，并得到代码的相关提示词；步骤2：将代码以及相关提示词通过接口传给AI，通过AI对智能合约进行分析，找出其中的漏洞和错误，并返回提供相应的修复方案；步骤3：开发者根据AI提供的修复方案进行智能合约代码的修改，然后将修复后的代码再次提交给AI进行分析；步骤4：在智能合约代码经平台编译验证无误后，与区块链合约安全性形式化验证相关的提示词融合；步骤5：通过AI根据业务和功能逻辑写出测试案例，对合约进行测试，验证合约的正确性；步骤6：在区块链网络上进行模拟功能逻辑案例测试和攻击测试，验证智能合约代码修改的有效性和安全性；步骤7：进行数据投喂训练及模型更新；所述步骤5包括：模拟正常测试：模拟用户在正常情况下使用智能合约，包括正常的交易、数据查询和合约调用；模拟在短时间内大量用户同时使用智能合约，以测试合约在高压力下的性能；模拟不同权限级别的用户或其他合约对目标合约的操作，包括管理员和普通用户；模拟异常测试：模拟提供格式错误、数值范围超出或明显无意义的输入数据给合约；模拟由于网络延迟或恶意攻击导致的相同交易多次提交的情况；模拟两个或多个合约相互调用形成的循环，从而导致的死锁或资源耗尽的情况；模拟合约的有效期到期、被中止或删除的情况；模拟合约在执行过程中因为某种原因导致的随机失败；异常测试根据外部区块链链上新型异常攻击进行更新，然后训练相关的模型；将应对措施通过AI对代码修改后反馈给测试方，从而对合约代码进行更新和完善，包括：对合约设置错误处理机制；通过设置gas价格和限制，限制和管理资源使用；进行授权和访问控制；验证时间戳和随机数生成的可靠性；记录合约关键操作的日志，并定期进行安全审计；提供合约的更新和修补机制。

全文数据：

权利要求：

百度查询： 上海金仕达卫宁软件科技有限公司 基于AIGC的区块链智能合约IDE验证测试方法和系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD