时值秋招，offer拿得还算顺利，所以也没有特别大的压力了，这段时间刚好可以加强一下理论的积累。

下午听了一个和CAP相关的讲座——《CAP Theorem and Its Implications for Building Robust Distributed Systems》，当然主要还是介绍CAP Theorem，基本没怎么涉及“健壮的”分布式系统，毕竟1个小时也分享不了多少内容。

虽然网上已经有不少关于CAP的文章了，但和这次讲座上提到的相比，似乎存在一些问题，并不是说做学术的就是权威，大家需要自己斟酌。

赶在四月的最后一天，发篇有点营养的文章。

如何确保程序的正确性？这是一个很难的问题，答案是暂时没有。

在本站的很多篇文章中，我都说过测试并不可靠。因为测试的目标就是尽可能找出错误，测试用例越完善，覆盖度越高，能够找出的错误就越多。但问题就在于，一般情况下，测试用例的覆盖度根本达不到100%。