python - 带有超时的 Python 属性测试

Question

我有一定的时间来测试一个系统。我可以编写一个运行属性测试直到一小时结束的 Python 属性测试吗？我在hypothesis其中寻找解决方案，但找不到。

我想属性测试库有某种测试用例生成器，我可以从中提取并执行，直到超时。这将是一个可接受的惰性解决方案。

Answer 1

Hypothesis 没有可以从中提取的生成器 - 内部实现与 Quickcheck 使用的通常的惰性无限列表构造完全不同（因为...... Haskell）。

我们有一个未解决的问题要添加 fuzzing 模式，这将（希望）成为 2019 年初帝国理工学院本科生小组项目的主题。

在准备好之前，您可以添加@settings(timeout=60*60, suppress_health_check=HealthCheck.all(), max_examples=10**9)到测试中，它应该运行一个小时（或直到发现错误）。