2018年6月25日
oo第四次作业总结
摘要： 一。测试与正确性论证 测试主要是考虑程序的逻辑，根据不同的情况考虑输入数据，通过输出与正确输出的对比来判断程序是否有bug。这种方法仅能证明程序有bug，即无法证明程序没有bug。但在于我们现在的作业中，通过测试已经能够想当程度保证程序的正确运行。 而正确性论证，则是对程序的各方法在逻辑层面进行推理 阅读全文
posted @ 2018-06-25 19:22 水中飞云 阅读(98) 评论(0) 推荐(0) 编辑