OO第三次总结

规格化设计的发展历史

        1950年代，第一次分离，主程序与子程序的分离结构是树状模型，子程序可先于主程序编写。经过使用库函数来简化编程，实现最初的代码重用。产生基本的软件开发过程：分析—设计—编码—测试，使大型软件系统的开发成为可能。

       1975—1980年代，第二次分离，规格说明（Spec）和体（body）的分离说明是类型定义和操做描述，体是操做的具体实现。（具体的例子就是C++,Java等面向对象语言的类说明与类实现的分离。）解决方案设计只关注说明，实现时引用或者设计体。体的更改、置换不影响规格说明，保证了可移植性。支持多机系统，但要一样环境。此时产生了划时代的面向对象技术。

       1995—2000年代，第三次分离，对象使用和对象实现的分离基于构件开发：标准化的软件构件如同硬件IC，可插拔，使用者只用外特性，不计内部实现。Web Services：软件就是服务。分布式，跨平台，松耦合。

 

规格化设计为什么获得你们的重视

　　一方面，规格化设计能够帮助开发者理清思路，构建一个写程序的框架，这样一来开发者能够按照既定的套路来完成本身的任务，从而可以摒弃杂念，提升效率。

　   另外一方面，一个程序中不少代码会以一块一块的形式被反复使用，这些重复的代码块有可能被封装为函数反复使用，也有可能被放入库中供他人使用。若是能按照必定的规格去完成他们，那么调用者没必要大费周折的去理解代码，能够经过已有的对于格式的学习以及清晰明了的格式来快速完成对代码的理解，从而提升学习工做的效率。

 

被报告的规格bug

　　很幸运的是，个人JSF没有被人报BUG，虽然个人JSF写的很差，并无用布尔表达式把他们实现，而且大量使用了汉语。再具体分析，个人JSF对于因果逻辑上的判断不够严谨，天然语言有些粗糙且不能充分展现细节，这些都是本身程序里的缺陷。

 

JSF很差的写法

　　如上一条所言，个人JSF大量使用了天然语言，这是最很差的地方。假若我使用了纯粹的布尔表达式，也可能会犯过于简略的毛病。可是有的类又写的很长，若是彻底按照要求来写，那么会使得JSF特别长从而难以理解。因此最好的办法是在设计的时候就作好规格化的设计，使得程序的每一个模块都大小适中，这样组织起来才能井井有理。对于问题的处理也务必要清晰，不能够模糊，不可马虎大意。

 

功能BUG

　　这几回出租车做业的BUG相对来讲不算太多，第九次的问题有出租车能够接单可是没有接单的状况，缘由是请求的线程没有及时将请求加入请求队列中，在进行了相应的阻塞后得以解决。第十次的问题是LoadFile加载出租车多量的时候出现了问题，缘由是在出租车队列初始化以前就进行LoadFile改变了出租车的状态，可是在初始化以后出租车的状态又变回去了，再调整了代码顺序后问题获得解决。第十一次做业没有被检查，本身不太强的测试没有找到BUG。