测试与正确性论证 效果差异 测试是通过构造可能的数据集输入然后对程序的运行结果进行比较，而正确性论证是通过对代码的逻辑分析来判断是否存在异常。 优缺点 测试 优点： 自由度高 能通过测试很好的定位bug 结果客观 操作相对简单 缺点： 难以对应所有的情况，数据集的构造代价很大 测试难以保证整个程序的 Read More
调研规格化设计 1950年代，第一次分离，主程序和子程序的分离程序结构模型是树状模型，子程序可先于主程序编写。通过使用库函数来简化编程，实现最初的代码重用。产生基本的软件开发过程：分析—设计—编码—测试，使大型软件系统的开发成为可能 1975—1980年代，第二次分离，规格说明（Spec）和体（bo Read More
第五次作业 算法与实现 这次的电梯因为要使用系统时间进行模拟，所以又是推倒了之前的重写的。最后采用三个电梯线程，一个调度线程，一个输入线程的方式。 源码分析图示 类图 方法分析 类分析 由上图看，由于第一次写多线程，单一线程的复杂度过高，任务分配不够平均。 BUG分析 这次被人测了一个ctrl+z导 Read More
写在前面 嗯，首先是java,这学期第一次oo作业布置下来的周末才开始看的，第一次作业因此写得有些手忙脚乱。不过大概看了一遍后发现比c好用，入门更简单吧，好多操作直接import一下就能用了，码代码的时候只需大概想想实现思路就好了，还是蛮好用的。 第一次作业 Metric的度量 程序的类图 分析 第 Read More