|
|
|
@ -202,7 +202,8 @@ type Transport interface { |
|
|
|
从Leader选举、日志复制、崩溃恢复、网络分区、客户端交互五个维度，对系统进行分模块的测试。测试中夹杂消息状态的细粒度模拟，尽可能在项目前中期验证代码与思路的一致性，避免大的问题。 |
|
|
|
|
|
|
|
## fuzz测试 |
|
|
|
分为不同节点、系统随机时间配置测试异常的多系统随机（basic），与对单个系统注入多个随机异常的多系统随机（robust），这两个维度，以及最后综合两个维度的进一步测试（plus）。 |
|
|
|
分为不同节点、系统随机时间配置测试异常的多系统随机（basic），与对单个系统注入多个随机异常的单系统随机（robust），这两个维度，以及最后综合两个维度的进一步测试（plus）。 |
|
|
|
测试中加入了raft的TLA标准，作为测试断言，确保系统在运行中的稳定性。 |
|
|
|
fuzz test不仅覆盖了单元测试的内容，也在随机的测试中发现了更多边界条件的异常，以及通过系统状态的不变量检测，确保系统在不同配置下支持长时间的运行中保持正确可用。 |
|
|
|
|
|
|
|
 |
|
|
|
|
augurier