我有一个函数应该获取两个实际参数进行测试。
这两个值都应由 Arbitrary 实例创建,因为它们需要具有某种不能完全任意的良好格式。
所以我创建了以下代码
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
最佳答案
给定两种类型,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'.
您还需要注意,测试方法的签名现在反射(reflect)了创建的 Arbitrary - 成为成对的(未柯里化(Currying)的)函数。
// instead of
let updating (x:SomeType) (y:SomeOtherType) = ...
// do this
let updating (x:SomeType, y:SomeOtherType) = ...
示例的工作原理:
gen
计算表达式创建类型为Gen<SomeTypeA * SomeTypeB>
的生成器- 安
Arbitrary<SomeTypeA * SomeTypeB>
实例是从该生成器创建的 - 最后,通过
Prop.forAll
从任意项创建一个 (QuickCheck/FsCheck) 属性
总是相同的路径:
Generator[/optional Shrinker] -> Arbitrary -> Property -> <your_code>
希望对您有所帮助。
关于f# - 如何组合 2 个任意实例以匹配测试方法签名,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/39895446/