2018年6月25日
OO第四阶段总结
摘要： 一、测试与正确性论证 程序测试是指通过编写测试样例来针对性的验证程序功能的正确性，而正确性论证则严格的多，正确性证明的基本思想是证明程序能完成预定的功能。因此，应该提供对程序功能的严格数学说明，然后根据程序代码证明程序确实能实现它的功能说明。由于测试样例对程序功能难以做到百分百覆盖，难免有点以偏概全 阅读全文
posted @ 2018-06-25 16:33 Nipo 阅读(117) 评论(0) 推荐(0) 编辑