发明公开
- 专利标题: 针对智能合约状态的测试用例定向模糊演化方法及系统
-
申请号: CN202311654247.0申请日: 2023-12-05
-
公开(公告)号: CN117555804A公开(公告)日: 2024-02-13
- 发明人: 章阳 , 徐欣 , 姚英彪 , 卢从慧 , 王传华 , 徐宇栋 , 耿超
- 申请人: 杭州电子科技大学
- 申请人地址: 浙江省杭州市钱塘区白杨街道2号大街1158号
- 专利权人: 杭州电子科技大学
- 当前专利权人: 杭州电子科技大学
- 当前专利权人地址: 浙江省杭州市钱塘区白杨街道2号大街1158号
- 代理机构: 浙江永鼎律师事务所
- 代理商 周希良
- 主分类号: G06F11/36
- IPC分类号: G06F11/36
摘要:
本发明公开了一种针对智能合约状态的测试用例定向模糊演化方法及系统,方法具体步骤如下:S1,对输入的合约源码进行结构预分析,生成测试用例;S2,对于测试用例输入的智能合约进行区块链网络下的模拟运行,持续记录测试过程中的合约状态;S3,根据在测试用例下执行智能合约的参数进行状态评估值计算;S4,定义基于状态值的度量公式,计算当前测试用例所产生值是否达到目标距离,若未达到目标距离,则进入步骤S5;若达到目标距离,则进入步骤S6;S5,标记兴趣点和定义漏洞特征模式,对测试用例交叉与突变,生成的变异测试用例返回执行步骤S2,迭代,直至达到目标距离时,进入步骤S6;S6,对测试用例发现的异常处进行汇总,整理后输出漏洞报告。