摘要：论述测试与正确性论证的效果差异，比较其优缺点 程序的正确性论证通过需求规格，论证所写的程序程序是否符合规格的过程。 缺点是不如代码和测试数据直观，且工作量巨大。好处是对代码整体进行了具体的剖析，可以在一定程度上保证程序的正确性。 测试是指通过输入特定数据，检查程序运行结果是否和预期相同。 缺点是只能 阅读全文