智能合约验证、确认与测试解决方案综述

智能合约是存储在区块链上、在预定条件满足时运行的程序。然而，设计与实现智能合约并非易事，因为一旦部署到区块链上，便无法再修改（既不能改进也不能修复漏洞）。只能通过部署新版本的智能合约来实现，而这代价高昂（新合约的部署成本与旧合约的销毁成本）。为此，存在许多在部署前测试智能合约的解决方案。由于实现无缺陷的智能合约可提升可靠性并降低成本，测试是一项必不可少的活动。在本文中，我们将现有试图解决智能合约测试的解决方案归为以下几类：公共测试网络、安全分析工具、区块链仿真器与区块链模拟器。然后，我们分析这些解决方案，对其分类，并展示各自的优缺点。