以太坊智能合约测试研究综述

以太坊智能合约管理着大量数字资产,吸引了攻击者的注意,并且由于其不可篡改等性质,安全漏洞难以恢复,一旦攻击成功,将造成不可估量的损失。为了保障以太坊智能合约的安全性,许多研究者对此开展了大量研究工作,取得了丰硕的成果。首先对以太坊智能合约的基础知识进行简单的介绍;然后梳理了13个常见的漏洞类型,按照漏洞发生的层级对其进行分类阐述,并列出了相应的攻击事件;进一步总结了四类测试方法及对应的测试工具,为了探究漏洞、测试方法和测试工具之间的关系,对各种测试方法下的测试工具检测的漏洞类型做了详细的梳理;最后,针对目前智能合约测试中存在的问题提出合理的展望。