摘要：
OO第四次博客作业 一、测试与正确性论证的效果差异 在本学期的OO课程学习中，我们不光编写了许多次代码，同时也花了许多时间在测试与正确性论证上。 在我看来，测试与正确性论证一个偏向于实践，一个偏向于理论。 测试：测试能够构造尽量多的测试样例，是从外部出发，虽然要求测试者对代码本身有一定的了解，但是类 阅读全文
摘要：
一、规格化设计的发展历史 此部分有参考百度、谷歌及其他同学的博客。 最初的软件形式化方法源于二十世纪五十年代，及软件工程这一概念刚刚开始兴起的时代，对于工程间的协调管理，人们提出采用工程方法来组织、管理软件的开发过程并深入探讨程序和程序开发过程的规律，建立严密的理论。这一结构发展至今，规格已经形成一 阅读全文
摘要：
第五次作业和第六次作业因为一些个人原因被判了无效所以这里就不拿出来分析了（捂脸） 第七次作业 设计一个简单的出租车调度系统 类图 度量分析 其实在刚看到指导书的时候，觉得调度规则十分复杂。周日看了一下午指导书之后才大概想到一点思路，接着就开始了一步步尝试。 其实这次作业的目标十分明确，每个线程的任务 阅读全文
摘要：
从前听学长学姐们口中说过无数次的OO，这学期终于接触到了-- 抱着一种“没事，再难也难不过计组”的心态，我成功地被OO教育得明明白白的 第一次作业 第一次作业的主题并不陌生——多项式加减，学C语言的时候也有过类似的题目，所以，这一次作业首先要求我们回顾了一下C语言，要求先用C语言完成一次该作业，再写 阅读全文