06 2018 档案

OO第四阶段总结

摘要：一、测试与正确性论证程序测试是指通过编写测试样例来针对性的验证程序功能的正确性，而正确性论证则严格的多，正确性证明的基本思想是证明程序能完成预定的功能。因此，应该提供对程序功能的严格数学说明，然后根据程序代码证明程序确实能实现它的功能说明。由于测试样例对程序功能难以做到百分百覆盖，难免有点以偏概全阅读全文

posted @ 2018-06-25 16:33 Nipo 阅读(120) 评论(0) 推荐(0)