作业十五 测试与正确性论证的效果差异 程序的测试需要通过输入特定数据等方式,检查程序是否和预期相同,因为测试不可能穷举,导致了不穷举的测试不可能验证程序是完全正确的,只能验证程序在测试时没有发生错误,尽管如此,测试依然是一种高效的检查程序的方法,通过输入数据或复现现场,直观的发现代码的问题,进而在代码中找到问题的来源并修正. 程序的正确性论证是在用户提出需求后,进行规格撰写后,论证程序是否符合规格的过程.因为规格往往是布尔型或自然语言,对程序员来说并不如代码和测试数据直观,且工作量巨大.但相应的…