5.3.1 并发与异步：状态机测试

文档摘要

5.3.1 并发与异步：状态机测试在分布式系统、实时通信中间件、金融交易引擎、IoT设备协同控制等关键场景中，我们常常面对一个幽灵般的挑战：状态不是静止的，而是流动的；它不等待你读取，而是在你读取的瞬间悄然跃迁。你调试时看到的，可能在下一行日志打印前已变为或；你断言的“消息已入队”，却在测试断言通过后收到重复投递告警；你精心编排的流程，在 CI 环境中以 3.7% 的概率随机失败——不是因为逻辑错，而是因为时间被撕裂了：线程调度不可控、事件循环被抢占、锁粒度失当、异步回调竞态、状态跃迁路径未穷举。这正是“5.3.1 并发与异步：状态机测试”的真实战场——它不是教你怎么写，也不是罗列和的 API 差异；它是关于如何让不确定性本身成为可测试的一等公民。