OO第三次总结博客

Posted feiyue666

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了OO第三次总结博客相关的知识,希望对你有一定的参考价值。

规格化设计的发展历史

(因为很难寻找,所以参考了下别的同学的调研结果)

规格化设计与结构化、模块化设计密不可分,伴随着OOP语言的发展,规格化设计思想逐渐形成体系,慢慢完善。

20世纪60年代,程序的模块化设计思想被提出。伴随着计算机行业的迅速发展,为了解决程序可靠性等问题,结构化、模块化的设计为程序员提供了使用接口。每个模块各司其职,这样的程序便于扩展和维护,大大降低了当时开发者的困难。

20世纪80年代,面向对象语言兴起,结构化、模块化的思想在面向对象语言里作用被体现得更加彻底。与此同时,为了提高程序语言的规范性,对类和方法进行更好的维护,对其进行规范化设计,也使得数据变得更加安全可控,测试也更加简单易行。


 

规格化设计为何受到重视

为了类和方法能够变得规范可控,对类和方法进行规范化要求就变得有必要起来。在工程里面, 一个程序也许会有多人同时进行编写,那么由于没人不同的代码习惯,可能产生不同的设计理念,通过规格化设计也可以同步多人的设计方法,避免产生设计上的漏洞。规格化的程序不更易于调试,也更容易被维护,有利于程序的长远生存和发展。


规格BUG表

仅homework9有规格bug,且无雷同问题(雷同的俩都被报了)

Bug类别 Bug内容 出现位置 代码行数
前置条件不为布尔表达式 用了逗号来连接而不是用&& updateMap 22
前置条件不为布尔表达式 用了逗号来连接而不是用&& updateFlow 4

规格BUG原因

究其原因是因为在写不等式时用了逗号,比如:0<=x1,x2<=1 这种类型,导致前置条件不是布尔表达式。但是很奇怪,在下一次作业里,助教又告诉我前置条件可以不为布尔表达式了,既然要这样子,我也没什么办法,起码从此以后我每次都有注意前置条件要为布尔表达式。


 

前置条件和后置条件的不好写法

(1)不用布尔表达式,而选择用自然语言

改进条件:use bool expression

(2)在后置条件里写出代码的算法实现

改进条件:only display the changes of attributes instead of the algorithm

(3)很多人喜欢在前置条件里写None,但我觉得这不是布尔表达式

改进条件: @REQUIRES: true

(4)过于简略,没有完整体现后置条件

改进条件: complete the effects

(5)用=代替==

改进条件: use ==


功能BUG

和规格BUG无聚集关系,一共就俩,就不列什么表了

第一次被报了3个都是因为整体算法偏慢,运行久了每个出租车就不同步了,然后就有问题了,为了解决这个问题,我让每个车sleep的时间变成了setTime-算法花费的时间。也就是给程序"造了个假",这样每辆车就同步了。

第二次是因为对于Load filename的指令忘记正则了,输个a|file.txt,程序也能正常执行,虽然我readme写了Load filename 由测试者来保证正确,但我也懒得管了。


心得体会

规格这个东西设置的初衷是好的,但拿来被恶意扣分就很可耻了。

有的人恶意扣了分后还站在制高点教育被测者,这就更不对了。

这种人我这么多周就遇到过一个,然后上次作业在吐槽版又看到了有同学恶意被扣,我也不知道是谁,但我只觉得,这很可悲。

在这种课程制度下,人性变得好可怕。

 

以上是关于OO第三次总结博客的主要内容,如果未能解决你的问题,请参考以下文章

OO第三次总结博客

OO第三单元博客总结

oo第三次博客

OO第三次课程总结分析

oo第三次总结

OO第三次博客