3、契约测试概述
契约测试（Contract Testing）是一种介于单元测试与端到端测试之间的集成验证手段，其核心思想是：不直接启动真实依赖服务，而是通过预先定义的“契约”来验证服务之间的交互是否符合预期。在微服务与事件驱动架构中，契约测试已成为保障服务间接口兼容性的关键实践。
3.1 契约测试的定义
契约测试以接口契约（API Contract）作为测试的输入与断言依据。契约是一份结构化的交互描述，通常包含：
- 请求格式：HTTP 方法、路径、请求头、请求体（JSON/XML Schema）。
- 响应格式：状态码、响应头、响应体结构及字段约束。
- 交互顺序：消息队列中的事件类型、负载模式、超时与重试策略。
关键区别：契约测试不启动真实数据库、缓存或第三方服务，而是使用桩（Stub）或模拟（Mock）来模拟提供者（Provider）的行为，仅验证消费者（Consumer）能否正确解析契约中定义的响应。
3.2 消费者驱动契约（Consumer-Driven Contract, CDC）
在 CDC 模式中，消费者（调用方）负责定义契约，并将契约发布给提供者（被调用方）。提供者根据契约实现或调整接口，并通过契约测试确保自身行为与所有消费者的期望一致。
| 角色 | 职责 | 典型工具 |
|---|---|---|
| 消费者 | 编写契约文件，定义期望的请求/响应；运行消费者端测试，验证自身代码能正确解析响应。 | Pact (JVM/JS/.NET)、Spring Cloud Contract |
| 提供者 | 拉取消费者发布的契约，运行提供者端测试，验证真实接口是否满足所有契约约束。 | Pact Broker、Pact Verifier |
| 契约仓库 | 存储、版本化、分发契约文件；支持多消费者版本与提供者版本的交叉验证。 | Pact Broker、Git + CI Pipeline |
实践建议：CDC 最适合上游服务稳定、下游消费者众多的场景。例如订单服务被支付、物流、通知三个服务调用，由三个消费者各自定义契约，订单服务只需一次验证即可覆盖所有调用方。
3.3 提供者驱动契约（Provider-Driven Contract, PDC）
PDC 模式由提供者主导契约的定义与发布。提供者先定义接口规范（如 OpenAPI/Swagger、gRPC Proto），消费者根据规范生成客户端代码或桩，并验证自身实现是否与规范一致。
| 维度 | CDC（消费者驱动） | PDC（提供者驱动） |
|---|---|---|
| 契约发起方 | 消费者 | 提供者 |
| 变更流程 | 消费者先改契约 → 提供者适配 | 提供者先改规范 → 消费者适配 |
| 适用阶段 | 已有服务演进、多消费者场景 | 新服务设计、API 优先开发 |
| 工具生态 | Pact、Spring Cloud Contract | OpenAPI + Dredd、gRPC + Protobuf |
| 优势 | 精准反映消费者真实需求，避免过度设计 | 规范先行，接口文档与契约天然一致 |
| 风险 | 消费者契约可能过于宽松或遗漏边界 | 提供者可能定义消费者不需要的字段 |
3.4 契约测试与集成测试的区别
集成测试（Integration Test）通常启动真实或容器化的依赖服务（数据库、消息队列、缓存），验证多个组件协同工作的正确性。契约测试则不启动真实依赖，仅验证交互契约的符合性。两者在测试范围、运行速度、反馈周期上存在显著差异。
| 对比维度 | 契约测试 | 集成测试 |
|---|---|---|
| 依赖环境 | Mock / Stub，无需真实服务 | 真实服务（数据库、缓存、第三方） |
| 运行速度 | 毫秒级，可集成到单元测试阶段 | 秒级到分钟级，通常独立流水线 |
| 验证目标 | 接口契约的兼容性（请求/响应结构） | 业务逻辑的正确性（数据持久化、状态流转） |
| 故障定位 | 快速定位到契约不匹配的字段 | 需排查网络、数据、配置等多层因素 |
| 维护成本 | 契约文件需随接口变更同步更新 | 测试数据与基础设施需持续维护 |
| 典型场景 | 微服务间 HTTP/gRPC 调用、消息队列事件 | 数据库读写、缓存穿透、分布式事务 |
常见误区：契约测试不能替代集成测试。契约测试只保证“接口格式正确”，不保证“业务逻辑正确”。例如：契约测试可以验证订单服务返回了正确的 JSON 结构，但无法验证该订单是否真的写入了数据库。两者应形成互补：契约测试用于快速反馈接口兼容性，集成测试用于验证端到端业务场景。
3.5 契约测试在集成环境回放中的定位
在集成环境回放（Replay）场景中，契约测试承担前置验证角色：
- 录制阶段：从生产环境录制真实请求/响应，自动生成契约文件。
- 回放阶段：在测试环境回放请求，使用契约测试验证响应结构是否与录制契约一致。
- 差异分析：若回放响应与契约不匹配，自动标记为“契约断裂”，触发告警并阻断发布。
核心价值：契约测试将集成环境回放从“黑盒比对”升级为“结构化验证”。不仅比较响应内容，还能精确识别是哪个字段、哪种类型发生了变化，大幅降低人工排查成本。