~lcl

摘要： OO第四次博客作业一． 单元测试与正确性论证 在最后一阶段的作业中，我们使用Junit进行单元测试，并且通过划分分支来论证自己程序的正确性，相较于以前盲目的黑箱测试，这两种方式更加科学，覆盖面也更加广泛，能找到黑箱测试难以找到的问题。 两种测试方法其实都是通过对每一个类的方法的每一个分支进行测试，通 阅读全文

摘要： 一．规格化设计的发展历史 规格化设计的一个重要目的是为了将模块的功能，约束表达清楚，方便用户与开发者的信息交流，从这一点来看，规格化设计的出现与结构化设计有着密不可分的关系，接下来，我将从结构化设计的角度来讨论规格化设计。 程序设计的演变大致可以分成以下三个过程： 1. 20世纪60年代以前，计算机 阅读全文

摘要： 一． 三次作业的设计策略从第五次作业开始，我真正接触了多线程编程（也真正打开了地狱的大门）（笑）。三次作业我的设计方式基本相同，首先思考哪些工作是可以异步执行的，比如第五次作业的三部电梯和给它们分配任务的队列，第六次作业的trigger和recorder，以及第七次作业的每一辆出租车和每一条指令；然 阅读全文

摘要： 虽然只进行了三次作业，但它们成功地把我的思维从面向过程拉到了面向对象上边。 我的三次作业有一个共性，就是完成地十分匆忙。在周末除了一丢丢公事本有大量时间可以利用，但无奈自己懒癌发作不想写代码，导致我在周一到周三这几天特别匆忙，DDL临近的时候，我更愿意的是保险的办法——面向过程式的编程。因此我的第一 阅读全文