問題タブ [property-based-testing]

SumHaskellのヘッジホッグライブラリを使用して、次の結合性プロパティをテストしたいとします。

ランダムな入力を生成するには、実際には2つの方法があります。

1. すべてを生成Gen(Genの Applicative および Monad インスタンスを使用)

2. 各フィールドの生成forAll

2つのアプローチの違いは何ですか？パフォーマンス、並列化、またはランダム性に何らかの影響がありますか?

次の条件で、サイズ 2 の整数のリストのリストを生成したいと考えています。

• 最初の要素は 2 番目の要素より小さく、
• すべてのデータは一意である必要があります。

カスタム関数を使用して各タプルを生成できますが、それを使用して 2 番目の条件を満たす方法がわかりません。

generate_dateこの (非効率的な?) 方法で数回繰り返すことにより、データを生成できます。

しかし、データが一意であることを確認するにはどうすればよいでしょうか?

たとえば、次の値は無効です。

ただし、次は有効です。