Bob Martin：逆变测试

测试 协变 逆变 TDD

摘要

Bob Martin是敏捷宣言的制定者之一。他发表了一篇博文，概述编写协变结构的测试和代码存在的陷阱。本质上，他强调的是，在设计测试结构时应该采用逆变方式，将其从生产代码中解耦，从而得到一个健壮性更好、重构更容易的代码库。

正文

Bob Martin是敏捷宣言的制定者之一。他发表了一篇博文，概述编写协变结构的测试和代码存在的陷阱。本质上，他强调的是，在设计测试结构时应该采用逆变方式，将其从生产代码中解耦，从而得到一个健壮性更好、重构更容易的代码库。

人们在开始使用TDD时，经常遇到的一个问题是测试脆弱性问题。Martins解释说，当测试代码与生产代码紧密耦合时，如果不重新编写测试，那么任何重构几乎都是不可能的。他强调：

测试的结构不必反映生产代码的结构，因为过度耦合让系统脆弱，而且妨碍重构。相反，测试结构必须独立设计，从而最小化与生产代码的耦合。

为了进一步说明这个测试脆弱性问题，Martin指出，这经常是不理解什么是重构导致的：“重构被定义为一个包含一系列小变更的序列，可以保证测试总是可以通过”。将测试耦合到生产代码，而不注重测试其行为，重构就变成不可能了。

Martin写道，这种协变结构还源自对TDD的误解。人们通常认为，每个类都应该有一个测试类，然而，实际上，它们应该有自己的结构。毕竟，我们测试的是应用程序行为，而不是代码结构。

Martin解释说，虽然开始的时候类和测试之间可能存在直接的对应关系，但随着开发进行会自然分开。他举的第一个例子是，将公有方法中的代码提取到私有方法中。应用程序行为测试的覆盖率不会变，但引入了没有直接测试的方法。如果这些代码被提取到类中，该规则同样适用；不需要创建新的测试类，因为所有的行为都是通过原来的测试进行测试。

Martin写道，久而久之，随着开发进行，越来越多的测试加入进来，每个测试都测试一种具体的应用程序行为。随着完整规范的建立，为了容纳所有必要的行为，应用程序代码自然变得越来越泛化。换句话说，生产代码应该总是越来越泛化，而测试代码应该越来越具体。这就促进了解耦，这样就是逆变：

随着测试变得越来越具体，生产代码变得越来越泛化。两个代码流沿着泛化轴向着相反的方向演化，直到没有新的沉降试验可以编写。

要阅读完整的博文，请点击这里。

查看英文原文：Bob Martin: Test Contra-Variance