OO第三次博客作业——规格
OO第三次博客作业——规格
一、调研结果:
规格的历史:
引自博文链接:http://blog.sina.com.cn/s/blog_473d5bba010001x9.html
传统科学的特点是发现世界,而软件的特点是构造世界。软件的最底层就是0,1,两个离散的值。
程序设计语言的三次分离使软件技术产生了飞跃
1950年代,第一次分离,主程序和子程序的分离程序结构模型是树状模型,子程序可先于主程序编写。通过使用库函数来简化编程,实现最初的代码重用。产生基本的软件开发过程:分析—设计—编码—测试,使大型软件系统的开发成为可能
1975—1980年代,第二次分离,规格说明(Spec)和体(body)的分离说明是类型定义和操作描述,体是操作的具体实现。(具体的例子就是C++,Java等面向对象语言的类说明与类实现的分离。)解决方案设计只关注说明,实现时引用或者设计体。体的更改、置换不影响规格说明,保证了可移植性。支持多机系统,但要同样环境。此时产生了划时代的面向对象技术。
1995—2000年代,第三次分离,对象使用和对象实现的分离
基于构件开发:标准化的软件构件如同硬件IC,可插拔,使用者只用外特性,不计内部实现。Web Services:软件就是服务。分布式,跨平台,松耦合。
为什么规格很重要?
这三次分离中的第二次就是OO课程要求我们去做的,也是面向对象的精髓。在大型项目的开发中,单个项目不可能由一个人完成。多人协作共同完成任务就意味着不仅仅需要知道自己的代码做了什么,还要知道别人的代码做了什么。自己的代码是自己写出来的,具体怎么实现,使用了什么样的数据结构,使用了什么样的算法,当然知道自己的程序会对什么产生影响,需要什么样的输入 。假设有个人写了一个方法,写好了,实现了,于是,他交了这份代码上去,你要使用这个方法,一看,这什么**玩意。花了时间适应了代码风格,知道要干嘛之后,写自己的代码进行测试,一测,bug,找了半天,发现是他和你的代码对于某个变量能不能修改有冲突。浪费了很长时间,再交给上面。。恶行循环。于是,规格的诞生可以说是拯救了这个局面。拿到代码,看前置条件,副作用,后置条件,就很清晰,永无bug(当然是不可能的)。
软件工程行业代码也越来越复杂,多人协作是必不可少,规格在我看来是代码风格的调和剂,多人项目运作的润滑油。
二、功能与规格BUG:
第9,10,11次,三次都没有被报功能bug和规格bug(当然不是我程序写得好,运气运气运气)。
但是还是想说明一下,自己在规格上的一些不足和功能上的一些不足。
JSF上:
JSFbug | 原因 |
---|---|
后置条件使用了较多的自然语言 | 因为部分方法在设计的时候没有设计好,行数较长,使用布尔表达式过于繁杂,有点嫌麻烦 |
副作用有几个函数存在问题,比如System.out缺失 | 这是我刚和同学交流时才发现的(捂脸),刚开始的时候写了,但是JSF检查工具给我报wrong,我就一直没写emm |
功能上:
功能bug | 原因 |
---|---|
(前两次作业都存在,第11次作业修复)接客时正好处于请求起点时,车辆无法正常运行 | 属于状态机中的边界状况,在计算下一个到达位置的时候,判断的是下一个位置与起始点,忽略了边界情况 |
三、列举不好的写法和改进:
前置1:不判断是否对象是否存在
1 /** 2 * @REQUIRES: None; 3 * @MODIFIES: this.req; this.position; 4 * @EFFECTS: this.req == req; this.position == position; 5 */ 6 public Record(Request req, Point p) { 7 this.req = req; 8 this.position = p; 9 } 10 //正确写法 11 /** 12 * @REQUIRES: req != null && p != null; 13 * @MODIFIES: this.req; this.position; 14 * @EFFECTS: this.req == req; this.position == position; 15 */ 16 public Record(Request req, Point p) { 17 this.req = req; 18 this.position = p; 19 }
前置2:不判断值是否符合实际
/*** @REQUIRES: None;* @MODIFIES:this.index; * @EFFECTS: this.index == index;*/public TaxiCar(int index) { this.index = index;} //正确 /*** @REQUIRES: 0<=index<100;* @MODIFIES:this.index; * @EFFECTS: this.index == index;*/public TaxiCar(int index) { this.index = index;}
前置3:未使用布尔表达式
/*** @REQUIRES: index is in 0-100;* @MODIFIES:this.index; * @EFFECTS: this.index == index;*/public TaxiCar(int index) { this.index = index;} //正确 /*** @REQUIRES: 0<=index<100;* @MODIFIES:this.index; * @EFFECTS: this.index == index;*/public TaxiCar(int index) { this.index = index;}
前置4:遗漏
/*** @REQUIRES: req != null;* @MODIFIES: this.req; this.position;* @EFFECTS: this.req == req; this.position == position;*/public Record(Request req, Point p) {this.req = req;this.position = p;} //正确写法 /*** @REQUIRES: req != null && p != null;* @MODIFIES: this.req; this.position;* @EFFECTS: this.req == req; this.position == position;*/public Record(Request req, Point p) {this.req = req;this.position = p;}
前置5:布尔表达式描述逻辑错误
/*** @REQUIRES: req != null && index >= 80 || index < 0;* @MODIFIES: this.req; this.index;* @EFFECTS: this.req == req; this.index; */public Record(Request req, int index) {this.req = req;this.index = index;} //正确写法 /*** @REQUIRES: req != null && (index >= 80 || index < 0);* @MODIFIES: this.req; this.index;* @EFFECTS: this.req == req; this.index; */public Record(Request req, int index) {this.req = req;this.index = index;}
后置1:未使用布尔表达式
/*** @REQUIRES: req != null && p != null;* @MODIFIES: this.req; this.position;* @EFFECTS: this.req = req; this.position = position;*/public Record(Request req, Point p) {this.req = req;this.position = p;} //正确 /*** @REQUIRES: req != null && p != null;* @MODIFIES: this.req; this.position;* @EFFECTS: this.req == req; this.position == position;*/public Record(Request req, Point p) {this.req = req;this.position = p;}
后置2:使用自然语言
/*** @REQUIRES: req != null;* @MODIFIES: None;* @EFFECTS: 判断起始点与目标点是否为同一个点*/public boolean samedest(Request req) {if(req.getSrc().equals(req.getDst())) {return true;}else return false;} //正确 /*** @REQUIRES: req != null;* @MODIFIES: None;* @EFFECTS: (req.getSrc() == req.getDst()) ==> \result == true;* (req.getSrc() != req.getDst()) ==> \result == false;*/public boolean samedest(Request req) {if(req.getSrc().equals(req.getDst())) {return true;}else return false;}
后置3:未处理异常
public static int min (int[ ] a) throws NullPointerException, EmptyException /**@ EFFECTS: \result == \min a; */ //正确 public static int min (int[ ] a) throws NullPointerException, EmptyException /**@ EFFECTS: normal_behavior\result == \min a; (a == null) ==> exceptional_behavior (NullPointerException); (a.length == 0) ==> exceptional_behavior (EmptyException); */
后置4:描述不准确
/*** @REQUIRES : None; * @MODIFIES : this.AskList;* @EFFECTS : AskList.contains(ask);*/public synchronized void addAsk(Ask ask){AskList.add(ask);} //修改为 /*** @REQUIRES : None; * @MODIFIES : this.AskList;* @EFFECTS : AskList.contains(ask) && AskList.size == \old(AskList).size + 1;*/public synchronized void addAsk(Ask ask){AskList.add(ask);}
后置5:多线程规格
/*** @REQUIRES : None; * @MODIFIES : this.AskList;* @EFFECTS : AskList.contains(ask) && AskList.size == \old(AskList).size + 1;*/public synchronized void addAsk(Ask ask){AskList.add(ask);} //正确 /*** @REQUIRES : None; * @MODIFIES : this.AskList;* @EFFECTS : AskList.contains(ask) && AskList.size == \old(AskList).size + 1;* @THREAD_EFFECTS : \locked(Asklist);*/public synchronized void addAsk(Ask ask){AskList.add(ask);}
四、感想与体会:
首先说一下自己在写规格的体会。即便是知道规格的重要性,在第一次写规格的时候还是抗拒的,因为尤其是后置条件,全部写成布尔表达式是真的很难受。在OO实验课上提供的代码相对来说都比较简单,所以写成布尔表达式相对来说比较容易,使用布尔表达式来写具体实现也比较容易,但是自己写的代码有些结构相对来说比较复杂,除了一些比较简单的转换函数,JSF写的感觉很规范,其他都或多或少存在着问题。或者是实在想不到如何用布尔表达式表示偷摸摸用了自然语言啊,或者就像自己上面列的部分毛病啊,或者是自己对JSF原则上的一些忽略啊,等等。虽然这几次互测我没有被报bug,但是看周围同学被报的BUG,也知道自己的JSF存在很大的问题。
我在扣别人JSF时候,还是比较松的,第一次报了两个问题比较严重的,后面两次就只报了一个方法遗漏了JSF的bug。我会随机挑选几个函数的JSF进行查看,看能否get到这个函数的意思,我觉得能够让很多人快速理解代码的作用而不是每一行看代码找方法的作用就是JSF的精华。
还是挺开心的,OO的代码作业终于也是结束了,三次作业在设计上虽然不是十分的满意,但还是完成了基本的任务。虽然有一个边界条件直到最后一次作业才解决(其实我在第10次作业就发现了这个bug,原因是提交之前想测试一下能不能编译通过,结果出现了bug,复现了几遍都失败了,但是已经没有了时间,仅仅是初步判定了bug的可能位置,后来确实是我想的地方出了问题)。
最后,我记得第九次作业测试我的老哥在最后一个公测点,写了,和谐六系,OO不易,与君共勉,当时很感动。然后第10次和第11次作业都遇到了好人(或者是摸鱼测试者)。怎么说呢,虽然感谢老哥给我送分,但是感觉自己的程序的bug也被隐藏了emmmm。其实自己在课下有时候也能听到一些同学对OO互测的抱怨,有佛系测试者,有对结果很不满,有想击溃对面心理防线的(害怕&&鄙视),有恶意扣分获利的,怎么说呢,面向运气是一方面,课程的精髓有时候被掩盖了。引入公测是好事,虽然我是公测的受害者(为什么呢,因为第三次作业,格式上出了错误导致公测全WA,被判了无效,如果是后几次的测试模式,我觉得也就是一个BUG的事,不至于无效。也不是开脱,毕竟是自己不小心,甚至第四次作业临交前,对了十几遍输出害怕再无效。要说觉得很难受就是第四次作业的时候有同学甚至输出了调试信息,都没有判无效,觉得很不平emmmm)。
这句话真的很好,和谐六系,OO不易,与君共勉。一起走向未来,Code the world! Debug the world!
转载于:https://www.cnblogs.com/xiaoxin83121/p/9101785.html
OO第三次博客作业——规格相关推荐
- [BUAA OO]第三次博客作业
OO第三次博客作业 1. 规格化设计的发展 我认为,规格化设计主要源自于软件设计的两次危机.第一次是由于大量存在的goto语句,让当时被广泛应用的面向过程式的编程语言臃肿不堪,在逻辑性上与工程规模上鱼 ...
- OO第三次博客作业---透过代码看设计
不得不说的JSF 经过前几次作业的煎熬.出租车的代码量不断地增多.而出租车问题在不断的完善,这也就牵涉到一个问题,那就是最初出租车程序的设计问题,如果一开始设计的就有问题的话,那么在后来的过程中就会遇 ...
- oo第三次博客-JML规格
这三周的作业主要是围绕以JML来约束代码开发,以确保程序的正确性与鲁棒性. Part 1:三次作业的实现与bug 第一次作业没有任何算法和数据结构上的难度,对于Path和PathContainer的各 ...
- OO第三次博客总结作业
OO第三次博客总结作业 1.规格化设计的大致发展历史和为什么得到了人们的重视 发展历史...上网搜索了一圈...什么都没搜索到,只能谈谈自己对规格化设计重要性的一些看法. 规格化设计,顾名思义,是有 ...
- 闽江学院2015-2016学年下学期《软件测试》课程-第三次博客作业
闽江学院2015-2016学年下学期<软件测试>课程-第三次博客作业 作业提交班级:13软金2班全体同学 作业提交截止日期:2016年4月30日24:00前(超过截止时间提交的不给成绩) ...
- 第三周博客作业西北师范大学|李晓婷
1.助教博客链接:https://www.cnblogs.com/lxt-/MyComments.html 2.学生作业打分要求: https://www.cnblogs.com/nwnu-dai ...
- OO第四单元博客作业
一.UML作业架构设计 1.第一次作业 其中 Main 是入口类,MyUmlinteraction实现了接口,UmlInteractionBase为MyUmlinteraction实现提供了底层功能, ...
- C语言第三次博客作业---单层循环结构
一.PTA实验作业. 题目1 1.实验代码 int n,i; double height1,height2;//1为输入身高,2为输出身高. char sex; //1<=height1< ...
- 《软件测试》 第三次博客作业
1. 某网站管理系统,用户注册时,电话号码为可选输入项,输入格式为:区号-电话号码-分机号,中间用"-"隔开.以下为jsp页面上的设计,且并未对输入做任何控制. 假设系统现在需要 ...
最新文章
- C语言 读取字符串数组中的字符串并获取字符串的长度
- NOIP2020洛谷P7115:移球游戏(分治)
- uni-app微信小程序image引入图片;background-image背景图引入图片;小程序预览本地图片;小程序图片过大引入报错;获取本地图片的网络地址;
- python数据框循环生成_python - 如何在 Pandas 的for循环迭代中创建多个数据框?
- JMS学习八(ActiveMQ消息持久化)
- pandas Dataframe统计缺失值占比
- java 工厂化生产
- 王思聪也救不了熊猫直播了?
- ❤️今天,该让 python 上个热门❤️
- 最新度盘高速下载神器,免登录不限速,非常牛批!
- 小程序开发(一)iconfont图标引入
- 腾讯云cdn设置 php,腾讯云CDN开启中间源导致wordpress后台无法访问的最终解决办法...
- 最小和最大优先循环队列(C++)
- Maximo学习:创建表和应用程序
- 百色靖西18万亩水稻 国稻种芯·中国水稻节:广西进入收割期
- 我的世界启动器制作教程
- 《我和我的祖国》之《夺冠》:所有人都在欢呼,只有他在哭......
- PTA 5 动物发声模拟器(多态)分数 10
- 广东电信公话201亲情月卡用户重复购买率模型的研究
- 神经网络训练trick总结
热门文章
- java连接mongodb的jar包_Java实战之管家婆记账系统(1)——项目简述
- beanshell断言_JMeter使用BeanShell断言
- 程序设计基础(c语言)复习大纲,《程序设计基础-C》复习大纲.doc
- html 完全复制div中的内容_LOL手游现在远非完全体,未来还有哪些端游内容会加入手游中?...
- python就业班 miniweb框架_mini-web框架
- 在c语言中引用数组元素时,其数组下标的数据类型允许是什么
- C语言灵魂篇|指针作为函数返回值
- 自定义日历控android,Android自定义日历Calender代码实现
- python3解释器执行not 1 and 1_编程语言的分类,python解释器多版本共存.执行python的两种方式,变量,用户与程序交互...
- 简单比对照片是否相同_小新说法 | 如何认定商标是否侵权?