4. 数据传输基础：HTTP请求/响应结构、JSON/XML序列化、消息队列中的数据传输
在微服务集成环境回放中，契约测试的核心任务之一是验证服务间数据传输的准确性与稳定性。本章将系统梳理数据传输的三大基础载体：HTTP协议、序列化格式与消息队列，为后续契约定义与回放校验奠定技术基础。
4.1 HTTP请求/响应结构
HTTP是同步RPC风格服务间通信的主流协议。契约测试需要精确描述请求与响应的结构，包括方法、路径、头部、查询参数与消息体。
| 组成部分 | 说明 | 契约校验要点 |
|---|---|---|
| 请求行 | HTTP方法 + URI + 协议版本 | 方法是否允许、路径模板是否匹配 |
| 请求头 | Content-Type、Authorization、Trace-ID 等 | 必需头是否存在、值格式是否合法 |
| 查询参数 | URL 中 ?key=value 部分 | 参数名是否必需、类型与枚举值约束 |
| 请求体 | JSON/XML/表单等序列化数据 | 字段类型、嵌套结构、可选/必选标记 |
| 状态行 | HTTP状态码 + 原因短语 | 状态码范围（如 2xx/4xx/5xx） |
| 响应头 | Content-Type、Cache-Control 等 | 响应头是否按契约返回 |
| 响应体 | 业务数据序列化结果 | 字段类型、数组长度、空值策略 |
契约测试实践：在回放场景中，HTTP请求的路径参数与查询参数必须严格匹配契约定义，否则回放引擎无法正确路由到模拟服务。建议在契约中显式声明参数约束，如
@QueryParam("page") int page, @DefaultValue("10") @QueryParam("size") int size。
4.2 JSON/XML序列化
序列化是将内存对象转换为可传输字节流的过程，反序列化则是逆过程。契约测试必须明确序列化规则，否则回放时可能出现字段丢失、类型不匹配或结构错误。
4.2.1 JSON序列化核心规则
- 字段命名：推荐使用 camelCase（Java/JS 生态）或 snake_case（Python/Ruby 生态），契约中需统一。
- 类型映射：number、string、boolean、null、object、array 必须与语言类型严格对应。
- 可选字段：使用
required关键字标记必选字段，未标记字段在回放时允许缺失。 - 枚举约束：字段值必须在枚举列表中，回放引擎会校验枚举合法性。
常见陷阱：JSON 中
null 与字段缺失在语义上不同。契约测试建议：避免使用 null，改用 optional 字段 + 默认值策略，减少回放时的歧义。
4.2.2 XML序列化核心规则
| 特性 | JSON | XML |
|---|---|---|
| 元数据 | 无原生命名空间 | 支持 xmlns 命名空间 |
| 属性 vs 元素 | 仅键值对 | 区分 <element attr="val"> 与子元素 |
| 数组表示 | 原生数组 [...] |
重复元素或 <list><item/></list> |
| 空值处理 | null 或字段缺失 |
xsi:nil="true" 或省略元素 |
| 契约定义语言 | JSON Schema | XSD (XML Schema Definition) |
契约测试建议：在微服务集成环境回放中，优先使用 JSON 作为序列化格式，因其结构简单、解析性能高、契约定义工具链成熟（如 OpenAPI Schema、JSON Schema）。若遗留系统强制使用 XML，则必须在契约中显式声明命名空间与 xsi:type 约束。
4.3 消息队列中的数据传输
消息队列（MQ）用于异步解耦场景，如订单创建后发送通知、库存扣减事件广播。契约测试在 MQ 场景中需要关注消息结构、路由规则与投递语义。
4.3.1 消息结构与契约要素
- 消息头：包含消息ID、时间戳、消息类型、路由键、重试次数等元数据。
- 消息体：业务数据的序列化内容，通常为 JSON 或 Avro。
- 消息属性：如
contentType、encoding，影响反序列化行为。
4.3.2 常见消息队列对比
| 特性 | RabbitMQ | Apache Kafka | AWS SQS |
|---|---|---|---|
| 消息模型 | Exchange + Queue | Topic + Partition | Queue |
| 路由方式 | Routing Key / Binding | Topic 匹配 | 无（单队列） |
| 投递保证 | At-most-once / At-least-once | At-least-once / Exactly-once | At-least-once |
| 消息顺序 | 单队列有序 | 分区内有序 | 尽力有序 |
| 契约关注点 | Exchange 类型、Routing Key 格式 | Topic 命名、Key 序列化 | 消息去重、可见性超时 |
4.4 数据传输契约校验要点总结
关键原则：在集成环境回放中，数据传输的契约校验必须覆盖结构、类型、边界与语义四个维度。仅校验字段存在性是不够的，还需验证字段值范围、枚举合法性、嵌套深度限制等。
- HTTP 场景：校验请求路径、方法、头部、查询参数、请求体 Schema、响应状态码与响应体 Schema。
- JSON/XML 序列化：校验字段类型、可选/必选、枚举值、命名风格、空值策略。
- 消息队列场景：校验消息头元数据、消息体 Schema、路由键格式、投递语义（至少一次/精确一次）。
- 回放一致性：回放时使用的序列化库版本、时区、数字精度必须与生产环境一致，否则可能产生误报。
工具推荐：对于 JSON 契约，使用 JSON Schema (Draft-07/2020-12) 定义结构；对于 XML，使用 XSD 1.1；对于消息队列，可使用 AsyncAPI 规范描述事件驱动契约。这些工具均可与契约测试框架（如 Pact、Spring Cloud Contract）集成。