一种基于多目标优化的智能合约测试方法
授权
摘要

本发明涉及一种基于多目标优化的智能合约测试方法,针对以太坊智能合约源程序利用truffle编译获得ABI,进而通过解析ABI获取智能合约的方法,生成一系列随机测试套件;通过在本地链上运行测试套件来获取其gas消耗、测试用例数目、分支覆盖率以及变异得分这几个相互冲突的目标;再根据收集到的信息进行非支配排序,找到Pareto最优解,从而在多个目标之间取得平衡。本发明的目的在于自动化地生成既具有成本效益,又具有代表性的智能合约测试套件,帮助合约测试人员提高测试充分性的同时降低测试成本,最终实现提高智能合约测试效果、保障智能约质量的目标。

基本信息
专利标题 :
一种基于多目标优化的智能合约测试方法
专利标题(英):
暂无
公开(公告)号 :
CN112069050A
申请号 :
CN201910498422.9
公开(公告)日 :
2020-12-11
申请日 :
2019-06-11
授权号 :
CN112069050B
授权日 :
2022-05-17
发明人 :
王兴亚巫浩然孙伟松赵源段定陈振宇
申请人 :
南京慕测信息科技有限公司
申请人地址 :
江苏省南京市鼓楼区汉中门大街301号1302室
代理机构 :
代理人 :
优先权 :
CN201910498422.9
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  G06Q40/04  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-05-17 :
授权
2020-12-29 :
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20190611
2020-12-11 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332