摘要: 一、测试与正确性论证 测试是根据所写的程序,在其合理的范围内设计一些测试样例,来判断这一段程序是否存在着问题。 正确性论证则是在逻辑上对所写程序进行判断、论证其正确性与合理性,是否达到了设计要求。 因而测试的优点就是简单快捷,相比于正确性论证的长篇大论,直接测试显然容易的多,但是其缺点也很明显,覆盖 阅读全文
posted @ 2018-06-25 14:55 Yukinoshita 阅读(182) 评论(0) 推荐(0) 编辑