hypothesis ethereum:以太坊的假设策略和基于属性的测试状态机 源码

******注意****** 该项目用于对布朗尼实施状态测试: : 加上为此功能使用核仁巧克力饼! 以太坊智能合约的假设整合 使用pytest执行测试 该模糊器如何工作 该模糊器引擎获取已编译的合同,并利用ABI找出合同的“调用空间”。 调用空间基本上是外部可用的合同方法,允许对基础状态进行修改。 每个方法的调用空间由每个方法的输入变量进一步参数化,因此总的调用空间实质上是所有可用的状态修改方法以及输入变量的所有可能组合。 由于以太坊合约包含非常大的变量,例如256位整数,所以这可能真的很大! 模糊测试器通常从呼叫空间中随机抽样以减少发出的呼叫数量,这会大大减少用于探索呼叫空间的时间