Invention Publication
- Patent Title: 针对智能合约状态的测试用例定向模糊演化方法及系统
-
Application No.: CN202311654247.0Application Date: 2023-12-05
-
Publication No.: CN117555804APublication Date: 2024-02-13
- Inventor: 章阳 , 徐欣 , 姚英彪 , 卢从慧 , 王传华 , 徐宇栋 , 耿超
- Applicant: 杭州电子科技大学
- Applicant Address: 浙江省杭州市钱塘区白杨街道2号大街1158号
- Assignee: 杭州电子科技大学
- Current Assignee: 杭州电子科技大学
- Current Assignee Address: 浙江省杭州市钱塘区白杨街道2号大街1158号
- Agency: 浙江永鼎律师事务所
- Agent 周希良
- Main IPC: G06F11/36
- IPC: G06F11/36

Abstract:
本发明公开了一种针对智能合约状态的测试用例定向模糊演化方法及系统,方法具体步骤如下:S1,对输入的合约源码进行结构预分析,生成测试用例;S2,对于测试用例输入的智能合约进行区块链网络下的模拟运行,持续记录测试过程中的合约状态;S3,根据在测试用例下执行智能合约的参数进行状态评估值计算;S4,定义基于状态值的度量公式,计算当前测试用例所产生值是否达到目标距离,若未达到目标距离,则进入步骤S5;若达到目标距离,则进入步骤S6;S5,标记兴趣点和定义漏洞特征模式,对测试用例交叉与突变,生成的变异测试用例返回执行步骤S2,迭代,直至达到目标距离时,进入步骤S6;S6,对测试用例发现的异常处进行汇总,整理后输出漏洞报告。
Information query