开发者社区 问答 正文

如何理解测试系统线性一致性等Jepsen已提供的验证model?

如何理解测试系统线性一致性等Jepsen已提供的验证model?

展开
收起
游客hmzk6xi5mlygs 2022-05-12 14:38:41 394 分享
分享
版权
举报
1 条回答
写回答
取消 提交回答
  • 为了简便起见,可以直接套用Jepsen中的model,通过将自身系统提供的接口封装为和已有验证model的操作等价的语义,便可以直接运用Jepsen进行验证。比较适合系统功能与已有Jepsen测试相符的情况,此时可以迅速测试系统的各项功能。

    2022-05-12 17:15:37 举报
    赞同 评论

    评论

    全部评论 (0)

    登录后可评论
AI助理

你好,我是AI助理

可以解答问题、推荐解决方案等