Question

我为一个函数编写了一个QuickCheck属性，该函数将两个已排序的输入合并为一个已排序的输出：

prop_merge xs ys =
    if (sorted xs && sorted ys) then (sorted (merge xs ys)) else True

也就是说，当输入被排序时，输出也被排序。它也可以写成：

prop_merge xs ys = not(sorted xs && sorted ys) || (sorted (merge xs ys))

但我真的不喜欢这两个版本。 QuickCheck中的“条件属性”是否有更好的语法？

Answer 1

您可以使用==>运算符将布尔条件附加到您的属性：

prop_merge xs ys = (sorted xs && sorted ys) ==> sorted (merge xs ys)

这不仅是一种更好的语法，而且允许QuickCheck区分测试成功的测试用例和不满足前提条件的测试用例。在后一种情况下，不计算测试，QuickCheck生成新输入。

但是，在大多数输入不满足条件的情况下，这将导致测试运行得更慢，或者，如果丢弃了足够的输入，QuickCheck最终会放弃。由于随机列表不太可能被排序，因此上述示例很可能会发生这种情况：

> quickCheck (prop_merge :: [Int] -> [Int] -> Property)
*** Gave up! Passed only 15 tests.

（请注意，使用标准布尔运算符而不是使用==>，QuickCheck将提升所有传递的测试，当大多数测试由于前置条件失败而无用时）

因此，直接生成所需的测试用例通常要好得多。对于简单的情况，Test.QuickCheck.Modifiers模块包含几个有用的新类型，它们可以修改输入的生成方式。例如，OrderedList修饰符将仅生成已排序的列表，因此我们可以将您的属性编写为：

prop_merge (Ordered xs) (Ordered ys) = sorted (merge xs ys)