观点

一条用例就是一个命题，你用测试数据去证明这个命题是真命题，还是假命题。

执行用例就是证明命题的过程

证明一个命题是否正确，我们会选择合适的测试数据。当选择数据不恰当时，就会导致将假命题当作真命题。

用例通过不表示程序逻辑是正确的

用例覆盖、代码分支覆盖、静态检查都通过了，依然会出现 bug，只是因为部分用例选取的测试数据不足以证明该命题的真假。