摘要：
1.论述测试与正确性论证的效果差异，比较其优缺点 测试：通过大量测试样例覆盖测试代码，来检测代码功能的实现是否正确是否完善。测试一个程序的正常输入比较容易，但难点就在于大量的非法输入，测试只能发现bug，却不能保证程序正确。正确性论证：通过对代码规格和逻辑的严密分析，推论和证明，来验证代码实现的正确 阅读全文
2018年6月25日
2018年6月25日
