测试什么也证明不了，但测试就是一个模型

资深测试工程师指出，测试无法证明软件正确，它只是一个模型，就像 AI 模型一样会出错、也不完整。他举例说明测试可能断言错误行为，并用停机问题论证任何有用软件都无法做到 100% 覆盖，覆盖率实际永远是 0%。SQLite 以每行代码 590 行测试代码的投入成为高可信软件的范例。