主要观点：TigerBeetle 热衷于确定性模拟测试（DST），能在单台笔记本上完美重现分布式系统的复杂故障，但本文主要介绍新增的非确定性测试工具 Vörtex。
关键信息：

• TigerBeetle 采用深度防御测试策略，涵盖多种测试方式，现要增加非确定性测试。
• Vortex 是生成式全系统测试套件，通过故障注入检查安全和活性属性等，重点增加对非确定性部分的覆盖。
• Vortex 架构包括 Supervisor、Workload、Driver 和 Replicas，通过 TCP 代理注入网络故障等。
• 已有 Zig 和 Java 客户端的 Vortex 驱动，目标是所有客户端都有驱动。
• Vortex 已发现两个 bug，还用于验证内存问题和调查可能的活性问题。
  重要细节：
• DST 能在单台设备重现复杂故障，而 Vortex 用于测试非确定性环境。
• TigerBeetle 测试策略多样，包括多种测试类型，但仍需增加非确定性测试。
• Vortex 架构中各部分的功能及作用，如 Supervisor 协调工作等。
• 已发现的两个 bug 的具体情况及编号。
• 后续 Vortex 的发展计划，如持续运行自动化等。