問題タブ [python-hypothesis]

サンプルデータを使用していくつかの機能をテストする必要があります。

ここで、各行の最初の要素であるリストには、次の方法で生成された N=(1 ～ 5) のランダムな整数要素が含まれます。

各行の 2 番目の要素には、生成されたすべてのリストからのすべての一意の整数のセットからのランダム サンプルが含まれます。

だから私のdata例のために：

• リストには、一意のセット (10,20,30,40) の値が含まれています。
• 各行の 2 番目の要素には、そのセットからのランダムな整数サンプルが含まれます。

仮説検定フレームワークでそのような戦略を実装するにはどうすればよいですか?

これは機能しません:

fixed_dictionariesキーの 2 つが同じ長さでなければならない値としてリストを持つ戦略を使用して、サンプル データを生成しようとしています。

この制約を強制するにはどうすればよいですか? 一方をもう一方の複合体として定義できるのではないかと思いましたが、それを行う方法がわかりません。何かのようなもの：

データベース クラスをテストしようとしています。これはその簡単な例です。

ということで、方法を確認したいと思いinsertます。テスト ケース クラスは次のとおりです。

db.insert問題は、テスト メソッドから呼び出されたときのトレースバックで「データベースがロックされている」ことです。次のステップとしてコードが表示されます。

1. 最初の接続を開く
2. データを挿入する
3. コミットして接続を閉じる
4. 2 番目の接続を開く (最初の接続を閉じた後)
5. select を使用してステップ 2 で挿入されたデータを取得する
6. データを比較する
7. 入力データと選択データが等しくない場合にアサートします。

しかし...接続がデータベースと1つずつ動作する場合、データベースのブロックに関するメッセージを取得する必要はありませんよね? ライブラリ（ユニットテストまたは仮説）がスレッドを使用していると思いましたが、ドキュメントには何も見つかりませんでした。

また、通常どおり実行して、for列挙可能なデータを挿入しようとしました。それは正常に動作します。

私が間違っていcommitなければ、接続が開かれていても、メソッドのすべての呼び出しでデータベースのブロックを解除する必要がありますが、そうではないようです。

「データベースがロックされています」というメッセージが表示される理由を理解できる人はいますか?