帶有超時的Python屬性測試

Question

我有一定的時間來測試系統。 我可以編寫一個可以運行屬性測試直到一個小時的Python屬性測試嗎？ 我在hypothesis尋找一種解決方案，但找不到。

我認為屬性測試庫具有某種測試用例生成器，在其中我可以從中拉出並執行直到超時為止。 這將是一個可以接受的惰性解決方案。

Answer 1

假設沒有生成器可供您使用-內部實現方式與Quickcheck使用的通常的惰性無限列表構造完全不同（因為... Haskell）。

我們有一個公開的問題來添加模糊模式 ，（希望）它將成為帝國理工學院2019年本科生小組項目的主題。

在此之前，您可以在@settings(timeout=60*60, suppress_health_check=HealthCheck.all(), max_examples=10**9)中添加@settings(timeout=60*60, suppress_health_check=HealthCheck.all(), max_examples=10**9) ，它應該運行一個小時（或者直到發現錯誤）。