我的代码在使用 FsCheck 时自动测试从 -99 到 99 的值。
Check.Quick test
我的测试函数采用整数值。
我想使用 1 到 4999 之间的值进行测试。
【问题讨论】：
您可以将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))
【讨论】：
Gen.choose - 会更有效（不分配整数列表）。但Gen.elements 更直接地推广到其他类型。
默认情况下，FsCheck 生成 1 到 100 之间的整数。您可以通过向 Check 提供 Config 对象来更改此设置。
let config = {
Config.Quick with
EndSize = 4999
}
Check.One(config,test)
EndSize 表示当所有测试都通过时，用于最后一个测试的大小。大小在 StartSize 和 EndSize 之间线性增加，如果您希望生成从 1 以外的某个值开始的范围内的测试数据，您也可以设置它。参见https://github.com/fscheck/FsCheck/blob/master/src/FsCheck/Runner.fs中type Config的实现
【讨论】：
int i，它意味着abs(i) <= size。对于列表，它表示生成列表的最大长度。等等。