問題タブ [generative-testing]

users-gen1 人以上のユーザーのグループを生成するgenerator があるとします。user-actions-genそして、1 人以上のユーザーのシーケンスを取得し、それらのユーザーが実行する一連のアクションを生成する別のパラメーター化されたジェネレーターが呼び出されます。

users-gen によって生成された単一のユーザー シーケンスに対して単一のアクションを生成したい場合は、単純です。users-gen を直接 user-actions-gen に生成/バインドするだけです。

ただし、同じ一連のユーザーから多くのアクションを生成したいと考えています。私がこの問題を抱えているのは、基本的に「これが状態です。任意のランダムなアクションを入力させて、アクションを状態に適用させて、状態がまだ有効であることを確認させてください。これをすべてのアクションに対して実行してください。 " 次のコードがあります。

この種の作品。問題は次のとおりです。

1. 最初のエラーで停止するのではなく、doseq を完全に評価しているようです。
2. ちょっと間違っているように見えます。コードはいたるところにあり、それが何をするのか完全には明らかではありません。
3. user-action-gen は、users-gen の実現されたユーザーの値ではなく、users-gen のジェネレーターを使用する必要があるようです。これは構成可能性に役立ちますか? users-gen はおそらく他のジェネレーターに役立つため、それらをまとめたくないことに注意してください。

では、要約します。1 つのジェネレーターから生成された単一の値を取得し、それを引数として複数のジェネレーターに渡しています。より魅力的/エレガントな方法でこれを行うにはどうすればよいですか?

私はテストの初心者です。約 14 個の変数と出力を受け取るモジュールを開発しましたTrue/False。テストには、「Quickcheck」を使用してランダムに生成されたテスト ケースを使用しました。

ただし、14 個の変数はランダムに生成されます (手動で記述するにはテスト ケースの数が膨大であるため)。真理値についてはわかりません。モジュールの結果をアサート検証するにはどうすればよいでしょうか。

これはエンジニアリングの問題です: 生成テスト ケースを作成するときに、人々はどのようにアサートしますか?

ビデオ分析用のコードを書いているとしましょう。以下は、Video クラスの簡略化されたバージョンです。

Arbitrary<Video>を作成して登録する方法を教えてください。その任意のシュリンカーを作成するにはどうすればよいですか?

これを試してみましたが、適用の仕組みを理解できませんでした:

これを試しましたが、リストのジェネレーターをここに接続できませんでした:

私は概念に出くわしGenerative Testing in Clojure with spec、それについて学びたいと思います。

また、いくつかの例を提供することは非常に役立ちます。

私は Scala の初心者で、初めての Scalacheck スイートを作成しています。

私のプログラムには、 の各要素が の対応する要素より厳密に大きい場合に(List[Double], List[Double])のみ整形式の のように見えるデータ構造があります。_1_2

実際にはもう少し複雑なので (ただし、この MWE の目的のために、すべてが存在するふりをすることができます)、そのためのカスタム ジェネレーターを作成しました。

次に、2 つの簡単なテスト (すべての中で最も簡単なものを含む1 == 1) を追加しましたが、どちらの場合もテストは失敗し、次のメッセージが表示されます。Gave up after only XX passed tests. YYY tests were discarded.

なぜですか、どうすれば修正できますか?

私のテストスイートと出力が添付されています。