摘要
本申请公开了一种基于人工智能的智能合约模糊测试方法,属于区块链技术领域,其技术方案要点以下步骤,将模糊测试作为马尔可夫决策过程MDP来定义状态、动作和奖励函数;通过模仿符号执行专家来学习模糊测试策略,模仿符号执行专家基于专家的状态和奖励,学习训练一个神经网络来模仿专家的行为;用神经网络NN架构来表示学习到的模糊测试策略,神经网络NN架构模拟了生成智能合约输入序列的模糊测试策略,并使用门控循环单元GRU来跟踪序列历史并生成新的输入序列;实现端到端系统,端到端系统支持针对智能合约的语义特征表示、智能合约的实用符号执行和一组关键漏洞检测器,本申请具有提高智能合约中漏洞自动检测的效率和有效性的效果。
技术关键词
模糊测试方法
门控循环单元
生成智能合约
端系统
序列
强化学习技术
策略
语义特征
发送方
漏洞
区块链技术
检测器
决策
有效性
定义
参数
系统为您推荐了相关专利信息
局部视觉特征
放行方法
人脸特征向量
ROI图像
特征提取模型
数据扩充方法
特征提取模型
样本
计算机可读指令
图像块
组合导航系统
序贯概率比
LSTM神经网络
缓变故障
误差信息
运输车辆
动态调配系统
数据采集模块
油耗
混合整数规划模型