[发明专利]一种智能合约资损测试方法及系统

权利要求书

1.一种智能合约资损测试方法，包括：

获取待测试的智能合约；

确定所述智能合约中与资金处理相关的变量和/或代码；

基于预先确定的变量与代码段的对应关系，确定所述智能合约的测试变量及其取值，向所述智能合约中的所述测试变量输入所述取值，以触发所述智能合约执行；

获取执行反馈信息，所述执行反馈信息至少反映所述智能合约执行后，所述与资金处理相关的变量和/或代码的执行覆盖情况；

基于所述执行反馈信息，调整所述测试变量中至少一个的取值，以再次触发所述智能合约执行，直至满足预设的测试终止条件；所述执行反馈信息反映所述智能合约执行产生的交易数据对应的交易是否发生资损。

2.如权利要求1所述的方法，所述确定所述智能合约中与资金处理相关的变量和/或代码，包括：

基于资损核对规则中与资金处理相关的字段记录，确定所述智能合约中与资金处理相关的一个或多个变量；

基于所述一个或多个变量，利用数据流分析技术确定所述智能合约中与资金处理相关的其他变量和/或代码。

3.如权利要求1所述的方法，所述基于所述执行反馈信息，调整所述测试变量中至少一个的取值，包括：

调整所述测试变量中至少一个的取值，以增加与资金处理相关的变量和/或代码的执行覆盖率，或增加与资金处理相关的变量和/或代码的程序行为覆盖率。

4.如权利要求1所述的方法，所述执行反馈信息还反映所述智能合约执行产生的交易数据的核对结果；

所述基于所述执行反馈信息，调整测试变量中至少一个的取值，还包括：

若所述执行反馈信息反映所述智能合约执行后，所述与资金处理相关的变量和/或代码中的至少一个被执行覆盖且核对结果为未出现资损时，则调整所述测试变量中至少一个的取值，以增加与资金处理相关的变量和/或代码的执行覆盖率，或增加与资金处理相关的变量和/或代码的程序行为覆盖率。

5.如权利要求4所述的方法，所述智能合约部署于测试用区块链网络的节点上。

6.如权利要求5所述的方法，所述方法还包括：

从所述测试用区块链网络中获取区块数据；

解析所述区块数据得到所述智能合约执行产生的交易数据；

基于预设核对逻辑处理所述交易数据，获得所述核对结果。

7.如权利要求6所述的方法，所述核对结果是通过资损监控服务器处理所述交易数据获得。

8.如权利要求1所述的方法，所述与资金处理相关的变量包括资金转账操作或者资金金额运算涉及的变量，与资金处理相关的代码包括实现资金转账操作或者资金金额运算的代码。

9.一种智能合约资损测试系统，包括：

合约获取模块，用于获取待测试的智能合约；

第一确定模块，用于确定所述智能合约中与资金处理相关的变量和/或代码；

第二确定模块，用于基于预先确定的变量与代码段的对应关系，确定所述智能合约的测试变量及其取值，向所述智能合约中的所述测试变量输入所述取值，以触发所述智能合约执行；

反馈获取模块，用于获取执行反馈信息，所述执行反馈信息至少反映所述智能合约执行后，所述与资金处理相关的变量和/或代码的执行覆盖情况；

调整模块，用于基于所述执行反馈信息，调整所述测试变量中至少一个的取值，以再次触发所述智能合约执行，直至满足预设的测试终止条件；其中，所述执行反馈信息反映所述智能合约执行产生的交易数据对应的交易是否发生资损。

10.如权利要求9所述的系统，所述第一确定模块进一步用于：

基于资损核对规则中与资金处理相关的字段记录，确定所述智能合约中与资金处理相关的一个或多个变量；

基于所述一个或多个变量，利用数据流分析技术确定所述智能合约中与资金处理相关的其他变量和/或代码。