2018年6月25日
oo第四次博客作业
摘要： oo第四次博客作业 一,测试与正确性论证比较1.测试的结果是绝对正确的,但是正确性认证可能因为人为疏忽导致论证正确了,但是实际是错误的.2.测试的结果是片面的,测试只能说明当前运行的一部分程序是正确的,或者说该输入对应的输出是正确的,而不能证明程序是绝对正确的.3.在未来添加新的功能时,利用正确性论 阅读全文
posted @ 2018-06-25 14:23 又菜又爱玩 阅读(154) 评论(0) 推荐(1) 编辑