f# - FsCheck 测试更改用于测试的值的范围

Question

我的代码在使用 FsCheck 时会自动测试从 -99 到 99 的值。

Check.Quick test

我的测试函数采用整数值。

我想使用 1 到 4999 之间的值进行测试。

Answer 1

您可以使用 Gen.elements结合 Prop.forAll :

let n = Gen.elements [-99..99] |> Arb.fromGen
let prop = Prop.forAll n (fun number -> 
    // Test goes here - e.g.:
    Assert.InRange(number, -99, 99))
prop.QuickCheck()

Gen.elements获取一系列有效值并从该序列创建一个统一的生成器。 Prop.forAll使用该自定义生成器定义一个属性。

您可以 combine it with FsCheck's Glue Library for xUnit.net ，这是我的首选方法:

[<Property>]
let ``Number is between -99 and 99`` () =
    let n = Gen.elements [-99..99] |> Arb.fromGen
    Prop.forAll n (fun number -> 
        // Test goes here - e.g.:
        Assert.InRange(number, -99, 99))