摘要
本发明提供了一种多指标反馈驱动的智能合约模糊测试方法和相关装置,通过获取给定智能合约,运用静态分析技术提取其语义信息,以此生成交易序列种子放入种子池。然后从池内取出测试交易序列,在插桩EVM上执行测试并收集多指标执行反馈信息,综合这些信息为测试交易序列计算适应度,筛选出符合设定条件的作为下一代种子,其余丢弃,随后对种子随机变异补足数量,再进行组合得到新种子池。不断循环重复测试步骤直至满足停止条件,完成对智能合约的测试。本发明通过多指标反馈驱动,能更全面精准地生成测试用例,有效覆盖智能合约复杂的代码分支,提升漏洞检测效率,减少因智能合约漏洞导致的经济损失,增强智能合约应用的安全性与可靠性。
技术关键词
模糊测试方法
多指标
种子
数据流分析技术
序列
静态分析技术
分支
智能合约代码
代码覆盖率
程序计数器
深度学习技术
深度学习模型
符号
智能合约漏洞
语义信息提取
约束求解器
生成测试用例
语句
系统为您推荐了相关专利信息
农业信息数据
分段
信息化农业
数据存储方法
序列
轨迹预测模型
热力图
车辆轨迹预测方法
图像采集设备
样本