摘要： 一． 论述测试与正确性论证的效果差异，比较其优缺点 软件测试是用于保证软件质量的测试。它的作用是检查程序所能完成的功能。测试手段包括等价划分和边界值分析。软件测试不能够保证覆盖面完全。 正确性论证是对代码进行输入的划分，依次对输入与输出进行解释。但是对于大型的程序，也许能保证单元测试内部满足代码要求 阅读全文