2018年6月23日
OO第四次博客总结
摘要： 一. 测试与正确性论证的效果差异 程序的正确性论证是在用户提出需求后，进行规格撰写后，论证程序是否符合规格的过程。因为规格往往是布尔型或自然语言，对程序员来说并不如代码和测试数据直观，且工作量巨大。但相应的，好处是对代码整体进行了具体的剖析，在规格符合需求的前提下，能够发现程序与规格间的逻辑上的不符 阅读全文
posted @ 2018-06-23 15:54 Jason103 阅读(139) 评论(0) 推荐(0) 编辑