Diffy：Twitter的开源自动化测试工具

集成测试的挑战

随着软件系统的复杂性逐渐增加，微服务、面向服务的架构（Service-oriented architectures， SOA）等概念，越来越多的被应用到系统的设计当中，一同伴随的结果就是系统组件逐渐增加。

对于测试活动而言，最底层的单元测试，主要测试目标是单一的功能模块。它能够确保每个组件自身业务逻辑的正确性，但是随着系统组件依赖的增加，对单一模块的单元测试难度和成本都会上升。同时，单元测试覆盖率的提升，只能确保系统各个组件的正确性，组件之间的集成测试仍然是必不可少的。

传统集成测试的难点在于，对于每一个模块，都会有几个需要测试覆盖的分支，随着模块的增加，这些测试分支的组合，将会呈现几何级的增长（如图1所示）。

图1：随着模块增加，测试复杂度指数级增加

Twitter公司发布的自动化测试工具 Diffy ，就是为了降低开发人员对这种复杂系统的测试成本。

Diffy简介

Diffy 是一个开源的自动化测试工具，它能够自动检测基于 Apache Thrift 或者基于HTTP的服务。使用Diffy，只需要进行简单的配置，之后不需要再编写测试代码。

Diffy主要基于稳定版本和它的副本的输出，对候选版本的输出进行比较，以检查候选版本是否正确。因此，Diffy首先假设候选版本应该和稳定版本有“相似”的输出。即不论候选版本和稳定版本系统模块是否相同，他们的最终输出应该是“相似”的。

这里一直使用“相似”，而不是使用相同，这是因为相同请求可能会有一些Diffy不需要关心的干扰。比如：

• 响应中包含服务器生成的时间戳
• 代码中使用了随机数
• 系统服务间有条件竞争

Diffy有自己的噪声清理方式，确保这些噪声不会影响最终的结果。

Diffy工作原理

在测试过程中，Diffy充当一个代理，它能够将来源请求分发到不同版本的系统中去，通过对各个版本系统的输出进行对比，做出最终的结论。

Diffy需要三个版本的系统，以实现它的噪声过滤和对比功能，它们分别是：

1. 候选版本：该版本是待测版本，相对于生产环境版本有着跟新的代码
2. 稳定版本：该版本通常是已经上线版本，或者是已知功能正常的版本
3. 稳定版本副本：该版本是稳定版本的副本，和稳定版本运行相同的代码，主要用于排除噪声

整个运行流程为：

其中：

• 原始区别为候选版本和稳定版本之间输出的区别，其中可能会包含上述的噪声
• 噪声从稳定版本和其副本中获得，如果两个运行相同代码的系统输入相同输出却不同，则Diffy会认为这是开发人员不需要关心的噪声。

基于上述两个区别集合，Diffy可以识别出候选版本和稳定版本真实的区别，这些区别很有可能就是一个缺陷。

当然，对于一个概率性出现随机值，仅仅一次请求的结论可能是不准确的。例如对于一个50%概率出现true或者false的布尔值，则有50%的概率会出现候选版本和稳定版本的不同，同时又会有50%的概率出现稳定版本和其副本出现不同（即将这个值认定为噪声），最终会有25%的概率认为这是一个缺陷。因为此时稳定版本和其副本值相同，候选版本和稳定版本值不同。因此，Diffy还会聚合原始区别和噪声，当发现二者出现的概率类似的时候，会认定之前识别出来的缺陷属于误报。

示例

最后，通过Diffy仓库中的 示例 ，来大致了解下Diffy的运行方式和过程：

步骤1：克隆源码，并进行构建：

git clone https://github.com/twitter/diffy.git cd diffy ./sbt assembly

国内如果下载速度很慢，可以修改下sbt的镜像，使用国内的镜像：

#cat ~/.sbt/repositories [repositories] local osc: http://maven.oschina.net/content/groups/public/ oschina-ivy:http://maven.oschina.net/content/groups/public/,  [organization]/[module]/(scala_[scalaVersion]/)(sbt_[sbtVersion]/)[revision]/ [type]s/[artifact](-[classifier]).[ext] sonatype-oss-releases maven-central sonatype-oss-snapshots

步骤2：启动候选服务。这里直接使用example.sh，因此对应的候选服务地址为：http-candidate.herokuapp.com:80

步骤3：启动基准服务（稳定版本）。这里直接使用example.sh，因此对应的候选服务地址为：http-primary.herokuapp.com:80

步骤4：启动稳定版本副本。这里对应的是：http-secondary.herokuapp.com:80

步骤5：使用以下命令运行Diffy（example.sh）：

java -jar diffy-server.jar / -candidate='http-candidate.herokuapp.com:80' / -master.primary='http-primary.herokuapp.com:80' / -master.secondary='http-secondary.herokuapp.com:80' / -service.protocol='http' / -serviceName='My Service' / -proxy.port=:8880 / -admin.port=:8881 / -http.port=:8888 / -rootUrl='localhost:8888'

该命令指定了Diffy需要的三个版本对应的访问地址，同时在8880端口开启代理，8888端口开启了结果访问服务。现在可以通过访问8880端口，Diffy会将请求同时分发到三个版本的http服务上，然后记录这三个http服务的返回值。通过访问8888端口，就可以看见对这三个返回内容的对比结果。命令执行输出如下：

coolex scala-2.11 # java -jar diffy-server.jar / > -candidate='http-candidate.herokuapp.com:80' / > -master.primary='http-primary.herokuapp.com:80' / > -master.secondary='http-secondary.herokuapp.com:80' / > -service.protocol='http' / > -serviceName='My Service' / > -proxy.port=:8880 / > -admin.port=:8881 / > -http.port=:8888 / > -rootUrl='localhost:8888' SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder". SLF4J: Defaulting to no-operation (NOP) logger implementation SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details. I 0908 13:09:41.130 THREAD1: HttpMuxer[/admin/metrics.json]  = com.twitter.finagle.stats.MetricsExporter(<function1>) I 0908 13:09:41.189 THREAD1: HttpMuxer[/admin/per_host_metrics.json]  = com.twitter.finagle.stats.HostMetricsExporter(<function1>) I 0908 13:09:41.393 THREAD1: /admin   => com.twitter.server.handler.SummaryHandler I 0908 13:09:41.394 THREAD1: /admin/server_info   => com.twitter.finagle.Filter$$anon$2 I 0908 13:09:41.394 THREAD1: /admin/contention   => com.twitter.finagle.Filter$$anon$2 I 0908 13:09:41.394 THREAD1: /admin/threads => com.twitter.server.handler.ThreadsHandler I 0908 13:09:41.394 THREAD1: /admin/threads.json   => com.twitter.server.handler.ThreadsHandler I 0908 13:09:41.394 THREAD1: /admin/announcer   => com.twitter.finagle.Filter$$anon$2 I 0908 13:09:41.395 THREAD1: /admin/dtab   => com.twitter.finagle.Filter$$anon$2 I 0908 13:09:41.395 THREAD1: /admin/pprof/heap   => com.twitter.server.handler.HeapResourceHandler I 0908 13:09:41.395 THREAD1: /admin/pprof/profile   => com.twitter.server.handler.ProfileResourceHandler I 0908 13:09:41.395 THREAD1: /admin/pprof/contention   => com.twitter.server.handler.ProfileResourceHandler I 0908 13:09:41.395 THREAD1: /admin/ping   => com.twitter.server.handler.ReplyHandler I 0908 13:09:41.396 THREAD1: /admin/shutdown   => com.twitter.server.handler.ShutdownHandler I 0908 13:09:41.396 THREAD1: /admin/tracing   => com.twitter.server.handler.TracingHandler I 0908 13:09:41.396 THREAD1: /admin/events  => com.twitter.server.handler.EventsHandler I 0908 13:09:41.396 THREAD1: /admin/logging  => com.twitter.server.handler.LoggingHandler I 0908 13:09:41.397 THREAD1: /admin/metrics  => com.twitter.server.handler.MetricQueryHandler I 0908 13:09:41.397 THREAD1: /admin/clients/  => com.twitter.server.handler.ClientRegistryHandler I 0908 13:09:41.397 THREAD1: /admin/servers/  => com.twitter.server.handler.ServerRegistryHandler I 0908 13:09:41.397 THREAD1: /admin/files/  => com.twitter.server.handler.ResourceHandler I 0908 13:09:41.397 THREAD1: /admin/registry.json  => com.twitter.server.handler.RegistryHandler I 0908 13:09:41.403 THREAD1: Serving admin http on 0.0.0.0/0.0.0.0:8881 I 0908 13:09:41.478 THREAD1: Finagle version 6.28.0  (rev=de123b8f9d074c4e345ebd67e1a0e870bb921544) built at 20150827-162434 I 0908 13:09:43.010 THREAD1: networkaddress.cache.ttl  is not set, DNS cache refresh turned off I 0908 13:09:43.507 THREAD1: Tracer:  com.twitter.finagle.zipkin.thrift.SamplingTracer I 0908 13:09:43.810 THREAD1: zipkin-tracer  resolved to Addr.Bound, current size=1 I 0908 13:09:43.811 THREAD1: candidate resolved to Addr.Bound, current size=1 I 0908 13:09:43.811 THREAD1: primary resolved to Addr.Bound, current size=1 I 0908 13:09:43.811 THREAD1: secondary resolved to Addr.Bound, current size=1 I 0908 13:09:43.885 THREAD1: Scheduling com.twitter.diffy.workflow. FunctionalReport at 2015-09-08 13:09:43 +0000

步骤6：发送一些请求，让Diffy来记录和分析：

curl localhost:8880/json curl localhost:8880

(点击放大图像)

点击对比失败的地方，可以展示出两次对比不同之处：

(点击放大图像)

可以看见，该请求两个版本的不同是由时间戳导致的。如果选择“排除噪声”，那么最终结论会变成相同。

(点击放大图像)

感谢郭蕾对本文的审校。

给InfoQ中文站投稿或者参与内容翻译工作，请邮件至editors@cn.infoq.com。也欢迎大家通过新浪微博（@InfoQ，@丁晓昀），微信（微信号： InfoQChina ）关注我们，并与我们的编辑和其他读者朋友交流（欢迎加入InfoQ读者交流群 ）。