开发者社区> 问答> 正文

如何测试其他系统和功能?

如何测试其他系统和功能?

展开
收起
游客hmzk6xi5mlygs 2022-05-12 14:38:40 380 0
1 条回答
写回答
取消 提交回答
  • 在满足线性一致性的条件下,History会有各种可能的Log排列。若History在任何顺序下输入Model,都因为不能满足Model自身的约束,则可以反证系统不满足线性一致性。实际在Jepsen的线性一致性求解用的knossos,不会这样全部排列遍历的,具体用的可线性化验证算法——WGL

    2022-05-12 17:15:37
    赞同 展开评论 打赏
问答排行榜
最热
最新

相关电子书

更多
移动互联网测试到质量的转变 立即下载
给ITer的技术实战进阶课-阿里CIO学院独家教材(四) 立即下载
F2etest — 多浏览器兼容性测试整体解决方案 立即下载