【发布时间】：2020-03-03 00:34:04
【问题描述】：
我使用生成许多随机序列的假设状态测试来测试系统的某些功能。为了比较结果，我使用 Automat 库编写了一个模型，该库也是一个状态机。我想了解使用有状态测试用例获得的覆盖率。由于此测试处于集成级别，因此我不想找到代码覆盖率。模型覆盖率之类的东西可能有助于理解有状态测试用例覆盖模型的程度。
我的问题是：这看起来是个好主意吗？还是有更好的选择来从假设中获得测试用例的覆盖率？有人可以指导我正确的方向。
【问题讨论】：
标签： python testing stateful python-hypothesis