問題タブ [fscheck]

あちこちにフロートがある深くネストされたデータ構造があります。FsCheck を使用して、シリアル化してから逆シリアル化した後にデータが変更されていないかどうかを確認しています。

float が NaN または +/- 無限大の場合、このプロパティは失敗しますが、これらの値が実際のデータで発生するとは思わないため、このようなケースには興味がありません。

FsCheck が NaN と無限大を生成するのを防ぐ方法はありますか?

上記の値を含む生成されたデータを破棄しようとしましたが、これによりテストが非常に遅くなり、実際には非常に遅くなり、これを書いている間もテストがまだ実行されており、実際に終了するのではないかと疑っています...

0 < p1 < p2 < 1を満たす必要がある2つの確率率p1およびp2を使用するプロパティをテストしたいと思います

上記の例を試しましたが、テスト結果は

0 回のテスト後に引数が使い尽くされました。値 : 単位 = ()

さらに、リスト xs に重複が含まれていないことをお勧めします。このプロパティのテストを書くための助けをいただければ幸いです。ありがとう。

私のコードは、FsCheck を使用している間、-99 から 99 までの値を自動的にテストしています。

私のテスト関数は整数値を取ります。

1 から 4999 までの値を使用してテストしたいと思います。

大規模なプロジェクトのベスト プラクティスを確立するために、判別共用体を使用する型の FsCheck の例を現在試しています。現在、ジェネレーターから null を取得していますが、その理由がわかりません。次のコードでは、DataGen.containerGenerator が null です。

私はF#が初めてで、int値を次から抽出する方法がわかりません:

コンパイラは型がGen<int>であると言いますが、そこから int を取得できません!. 10 進数に変換する必要がありますが、両方の型に互換性がありません。