摘要: 一.测试与正确性论证 测试就是针对某一程序,去模拟该程序的输入与输出,通过期望输出与实际输出的比较进行论证的方法 而正确性论证是从程序的本质出发,从程序本身的逻辑出发,去论证程序正确与否,是否完成了要求的功能 二者的区别显而易见,测试显然是一种较为简单,较为直接与直观,且比较简便的方法。通过编写测试 阅读全文
posted @ 2018-06-25 16:24 韩继开 阅读(211) 评论(0) 推荐(0) 编辑