摘要： 1. 论述测试与正确性论证的效果差异，比较其优缺点 测试是对每个方法构造样例，进行代码全覆盖来检查代码是否存在问题；而正确性论证是对其正确性和合理性进行论证，来判断是否代码是否符合逻辑。 测试的优点在于更加直观，书写起来相对比较简单方便，但是很难做到100%覆盖，有时会有一些问题被遗漏；正确性论证是 阅读全文

摘要： 一、 调研 （1）规格化设计的大致发展历史 1950年代，第一次分离，主程序和子程序的分离 程序结构模型是树状模型，子程序可先于主程序编写。 通过使用库函数来简化编程，实现最初的代码重用。 产生基本的软件开发过程：分析—设计—编码—测试，使大型软件系统的开发成为可能。 1975—1980年代，第二次 阅读全文

摘要： 终于熬过了oo的第二个阶段，虽然完成的质量只能说是差强人意，不过好歹没有无效，也算是勉强达成目标了QVQ 第五次作业——多线程电梯 一、程序分析 二、个人反思 首先是第五次作业多线程电梯，这是我这三次作业中最糟糕的一次，第一次接触多线程真的非常懵逼。。。而且因为之前的电梯作业打下的基础不太好，导致这 阅读全文

摘要： oo到目前为止也算是结束了第一个阶段，作为一个在本学期开学之前一行JAVA代码也没写过的菜鸡，这几周过得真的很艰难。。。一切都是从零开始摸索，全靠查资料和翻书自学orz 在这次的课程总结中，因为电梯部分的作业更加困难，我出现的问题也较多，所以主要只对第二三次作业进行分析。 第二次作业——傻瓜电梯 一 阅读全文