haskell - 对于 Haskell 的 QuickCheck，什么是收缩？

Question

我正在学习 QuickCheck >= 2.6 的诀窍，但我不明白什么是心理医生。从查看type signature缩小看起来更像是扩张!请照亮我:)

Answer 1

当 QuickCheck 发现违反属性的输入时，它会首先尝试查找也违反该属性的较小输入，以便向开发人员提供有关失败性质的更好信息。

“小”的含义当然取决于所讨论的数据类型；对于 QuickCheck 来说，它是来自 shr​​ink 函数的任何内容。

最好在 QuickCheck session 中进行解释:

Prelude Test.QuickCheck> let prop l = all (/= 5) lPrelude Test.QuickCheck> quickCheck prop*** Failed! Falsifiable (after 10 tests and 2 shrinks):    [5]

所以这里 QuickCheck 能够给出最小的反例，但从评论来看，它首先考虑了一个更大的列表，然后使用 shr​​ink 缩小了它。为了更仔细地了解正在发生的情况，我们使用 verboseCheck:

Prelude Test.QuickCheck> verboseCheck propPassed:  []Passed: [0]Passed:  [-2,1]Passed:  [-2,2,-2]Passed:  [-4]Failed:  [-1,-2,5,4,2]*** Failed! Passed:                       []Failed:                                       [5,4,2]Passed:                                    []Passed:                                       [4,2]Failed:                                       [5,2]Passed:                                     []Passed:                                       [2]Failed:                                       [5]Passed:                                     []Passed:                                       [0]Passed:                                       [3]Passed:                                       [4]Falsifiable (after 6 tests and 3 shrinks):    [5]

QuickCheck 尝试几个命题成立的列表，然后找到[-1,-2,5,4,2]。现在它通过尝试它的子列表来减少列表。您可以在 GHCi 中说服自己 shr​​ink [-1,-2,5,4,2] == [[],[5,4,2],[-1,-2,2],.. . 第二个条目是第一个仍未通过测试的条目。然后 QuickCheck 继续并进一步缩小:shr​​ink [5,4,2] == [[],[4,2],[5,2],...，以及进一步 >收缩[5,2]
[[]、[2]、[5]、...。最后，它尝试进一步缩小 [5]，但没有 shr​​ink [5] ==
[[],[0],[3],[4]] 命题失败，因此最终的计数示例为 [5]。