如何验证有关 Websocket 的信息？
首先定义：什么是“Websocket”信息
Websocket 是应用程序用于通过单一、长寿命连接交换消息的一种通信方式。“有关 Websocket 的信息”通常包含两个层面：(1) 稳定的协议机制（连接如何建立和使用）和 (2) 可变的实现事实（特定服务器、服务或客户端的行为方式）。
在验证任何内容之前，先区分这两个层面。稳定的机制可以通过协议级文档和广泛实现的行为来验证。而可变事实取决于提供商、网络和配置，因此必须通过针对你正在评估的具体系统进行测试来验证。
可依赖的信息来源层级（从最稳定到最可变）
- 协议和标准文档：使用描述 Websocket 协议行为的文档（连接生命周期、帧格式、消息类型）。这一层不应依赖于任何单一提供商。
- 实现文档：使用你所关注的特定 Websocket 服务器/库的官方文档。重点关注支持的子协议、认证步骤、消息格式和已记录的限制。
- 独立复现：创建一个最小化客户端，连接并发送已知消息，记录服务器返回内容。这是你验证特定于实现或环境的声明的地方。
- 运行证据：使用你自己测试环境中的日志或数据包捕获，确认时序、重连行为和错误处理。
当你阅读一篇文章或供应商声明时，将每个陈述映射到上述其中一个层级。如果一个声明无法与协议级规则关联，请将其视为可变，直到通过复现实验验证。
可复现的验证步骤（逐步进行）
步骤 1：确认连接生命周期
假设你要验证基本生命周期，而非“市场”行为。在受控环境中尝试建立连接并记录：
- 握手是否完成。
- 连接是否保持打开。
- 连接如何关闭（正常关闭 vs 错误）。
需注意的一个限制：中间设备（如代理、防火墙）可能会中断长寿命连接，因此“本地能用”不等于“生产环境可用”。
步骤 2：确认消息格式和类型
选择一条你可控制的消息（例如，一个简单请求）并验证：
- 服务器是否期望特定格式（如 JSON 载荷结构、必填字段或特定事件名称）。
- 响应是否符合已记录的模式。
示例假设：你仅验证格式处理，不预测任何未来结果。
步骤 3：验证生命周期处理：超时与重连
实际故障模式常出现在连接不稳定时。验证以下情况下的行为：
- 服务器变得不可达。
- 你的客户端停止响应。
- 你触发重连。
如果文档说明支持重连，你仍需测试其实际行为：退避策略、会话重置，以及之前的订阅是否持续有效。
步骤 4：检查环境依赖性差异
在至少两个不同环境（例如不同网络或部署类型）中重复相同的最小化测试。这有助于你区分协议行为与网络和托管环境的影响。
经验法则：如果结果发生变化，说明该声明依赖于环境，而非协议本身。
验证中应包含的限制与风险
- 提供商行为差异：消息模式、事件顺序和限制可能因实现而异。
- 网络不稳定性：长寿命连接可能因代理、负载卸载或空闲超时而失败。
- 成本与限流影响：某些系统在负载下会限速或延迟响应，这可能影响观察到的行为，但并未“违反协议”。
- 历史 vs 未来：即使某项功能在一次测试窗口中有效，也不能保证其在不同条件下仍有效。
验证或下一个问题
完成上述步骤后，你应该能够基于连接生命周期和消息交换来解释 Websocket，并清楚哪些信息属于协议稳定部分，哪些依赖于具体实现。
一个有用的后续问题（不预设结果）：你发现的哪些具体陈述可直接追溯到协议级规则，而哪些陈述需要在你实际使用的服务器、库和网络环境中进行测试？