摘要：
一、论述测试与正确性论证的效果差异 1.测试 测试：基于前置条件和后置条件对输入划分并抽样产生测试数据，检查方法执行输出是否满足后置条件 优点：易于实施，工程广为采用 缺点：无法确保正确性 2.正确性论证 优点：折衷，形式验证与自然语言层次逻辑推理相结合 缺点：无法确保自然语言层次逻辑推理的严谨性 阅读全文
摘要：
一、规格化设计的发展历史 在上个世纪50年代，美国大学里开始出现授予计算机专业的学位。由于这个时候的程序都还只是小规模的程序，软件的开发可以简单粗暴一点。但是到了60年代，随着计算机的发展和软件的广泛使用，软件需求日益复杂，维护的难度也随之增大，出现所谓的“软件危机”。Dijkstra提出了goto 阅读全文
摘要：
前言 这三次的作业相比之前的难度有了显著的提高，虽然熬夜的日子十分“难过”，但是熬完以后还是有很多收获的。 第五次作业 这一次的作业我高估了自己的代码能力，没有在尽早地开始写，后期心态就炸了，最后凭实力得到了一份无效作业。所以类图、度量和分析都没有，直接看第六次作业吧。 第六次作业 首先贴出类图、度 阅读全文