問題タブ [python-hypothesis]

物語：

現在、次のルールを持つ整数のリストのリストを期待するテスト対象の関数があります。

1. サブリストの数 ( と呼びましょうN) は 1 から 50 までです
2. サブリスト内の値の数は、すべてのサブリストで同じ (長方形の形式) であり、>= 0 および <= 5 である必要があります
3. サブリスト内の値は、サブリストの総数以上にすることはできません。つまり、サブリスト内の各値は整数 >= 0 および <N

有効な入力の例:

無効な入力の例:

私はプロパティベースのテストでそれにアプローチし、hypothesisライブラリでさまざまな有効な入力を生成しようとしていて、頭をラップしようとしてlists()いintegers()ますが、機能させることはできません:

• 条件 #1 はlists()andmin_sizeおよびmax_size引数を使用して簡単にアプローチできます
• 条件 #2 は以下でカバーされていますChaining strategies together
• 条件＃3は私が苦労しているものです-rectangle_lists上記の例を使用すると、内部の「親」リストの長さへの参照がありませんintegers()

質問：

サブリスト内の整数値をサブリストの総数よりも少なくするにはどうすればよいですか?

私の試みのいくつか：

これは要件を満たすにはほど遠いものでした。リストは厳密には長方形ではなく、生成された整数値は生成されたリストのサイズを超える可能性があります。

ここで、要件 #1 と #2 は満たされていましたが、整数値はリストのサイズよりも大きくなる可能性があります。要件 #3 は満たされていません。

物語：

私は現在、現在のソリューションを「壊す」ための特定の入力を見つけようhypothesisとするカスタム生成戦略を使用して関数の単体テストを行っています。私のテストは次のようになります。

answer()基本的に、関数が 0 または 1 または 2 を返さない場合に可能な入力を探しています。

現在のワークフローは次のようになります。

• テストを実行する

• hypothesisを生成する入力を見つけますAssertionError:

  /li>

• この入力/出力が正当なものであり、関数が正しく機能したかどうかを理解しようとして、この特定の入力で関数をデバッグします

質問：

[[0], [1]]この偽造生成された例 (この場合) をスキップして、別のものを生成するように依頼するにはどうすればよいhypothesisですか?

質問は次のように解釈することもできます:hypothesis改ざんの例が見つかった場合に終了せず、代わりにさらに改ざんの例を生成するように依頼できますか?

仮説には、以下に対応するsampled_from()戦略がありrandom.choice()ます。

random.sample()しかし、シーケンスから長さ N のサブシーケンスを生成するような戦略を持つ方法はありますか?

私は複合的な、構築するのに費用がかかりますが、テストするのは安価な戦略を持っています。私は実行する必要があります：

サンプルをビルドするのに約 4 秒かかり、アサートを実行するのにかかる時間はごくわずかです。

ベスト プラクティスでは、これらのテストを分離する必要があります。

仮説戦略をどのように組み合わせることができるかは明確ではありません。TestCase.setUp または pytest セッション スコープのフィクスチャ。フィクスチャを装飾することも、で呼び出すx = expensive_strategy(); @given(x)ことも役に立ちません。