2018年6月25日
OO第四次博客作业（2018春）
摘要： 一、论述测试与正确性论证 单元测试的特点是：针对程序编写测试代码、从结果验证、保证基本模块的正确性； 正确性论证的特点是：通过分析代码进行逻辑论证、从原理验证、保证了基本模块和整体的正确性。 对比两者，测试能更准确、快速地发现bug，验证过程更模块化，便于不同的程序员对同一个程序进行交互；正确性论证 阅读全文
posted @ 2018-06-25 00:38 katri 阅读(138) 评论(0) 推荐(0) 编辑