一种基于路径覆盖充分性准则的智能合约测试方法
授权
摘要

本发明公开了一种基于路径覆盖充分性准则的智能合约测试方法,包括以下步骤:步骤1,输入智能合约的字节码和智能合约的ABI;步骤2,根据字节码生成控制流程图;步骤3,使用EPP算法分析控制流程图,找出需要插桩的块,进行插桩;步骤4,在truffle上部署插桩之后的智能合约;步骤5,根据路径覆盖测试充分性准则生成符合要求的测试用例集合。本发明相比其他技术针对源码的分析,对智能合约的字节码进行分析,更有效率。本发明为智能合约自动生成测试用例,并且利用路径覆盖的充分性准则判断是否生成了充分的测试用例集,尽可能充分的暴露出智能合约代码中可能存在的错误,提升了漏洞检出效果,减少了人工成本。

基本信息
专利标题 :
一种基于路径覆盖充分性准则的智能合约测试方法
专利标题(英):
暂无
公开(公告)号 :
CN110046089A
申请号 :
CN201910154575.1
公开(公告)日 :
2019-07-23
申请日 :
2019-03-01
授权号 :
CN110046089B
授权日 :
2022-05-17
发明人 :
赵淦森王欣明周东宜谢智健何嘉浩周子衡莫泽枫
申请人 :
华南师范大学;唯链基金会
申请人地址 :
广东省广州市天河区中山大道西55号
代理机构 :
广州专理知识产权代理事务所(普通合伙)
代理人 :
谭昉
优先权 :
CN201910154575.1
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  G06Q40/04  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-05-17 :
授权
2019-08-16 :
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20190301
2019-07-23 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332