检查有趣的边缘情况不太创意

Question

可能没有唯一解决方案，其中一些可能很难。

一些示例

• 在指定有界整数范围时，我们并不刻意检查靠近所有 {{min,0,max}} 的值。
  -- 乍一看这似乎很简单，但它涉及对“小”示例的意义以及要缩小到哪里的非明显决策。例如，是否应该{{(gen/generate (gen/choose 5 Integer/MAX_VALUE) 3)}} 有很高的可能性生成{{Integer/MAX_VALUE}}？（直观上这可能与用户传入{{3}}作为{{size}}时的含义不匹配）；如果测试在{{1000}}处失败，但在任何更小的数字处都不失败，它应该缩小到{{1000}}还是缩小到{{Integer/MAX_VALUE}}，因为在某种意义上后者“更简单”？
• 集合的大小与其元素的 {{size}} 相关联
  -- 即，{{(gen/list gen/nat)}} 很不可能生成包含20个 {{0}} 的列表。

Answer 1

参考：[https://clojure.atlassian.net/browse/TCHECK-119](https://clojure.atlassian.net/browse/TCHECK-119)（由gfredericks报告）