OO博客作业4：第13-14周作业总结

一、论述测试与正确性论证的效果差异，比较其优缺点

测试是设计若干组测试用例，运行程序并检验其是否完成预期功能。测试是一种直接发现BUG的方法，可以准确断定什么样的BUG会发生，并通过辅助调试进一步确定发生BUG的代码位置。测试效果取决于测试者设计测试用例的覆盖面和针对性。测试是设计若干组测试用例，运行程序并检验