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

Question

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

一些例子

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

Answer 1

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