python - 如何在 Python 假设状态测试中测量覆盖率？

Question

我使用生成许多随机序列的假设状态测试来测试系统的某些功能。为了比较结果，我使用 Automat 库编写了一个模型，该库也是一个状态机。我想了解使用有状态测试用例获得的覆盖率。由于此测试处于集成级别，因此我不想找到代码覆盖率。模型覆盖率之类的东西可能有助于理解有状态测试用例覆盖模型的程度。

我的问题是：这看起来是个好主意吗？还是有更好的选择来从假设中获得测试用例的覆盖率？有人可以指导我正确的方向。

标签： pythontestingstatefulpython-hypothesis

Answer 1

您想要的任何覆盖测量都独立于假设，因此您可以以通常的任何方式对其进行测量。所有 Hypothesis 所做的就是使用任意输入多次调用您的代码！