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