Jepsen 的核心思路是在数据库集群上运行一组并发客户端，同时通过故障注入器（nemesis）人为制造网络分区、节点崩溃、时钟偏移、进程暂停等异常，然后记录所有操作的历史，并用一致性检查器（checker）验证该历史是否满足系统声称的一致性模型。