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