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