面向Solidity智能合约的测试用例自动生成与 模糊测试框架研究

• 作者: 相里朋 包小敏 莫泳聪 周永长
• 来源期刊: 电子产品可靠性与环境试验
• 学科: 工学
• 关键词: 智能合约;区块链;基于搜索的软件测试;测试用例生成;模糊测试
• 年，卷（期）: 2025,（6）
• 页码范围: 13-19
• 页数: 7页
• 语种: 中文

摘要

智能合约是一种通过计算机指令实现传统合约自动化的程序，其在部署后不可修改，因此在部署前对其行为和约束条件进行全面测试至关重要。然而，现有测试方法难以适应复杂场景，或仅聚焦于发现导致合约崩溃的输入。为此，提出了一款名为C-Solidity的工具，这是一种面向Solidity智能合约的自动化测试用例生成与模糊测试框架。C-Solidity集成了多种元启发式搜索算法，包括随机搜索和多种进化算法（如NSGA-II、MOSA和DynaMOSA），以提高测试覆盖率和效率。通过初步实证研究，验证了C-Solidity在测试Solidity智能合约中的有效性与优势。