2018年6月25日
面向对象第四次总结作业
摘要： 测试与正确性论证 通过实际的测试样例来测试代码是检查代码正确性最常见的方法。通过实际的运行，可以检验程序的基本功能，还能发现一些只看代码难以发现的问题，运行效率和使用体验也难以仅从代码检验。但是例子是无穷多的，枚举所有实际情况是不现实的，能做的仅是测试到所有类别。 正确性论证从理论层面证明了工程的正 阅读全文
posted @ 2018-06-25 16:02 ffiamz 阅读(166) 评论(0) 推荐(0) 编辑