2018年6月25日
oo第四次博客作业
摘要： 一，测试与正确性论证 ①测试是使用测试样例对程序进行检测。 在完成程序后通过测试一些用例可以短时间很高效地找到的bug，但如果想要验证程序有没有bug，测试是难以完全覆盖的。 ②正确性论证是根据代码的逻辑进行验证。 正确性论证相对于测试就需要花费更多的时间去论证，但是覆盖率很高，很好地完成正确性论证 阅读全文
posted @ 2018-06-25 19:57 Mengql 阅读(123) 评论(0) 推荐(0)