测试始终返回 True 的函数

Question

如何为以下函数编写测试？

bool IsAnInterger(int ignore) 
{
    return true
}

我没有足够的时间来迭代每个整数（对于实际代码，参数甚至不是整数）。

这用作规范模式的一部分，以便我可以实现空对象。

Answer 1

...测试可以是显示错误存在的非常有效的方法，但它不足以显示错误的不存在。

-- 埃兹格·W·迪杰斯特拉

我想说，尝试彻底地黑盒测试这个函数是没有意义的。最好在与使用它的环境类似的环境中对其进行测试。

Answer 2

在 TDD 中，您首先编写测试，并且该测试应该指定特定的行为。因此，问题应该始终是：我期望发生什么？ - 然后编写测试来验证该行为 - 最后编写解决方案以使测试通过。

编辑：理解问题

你的意思是这个函数是不存在的规范的行为，例如空规范？您当然可以测试这个空规范，它是否以某种方式表现。但据猜测，这几乎是硬编码的单行返回值（如果有的话）。然后，对该 null 对象的测试基本上只会记录 null 规范应该做什么。它不会给系统增加任何其他额外的业务价值。

Answer 3

由于您无法合理地测试每种情况，因此您可以使用数学归纳法作为基础 供您测试。您无法通过代数计算，但可以为n选择任意值。

#include <limits>
#include <cassert>

bool IsAnInteger(int) 
{
    return true;
}

int main()
{
    assert(IsAnInteger(std::numeric_limits<int>::min())); // First
    assert(IsAnInteger(0)); // n
    assert(IsAnInteger(1)); // n+1
}

编辑

坚持住！

对于实际代码，参数甚至不是整数

那么它是什么？

#include <cassert>

template <class T>
bool IsAnInteger(const T&) 
{
    return true;
}

int main()
{
    assert(IsAnInteger(0)); // First
    assert(IsAnInteger("I am not a number!")); // n
    assert(IsAnInteger(42.0f)); // n+x
}

您的函数具有 100% 的测试覆盖率，并且您的单元测试准确地记录了它的行为方式。在 TDD 中，您只需要编写足够代码，以便单元测试通过。您已完成此操作并可以继续。