摘要：作业十五 测试与正确性论证的效果差异 程序的测试需要通过输入特定数据等方式，检查程序是否和预期相同，因为测试不可能穷举，导致了不穷举的测试不可能验证程序是完全正确的，只能验证程序在测试时没有发生错误，尽管如此，测试依然是一种高效的检查程序的方法，通过输入数据或复现现场，直观的发现代码的问题，进而在代 阅读全文