我应该编写直接将输入映射到输出的测试，还是动态生成结果？

Question

在我看来，有两种编写测试用例的方法：

1. 将固定输入映射到固定输出并断言它们匹配
2. 将生成或固定输入映射到动态输出并断言它们匹配

---

# Static testing:
assert_equal "test".upcase, "TEST"

# Dynamic testing:
assert_equal person.full_name, "#{person.title} #{person.first_name} #{person.last_name}"

---

当然每种方法都有优点和缺点。复制实现细节感觉不对，但允许我生成示例数据并对其运行测试。硬编码值使正确的输出非常明确，但似乎并不适合重用代码。

前者是编写测试的常规方法吗？你会混合搭配方法吗？是否出于我没有想到的充分理由而避免使用后一种方法？

Answer 1

第二种方法，使用 check 或 quickcheck，但是...

复制实施细节
感觉不对

如果你重复，那么你就做错了。在代码中，您可以精确地编写任务是什么以及如何执行任务。在测试中，您给出了一些关于结果的不变量。

编辑

关于已知答案测试 (KAT) 的说明

与大多数概括一样，在某些情况下这并不适用。 KAT 相对于随机测试向量占主导地位的一大领域是密码学（例如分组密码），因为除了大多数类型系统强制执行的内容（例如：块大小）之外，不应该有许多可见的不变量。要检查的一个属性是 decrypt(key,encrypt(key,msg)) == msg。

简单的几何有一个稍微不同的问题，因为没有一组不变量确实是一个好的检查 - 你可以说 0 0 0 0 0 0 0 0 0 0 0面积（三角形）< triangle.width * triangle.height 但这也同样糟糕。我在这里得到的是，您应该为稍高级别的代码编写测试 - 更复杂的代码，实际上很有可能发生更改或出现欺骗性错误。

随机测试向量的情况
表明快速检查属性的好地方的代码属性包括

1. 确定性
2. 非平凡的
3. 明确不变量

使用串联的简单示例（串联组合两个列表以形成一个新列表）：

假设我有一个函数 concat(xs,ys) ) = xs ++ ys。我可以检查什么？任何我期望的事情都是真的！长度？是的！元素？是的！

prop_len(xs,ys) = len(xs) + len(ys) = len(concat(xs,ys))
prop_elem(xs,ys) =
    let cs = concat(xs,ys)
    elem(head xs, cs) && elem(head ys, cs) && prop_elem(tail xs,ys) && prop_elem(xs,tail ys)
// Yes, I left out the error checking for empty list, sue me.

明白了吗？

Answer 2

我通常使用第二种方法，因为我在断言上方声明了一堆变量，有一天我可能想要更改它们。

我认为你必须问自己哪种方式可以更清楚地了解如何实现方法调用。对我来说，这很容易是第二种方法。对于单元测试来说，这通常是有意义的。

然而，在验收测试中，第一种方法似乎使用得更频繁。最近，我必须验证 API 调用返回的图像是否正确。我可以尝试根据给我的输入构建图像，或者我可以有一个参考图像。这意味着验收测试在代码之前尚未完成，并且我必须继续手动检查图像，直到开发工作完成。然而，一旦图像“正确”，我仍然有一些东西可以阻止回归。

一般来说，我认为由您决定哪种方法最适合您正在编写的测试。