FsCheckでは、負でないフィールドを持つテストレコードを生成する方法は？

Question

Fzでは、いくつかのフィールドを持つレコードがあります。

 type myRecord = { a:float; b:float; c:float } 

このレコードを使用するいくつかのプロパティをテストするのにFsCheckを使用しています。

 let verify_this_property (r:myRecord) = myFunction(r) = (r.a * r.b)/r.c 

myFunctionの内部実装の制限により、フィールドa、b、cのそれぞれがnonに制限されたテストケースを作成するようにしたいと思います。負の浮動小数点数です。

これは、 myRecord用のジェネレータを作成する必要があると思われますが、これを行う方法の例は見つかりませんでした。

誰でもガイダンスを提供できますか？

Answer 1

はこれを試してみてください。これは、同等の発電機です：

あなたのジェネレータを登録グローバルにしたくない場合は、forAllを使用することができます。

練習として残し縮小

Check.Quick (forAll Generators.arbMyRecord verify_this_property) 

;）

Answer 2

あなたは、これはFsCheckは全て不適当テストエントリを破棄しなければならないので、テストの（略？）に遅い実行されてしまいますけれどもFsCheck conditional properties

let verify_this_property (r:myRecord) = 
    (r.a > 0.0 && r.b > 0.0 && r.c > 0.0) ==> lazy (myFunction r = (r.a * r.b) * r.c) 

を使用して、カスタムジェネレータを作成しないようにすることができます。

type Generators = 
    static member arbMyRecord = 
     fun (a,b,c) -> { myRecord.a = a; b = b; c = c } 
     <!> (Arb.generate<float> |> Gen.suchThat ((<) 0.) |> Gen.three) 
     |> Arb.fromGen 

Arb.register<Generators>() |> ignore 
Check.Quick verify_this_property 

<!>は応用的なスタイルのために有用中置map、次のとおりです。