Smallcheck 中的“Depth”参数应该控制到什么程度？

我正在做我的第一个真正的工作smallcheck，我对如何使用有点困惑Depth范围。在开始之前，让我先说明一下我正在使用什么smallcheck for.

在工作中，我们在我们自己的内部数据库前构建一个简单的 Web 服务。 Web 服务执行一些查询，并以序列化为 JSON 的查询结果进行响应。我目前正在做的是确保：给定一个表示查询结果的对象，该对象会生成预期的 JSON。例如：

data Action
  = Action { actionType :: !ActionType 
           , actionDescription :: !Text
           , actionPerformedAt :: !UTCTime
           , actionAgentName :: !Text
           }

必须生成 JSON，例如：

{
  "type": "Booking",
  "description": "Whatever",
  "performedAt": "2012-01-04",
  "agent": "Tom"
}

这看起来是一个理想的任务smallcheck，我将其表述如下：

testAction :: Tasty.TestTree
testAction = Tasty.testGroup "Action"
  [ SmallCheck.testProperty "type" $
      SmallCheck.over actions $ match $
        Aeson.key "type" --> Aeson.toJSON . actionType

  , SmallCheck.testProperty "dateActioned" $
      SmallCheck.over actions $ match $
        Aeson.key "dateActioned" --> expectedUTCTimeEncoding . actionPerformedAt

  -- and so on
  ]

-- (-->) :: Eq a => lens-aeson traversal a -> (b -> a) -> b -> Bool
-- actions :: Monad m => SmallCheck.Series m Action

默认smallcheck深度在tasty框架为 5，这导致我尚未完成测试运行。smallcheck有changeDepth and changeDepth1函数，所以我could使用这些作为changeDepth (const 3)确保我的测试始终在合理的时间内运行。然而，这样做我不禁觉得我在某个地方错过了重点？例如，现在不可能通过仅更改命令行选项来运行测试来运行更长的测试（可能是一夜之间）。另一方面，如果我使用changeDepth (- 2)，仍然感觉好像我在假设测试是如何运行的！也许最好假设全局测试深度为 5n秒，并且由每个属性来调整其认为合适的深度？

很想听到一些关于这个更实际的方面的反馈smallcheck.

当您使用 QuickCheck 的随机测试进行测试时，您拥有的唯一指标是测试次数，因此自然要进行尽可能多的测试。

SmallCheck 的不同之处在于您实际上可以正在测试的原因。理想情况下，您不应将深度视为与您对测试结果的置信度相关的指标，但您应该清楚您需要的深度.

如果我们谈论 JSON，那么大多数处理 JSON 的函数一次使用一层或有时两层结构。因此，粗略地说，如果存在错误，则可以在深度 2 或 3 的结构上发现它。 （您需要找到或计算smallcheck的深度，这将根据您的结构为您提供所需的结构深度Serial实例。）

所以，为了回答你的问题，如果深度 3 是你能承受的最大深度，那么首先你应该决定这对于您正在测试的代码类型是否足够.

如果碰巧还不够，那么您可以用广度换取深度（例如，通过减少叶值的深度），或者确实切换到 QuickCheck 的随机枚举策略。

我认为只有当您认为您正在测试的函数可能由于结构的大小而不是结构组件的某些本地组合而存在错误时，您才应该使用 QuickCheck。我能想到的一些例子是：

• 数字溢出
• 未发现的任意硬编码限制（可能在外国 C 代码中——这对于 Haskell 代码来说是非常不典型的）