5

我正在使用 FsCheck 在 F# 中进行一些属性测试。因此，我希望保证某些条件始终成立，无论输入参数如何。

考虑我为float值定义了一个平凡的恒等函数。

let floatId (x : float) = x

然后我定义了一个我知道应该始终持有的函数的测试：

let ``floatId returns input float`` x = floatId x = x

这是一个微不足道的测试，我只是检查调用我的浮点标识函数是否返回与输入浮点数相同的结果。

然后我将此函数插入​​ FsCheck：

Check.Quick ``floatId returns input float``

不幸的是，这个属性测试失败了！

Falsifiable, after 21 tests (0 shrinks) (StdGen (1872424299,296201373)):
Original: 
nan

当然，回头看，很明显这会发生，我们知道nan <> nan。

由于 F# 中的结构比较，这也可能会困扰（稍微）更复杂的涉及集合的测试用例。

如果我为浮动列表设计类似的功能：

let listFloatId (lst : float list) = lst

let ``listFloatId returns input float list`` lst = listFloatId lst = lst

Falsifiable, after 6 tests (3 shrinks) (StdGen (1874889363,296201373)):
Original:
[nan; 2.0; 2.25; 4.940656458e-324]
Shrunk:
[nan]

又是同样的问题！

显然，我可以通过创建自己的相等测试函数来解决这个问题，这对于float值来说很好，但是扩展到集合变得更加复杂，list因为我必须开始使用List.forall2我的自定义相等函数并且通常将我的代码专门用于每个单独的集合类型.

在 F# 中是否有解决此问题的一般方法？

4

1 回答 1

5

LanguagePrimitives.GenericEqualityER您可以使用该功能解决此问题。这使用等价关系语义检查相等性。这个函数实际上是比较[nan]列表的具体例子。

测试用例可以这样定义：

let ``ER : floatId returns input float`` x = LanguagePrimitives.GenericEqualityER (floatId x)  x

let ``ER : listFloatId returns input float list`` lst = LanguagePrimitives.GenericEqualityER (listFloatId lst)  lst

这次：

Ok, passed 100 tests.
Ok, passed 100 tests.

（我问并回答了这个问题，因为上述属性是在 FSharp Software Foundation Slack 频道中提出的，我认为将此解决方案记录在案会很有用。除了文档之外，我几乎找不到在线提及此功能在LanguagePrimitives模块上）。

于 2016-09-06T11:19:11.940 回答