問題タブ [python-hypothesis]

Python Hypothesis を使用して、データベースのランダム テストを作成しています。指定された値をテーブルに挿入する1〜2回のループの後、リストインデックスが範囲外になり、@seedが再現されます。失敗すると思われるものは何もありません。私はまだ何も主張していません。どうすればこれをデバッグできますか?

ありがとう

結果：

後でより広範囲に使用することを検討しながら、仮説を使用して小さなテストを行っています。

テストで 0 から 25 までの整数のパラメーターを取得しようとしました。次のことを行いました。

しかし、x常に0に設定されていたので、試しました:

常に 1 に設定されており、常に最小値を取ることを示しています。何が間違っているのですか\どこでこれをランダムに設定できますか?

編集:仮説バージョン:hypothesis==4.18.3

テストに仮説を使用しており、テストの 2 つの引数間の関係を確立したいと考えていました。は承知してassumeいますが、事前に制約を知っているとかなりもったいないと思います。

最小限の例を次に示します。

上記の統計の要約では、次のように報告されます。

それはかなりの数の無駄な試みです。これは非常に単純なケースですが、典​​型的なデータ量の多いプロジェクトでは、そのようなシナリオが数多く予測できます。そこで、2 つの引数が特定の関係 (この場合、一方が他方よりも大きい) を満たすという仮説を簡単に伝える方法があるかどうか疑問に思っていました。ドキュメントで何も見つかりませんでした。

pytest を使用して、特定のパラメーターが期待どおりに失敗するように設定しました。

ただし、私のテスト スイートでは仮説を使用します。これらは既知のバグであり、このバージョンの API で修正する予定はありません。すでに文書化されており、修正にかかる時間は、現時点で必要な労力に見合うものではありません。

幸いなことに、仮説はテスト スイートが実行されるたびにこの失敗を指摘し、それを無視することを学びました。明らかに、これは悪いことです (特に、そうすべきではない他のことを無視するようになるため)。

単一のパラメータ値に対して仮説の失敗を期待するように pytest に指示する方法はありますか? それを修正する必要がある大きなプロジェクトが間近に迫っているため、完全に削除したくありません。そうなったとき、仮説にこの状態をもう一度確認してもらいたい。

これを適用したいテストケースは、次のように定義されています。

inp私の目標は、 が特定の値に等しい場合、失敗が予想されると言えるようにすることです。それ以外の場合、このテストはパスするはずです。