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

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

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