如何组合 2 个任意实例以匹配测试方法签名

Question

我有一个函数应该获取两个实际参数进行测试。这两个值都应由任意实例创建，因为它们需要具有某种不能完全任意的良好形式。
所以我创建了以下代码

let updating (x:SomeType) (y:SomeOtherType) =
    let result = update x y
    result.someProp = x.someProp
    && result.otherProp = y.otherProp

let arbSomeType = 
    Arb.generate<SomeType> 
        |> Gen.filter fun x -> x.checkSomeStuff
        |> Arb.fromGen

let arbSomeType = 
    Arb.generate<SomeOtherType> 
        |> Gen.filter fun x -> x.checkPropertiesOfThis
        |> Arb.fromGen

但是我现在如何组合这 2 个 Arbitrary 实例，以便它们与测试方法的签名相匹配？

//let prop = Prop.forAll arbSomeType + arbSomeType updating

Check.QuickThrowOnFailure prop

Answer 1

给定两种类型，SomeTypeA 和 SomeTypeB:

type SomeTypeA = 
    { A : obj }

type SomeTypeB = 
    { B : obj }

您可以创建一个 Property，其中输入是这两种类型，如下所示：

let prop =
    gen { let! a = Arb.generate<SomeTypeA>
          let! b = Arb.generate<SomeTypeB>
          return a, b }
    |> Arb.fromGen
    |> Prop.forAll
    <| fun (a, b) ->
        // 'a' is SomeTypeA
        // 'b' is SomeTypeB
        true // Dummy - replace with whatever you want to do with 'a' and 'b'.

您还需要注意，测试方法的签名现在反映了创建的 Arbitrary - 成为成对的（未柯里化）函数。

// instead of
let updating (x:SomeType) (y:SomeOtherType) = ...
// do this
let updating (x:SomeType, y:SomeOtherType) = ...

示例的工作原理:

gen 计算表达式创建了一个 Gen<SomeTypeA * SomeTypeB>
一个 Arbitrary<SomeTypeA * SomeTypeB> 实例是从该生成器创建的
最后，一个 (QuickCheck/FsCheck) 属性通过 Prop.forAll

路径始终相同：

Generator[/optional Shrinker] -> Arbitrary -> Property -> <your_code>

希望对您有所帮助。

如何组合 2 个任意实例以匹配测试方法签名

How to combine 2 Arbitrary instances to match test method signature

f#

fscheck