摘要: OO第四次博客作业 测试与正确性论证的效果差异 测试:我们需要编写尽可能多的测试样例,来覆盖我们的程序功能,结果直观,调试后容易发现问题,覆盖能力少稍差,决定于测试样例的质量; 论证:逻辑上的论证,需要对代码进行进一步的抽象,免去了编造测试样例的大量工作,覆盖性比较全面,但是比较抽象。 OCL语言与 阅读全文
posted @ 2018-06-25 15:41 paradox_town 阅读(245) 评论(0) 推荐(0) 编辑
摘要: 第三次作业总结 规格化的发展 为什么得到了人们的重视 规格设计用于对程序设提供分解,抽象等的手段。在撰写代码规格的时候,需要对组成部件进行抽象。 在1960s,软件设计出现危机,例如Dijkstra提出了goto语句的种种危害,引发了软件开发领域长期的论战,并且在这时候产生了结构化程序设计方法,例如 阅读全文
posted @ 2018-05-30 13:52 paradox_town 阅读(163) 评论(0) 推荐(0) 编辑
摘要: OO作业第二次总结 多线程电梯 设计策略 这是一个典型的生产者消费者模型,但由于是第一次进行多线程的编写,不知道如何下手。但至少我知道了首先要构造生产者、托盘、调度器以及消费者。作为资源共享区的托盘一开始十分让我头疼,我们要保证我们的托盘是线程安全的,因为我们既要往里放东西,又要从里面取东西,什么 阅读全文
posted @ 2018-05-02 14:39 paradox_town 阅读(244) 评论(0) 推荐(0) 编辑
摘要: 三次作业的总结 刚拿到作业的时候,根本不知道怎么写,不知道java怎么输入,不知道及各类之间要怎么互相关联,总之就是各种多项式懵逼。 和大家不同的是,一天我只能速成破产版java,破产版面向对象,对真正的豪华版面向对象还是不甚了解。 阅读全文
posted @ 2018-04-01 17:18 paradox_town 阅读(264) 评论(0) 推荐(0) 编辑