2018年6月25日
OO第十五次作业
摘要： 一. 论述测试与正确性论证的效果差异，比较其优缺点。 测试：测试在于从效果上证明程序的正确性，是最直观的判断程序正确性的方法，通过测试程序观察结果即可验证正确性。这样优点在于易于实施，直观，出现问题就代表一定有bug。缺点是很难全面测试完成，不确定是否一定没bug。 正确性论证是针对格式化的规格和代 阅读全文
posted @ 2018-06-25 15:56 swordpj 阅读(115) 评论(0) 推荐(0)