一种基于蜕变测试的区块链智能合约测试方法
实质审查的生效
摘要

本发明公开了一种基于蜕变测试的区块链智能合约测试方法,属于软件工程领域。包括:步骤1,基于智能合约,分析调用的函数及其参数的编码;步骤2,根据调用的函数以及相应的参数分析智能合约参数之间的必要属性;步骤3,根据必要属性中输入与输出的关系确定蜕变关系(MRs),包括输入的蜕变关系input relation以及输出的蜕变关系output relation;步骤4,使用随机测试方法生成原始测试用例,并根据input relation生成后续测试用例,将两组测试用例分别在智能合约中运行,通过判断输出的结果是否满足相应的output relation验证结果的正确性。本方法在测试智能合约安全缺陷的同时缓解了智能合约测试中的oracle问题,通过对现有的智能合约漏洞进行测试实验,验证了提出方法的有效性和优势。

基本信息
专利标题 :
一种基于蜕变测试的区块链智能合约测试方法
专利标题(英):
暂无
公开(公告)号 :
CN114510420A
申请号 :
CN202210106024.X
公开(公告)日 :
2022-05-17
申请日 :
2022-01-28
授权号 :
暂无
授权日 :
暂无
发明人 :
陈锦富王震鑫蔡赛华冯乔伟施登洲陈宇豪许容天王栋杰
申请人 :
江苏大学
申请人地址 :
江苏省镇江市京口区学府路301号
代理机构 :
代理人 :
优先权 :
CN202210106024.X
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  G06F21/57  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-06-03 :
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20220128
2022-05-17 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332