2018年6月25日
OO第四次博客作业
摘要： 一、论述测试与正确性论证的效果差异，比较其优缺点 程序的正确性论证是用户提出需求后，开发人员根据用户需求进行分析，得到需求规格，论证所写的程序程序是否符合规格的过程。因为规格往往是布尔型或自然语言，对程序员来说并不如代码和测试数据直观，且工作量巨大。但相应的，好处是对代码整体进行了具体的剖析，在规格 阅读全文
posted @ 2018-06-25 16:37 QMMM 阅读(139) 评论(0) 推荐(0) 编辑