智能合约模糊测试的人类因素：一次实证研究
人机交互
2025-06-10 v1 软件工程
摘要
智能合约（SC）模糊测试是检测区块链应用程序漏洞的关键技术。然而，由于 SC 与传统软件系统之间的根本差异，其采纳仍给实践者带来了挑战。本研究通过对两款广泛使用的 SC 模糊器（Echidna 和 Foundry）的 381 个 GitHub 问题进行归纳性内容分析，来调查实践者在采用 SC 模糊测试工具时所面临的挑战。此外，我们进行了用户研究，以检验这些挑战如何影响不同的实践者群体——SC 开发者和传统软件安全专业人员，并识别实践者使用哪些策略来克服这些挑战。我们将这些挑战基于其本质和在 SC 模糊测试工作流程中的发生方式进行系统分类。我们的发现揭示了领域特定的易用性和有用性挑战，包括区块链模拟的技术问题，以及缺乏可访问文档和过程自动化的人类问题。我们的结果为工具开发人员和研究者提供了可操作的见解，指导未来在 SC 模糊器工具设计方面的改进。
引用
@article{arxiv.2506.07389,
title = {Human Side of Smart Contract Fuzzing: An Empirical Study},
author = {Guanming Qiao and Partha Protim Paul},
journal= {arXiv preprint arXiv:2506.07389},
year = {2025}
}