龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
申请/专利权人：上海金仕达卫宁软件科技有限公司
申请日：2023-11-21
公开（公告）日：2024-03-08
公开（公告）号：CN117667676A
主分类号：G06F11/36
分类号：G06F11/36;G06F21/57;G06F16/332
优先权：
专利状态码：在审-实质审查的生效
法律状态：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：进行数据投喂训练及模型更新。
全文数据：
权利要求：
百度查询： 上海金仕达卫宁软件科技有限公司 基于AIGC的区块链智能合约IDE验证测试方法和系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号