喝水水

摘要： 0o第十五次博客作业 一、论证测试与正确性论证的效果差异 在第十三次作业中，我运用了Junit来测试我粗糙丑陋的第三次作业的代码，当时在写第三次作业的时候由于对面向对象的思想没有完全的理解，导致我的代码十分繁琐，有些类没有实际的功能，有些类非常长。Junit测试那些长方法的时候，很难仔细检查到每个分 阅读全文

摘要： 技术博客 (1) 发展历史：这个问题我没有找到很近似的答案，但我知道既然能这么问那么规格的发展历史肯定很悠远。可以肯定的是，规格化设计是伴随着计算机软件技术越来越成熟的过程不断完善的，是程序员之间墨守成规的一种写法，在多人团队合作设计中非常有用。 得到重视的原因：设计者先把规格写好，交给开发者，开发 阅读全文

摘要： 第五次作业 说明 第五次作业是虽然也是电梯，但是在设计上与第三次作业有很大的不同。我使用了ReqConsumer类，ReqProducer类，ReqTray类，Elevator类和Request类。 前三个类顾名思义是模拟生产者-消费者模型的。从控制台输入的指令经过ReqProducerr中的字符串 阅读全文

摘要： 类说明 在第一次作业中，我一共使用了两个类，一个是public class PolyCal，另一个是class Term Term类主要是定义了一个对象Term，也就是多项式中每一个项，包括有两个属性，还包括其带有两个参数的构造方法public Term(int c, int n) ，计算项的相加方 阅读全文