一种基于路径覆盖充分性准则的智能合约测试方法

摘要

本发明公开了一种基于路径覆盖充分性准则的智能合约测试方法，包括以下步骤：步骤1，输入智能合约的字节码和智能合约的ABI；步骤2，根据字节码生成控制流程图；步骤3，使用EPP算法分析控制流程图，找出需要插桩的块，进行插桩；步骤4，在truffle上部署插桩之后的智能合约；步骤5，根据路径覆盖测试充分性准则生成符合要求的测试用例集合。本发明相比其他技术针对源码的分析，对智能合约的字节码进行分析，更有效率。本发明为智能合约自动生成测试用例，并且利用路径覆盖的充分性准则判断是否生成了充分的测试用例集，尽可能充分的暴露出智能合约代码中可能存在的错误，提升了漏洞检出效果，减少了人工成本。