問題タブ [python-hypothesis]

仮説ライブラリを使用してステートフル テストを実行する場合、ライブラリがコードで試行しているバンドル「サービス」を確認または出力するにはどうすればよいですか?

例

問題は、ライブラリによって生成された Bundle "services" 変数をどのように表示/表示するかです。

多くのランダムなシーケンスを生成する仮説ステートフル テストを使用して、システムの特定の機能をテストします。結果を比較するために、ステートマシンでもある Automat ライブラリを使用してモデルを作成しました。ステートフル テスト ケースを使用して得られるカバレッジを理解したいと思います。このテストは統合レベルであるため、コード カバレッジを見つけたくありません。モデル カバレッジのようなものは、ステートフル テスト ケースがモデルをどの程度カバーしているかを理解するのに役立つ場合があります。

私の質問は次のとおりです。それは良い考えだと思いますか? または、仮説からテストケースのカバレッジを取得するためのより良いオプションはありますか? 誰かが私を正しい方向に導いてください。