规格化设计调研
大致发展历史
--> 自给自足的私人化的软件生产方式。
--> 落后的软件生产方式无法满足迅速增长的计算机软件需求,软件的开发与维护出现一系列严重问题。
--> 正式提出“软件工程”。
--> 提出结构化程序设计,以模块化设计为中心,分而治之,引出了规格化抽象。
--> 软件系统日趋复杂,结构化程序设计的缺点日渐暴露出来,面向对象由此产生,规格化设计进一步发展。
--> 设计模式、设计原则、架构模式的产生。
为何得到重视
- 有助于程序员理解程序、分解程序,独立化开发任务、加快开发速度。
- 有助于团队中的人互相理解代码。
- 有助于程序在细节和整体上进行验证,以保证程序的正确性。
- 有助于提高程序未来的可维护性、可扩展性。
三次作业的bug列表分析
列举几个规格bug并改进
前置条件的错误样例及改进
static int getRandomInRange(int range) { /** * @REQUIRES : None; * @MODIFIES : None; * @EFFECTS : * 返回一个随机整数,范围从0,1,2...到range-1 * */ return (int) (Math.random() * range); } ============================================================================= static int getRandomInRange(int range) { /** * @REQUIRES : * range>0; * @MODIFIES : None; * @EFFECTS : * 返回值为一个随机整数,其范围从0,1,2...到range-1 * */ return (int) (Math.random() * range); }
private DIR calDir(MyPoint ptobe) { /** * @REQUIRES : * ptobe!=null; * @MODIFIES : None; * @EFFECTS : * 根据传入的目标点,与当前的点相比,判断从目标点在当前点的哪个方向。 */ if(ptobe.x==place.x && ptobe.y==place.y+1) return DIR.EAST; else if(ptobe.x==place.x && ptobe.y==place.y-1) return DIR.WEST; else if(ptobe.x==place.x+1 && ptobe.y==place.y) return DIR.SOUTH; else if(ptobe.x==place.x-1 && ptobe.y==place.y) return DIR.NORTH; return null; } ============================================================================== private DIR calDir(MyPoint ptobe) { /** * @REQUIRES : * ptobe!=null; * @MODIFIES : None; * @EFFECTS : * 若 传入的目的坐标点 ptobe 与 出租车当前所在的位置坐标点 \this.place 为相邻点,则返回值为 ptobe 相对于 \this.place 的方向。
* 若 ptobe 和 \this.place 为不相邻点,则返回值为null。 */ if(ptobe.x==place.x && ptobe.y==place.y+1) return DIR.EAST; else if(ptobe.x==place.x && ptobe.y==place.y-1) return DIR.WEST; else if(ptobe.x==place.x+1 && ptobe.y==place.y) return DIR.SOUTH; else if(ptobe.x==place.x-1 && ptobe.y==place.y) return DIR.NORTH; return null; }
后置条件的错误样例及改进
public Car(int id) { /** * @REQUIRES : * 0<=id<100; * @MODIFIES : * \this.id; * \this.place; * \this.dir; * @EFFECTS : * \this.id == id; * 位置place更新为随机的点,其中点的横纵坐标都是属于[0,79]的整数。 * 初始方向随机为东南西北中的一种。 */ try { pw = new PrintWriter("car" + id + ".txt", "UTF-8"); } catch (FileNotFoundException e) { e.printStackTrace(); } catch (UnsupportedEncodingException e) { e.printStackTrace(); } this.id = id; place = new MyPoint(RanGen.getRandomInRange(TaxiSys.MAP_LEN), RanGen.getRandomInRange(TaxiSys.MAP_LEN)); TaxiSys.gui.SetTaxiStatus(id, place.toAwtPoint(), 2); int ran = RanGen.getRandomInRange(4);//随机设置初始朝向 switch(ran) { case 0://状态和编号是一一对应的,按从北开始的顺时针方向 dir = DIR.NORTH; break; case 1: dir = DIR.EAST; break; case 2: dir = DIR.SOUTH; break; case 3: dir = DIR.WEST; break; } }
===============================================================================
public Car(int id) { /** * @REQUIRES : * 0<=id<100; * @MODIFIES : * \this.id; * \this.place; * \this.dir;
* \this.pw; * @EFFECTS : * \this.id == id; * 位置\this.place为一个随机的点,其中点的横纵坐标都是属于[0,79]的整数; * 初始方向\this.dir为东南西北中的随机的一种;文件写入器\this.pw得到初始化; */ try { pw = new PrintWriter("car" + id + ".txt", "UTF-8"); } catch (FileNotFoundException e) { e.printStackTrace(); } catch (UnsupportedEncodingException e) { e.printStackTrace(); } this.id = id; place = new MyPoint(RanGen.getRandomInRange(TaxiSys.MAP_LEN), RanGen.getRandomInRange(TaxiSys.MAP_LEN)); TaxiSys.gui.SetTaxiStatus(id, place.toAwtPoint(), 2); int ran = RanGen.getRandomInRange(4);//随机设置初始朝向 switch(ran) { case 0://状态和编号是一一对应的,按从北开始的顺时针方向 dir = DIR.NORTH; break; case 1: dir = DIR.EAST; break; case 2: dir = DIR.SOUTH; break; case 3: dir = DIR.WEST; break; } }
synchronized public void addReq(Request r) { /** * @REQUIRES : * r!=null; * @MODIFIES : * \this.q; * \this.req_id; * @EFFECTS : * \this.q.size()==\old(this).q.size()+1 && \this.q.contains(r); * @THREAD_REQUIRES : None; * @THREAD_EFFECTS : * \locked(); */ q.add(r); r.setID(req_id); req_id++; TaxiSys.gui.RequestTaxi(r.src_p.toAwtPoint(), r.dst_p.toAwtPoint()); }
================================================================================
synchronized public void addReq(Request r) { /** * @REQUIRES : * r!=null; * @MODIFIES : * \this.q; * \this.req_id; * @EFFECTS : * \this.req_id==\old(this).req_id+1; * \this.q.size()==\old(this).q.size()+1 && \this.q.contains(r); * @THREAD_REQUIRES : None; * @THREAD_EFFECTS : * \locked(); */ q.add(r); r.setID(req_id); req_id++; TaxiSys.gui.RequestTaxi(r.src_p.toAwtPoint(), r.dst_p.toAwtPoint()); }
归纳我在设计规格和撰写规格的基本思路和体会
- 确实没有设计规格之说,我相信大部分人也都是先写代码,然后发现需求改了,然后改代码,然后debug,最后写文档和JSF。所以我觉得这门课比较遗憾没有对同学们进行设计规格的训练。
- 既然没有设计规格之说,那么撰写规格也就成了复制粘贴并根据套路微调,成了细心、耐心、恒心的比拼。
- 基本思路:没啥好说的。主要就是(1)掌握课上给的几个例子和模板,对于相似的方法能够套用 或 进行合理地改进创新。(2)锻炼自己的描述能力,如何做到准确地、全面地、逻辑地、无二义性地描述规格。(3)可以进行场景代入:你可以假设自己是团队设计者,写了规格之后,是要把规格交给你的队友去码代码的,这样或许能够更加锻炼你的规格化设计。
- 不过,以后如果要我们根据需求和框架来设计规格,然后把规格交给团队的其他人去完成代码,怕是也需要另外进行训练吧嘤嘤嘤。
- 又或者,更积极一点地去想,其实我们在搭框架、写代码的时候,内心就已经给每一个类和方法赋予了比较模糊的规格,因此,更加有意义的事情,不在于撰写规格,而在于搭框架码代码的过程中 展现出的 清晰的逻辑 和 思想的火花 吧,毕竟后者才更接近于 设计 规格。
- 体会:虽然有学到一些东西,但是所耗时间精力较多,而且效果不佳。回想规格之前的作业,虽然难度大,但我甚是怀念呢。
- 最后,很感谢一起熬过这段艰难时期的朋友们,现在心里也平静了许多。
精神突然荒凉,笑容逐渐消失。
目睹人心险恶,但所幸患难见真情,有友如此足矣。
得到最大锻炼的,是一颗刚强的心。
日后何去何从,大家自有论断。