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

Question

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

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

Answer 1

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