介绍 模糊测试对于安全的智能合约测试至关重要，但也面临着挑战。测试执行通常很慢，而分析失败可能需要更多的时间和精力。 Shrinking（缩减）解决了这个问题。当模糊测试在有状态测试期间发现错误时，缩减算法会最小化重现该错误所需的操作序...
区块链技术网