摘要:
0o第十五次博客作业 一、论证测试与正确性论证的效果差异 在第十三次作业中,我运用了Junit来测试我粗糙丑陋的第三次作业的代码,当时在写第三次作业的时候由于对面向对象的思想没有完全的理解,导致我的代码十分繁琐,有些类没有实际的功能,有些类非常长。Junit测试那些长方法的时候,很难仔细检查到每个分 阅读全文
摘要:
技术博客 (1) 发展历史:这个问题我没有找到很近似的答案,但我知道既然能这么问那么规格的发展历史肯定很悠远。可以肯定的是,规格化设计是伴随着计算机软件技术越来越成熟的过程不断完善的,是程序员之间墨守成规的一种写法,在多人团队合作设计中非常有用。 得到重视的原因:设计者先把规格写好,交给开发者,开发 阅读全文
摘要:
第五次作业 说明 第五次作业是虽然也是电梯,但是在设计上与第三次作业有很大的不同。我使用了ReqConsumer类,ReqProducer类,ReqTray类,Elevator类和Request类。 前三个类顾名思义是模拟生产者-消费者模型的。从控制台输入的指令经过ReqProducerr中的字符串 阅读全文