OO第三次阶段总结

(1)调研，规格化设计的大体发展和为何获得人类重视

结构化程序设计（英语：Structured programming），一种编程范型。它采用子程序（函数就是一种子程序）、代码区块、for循环以及while循环等结构，来替换传统的goto。但愿借此来改善计算机程序的明晰性、质量以及开发时间，而且避免写出面条式代码。Edsger Dijkstra 于 1968 发表了著名的《GOTO 有害论》的论文,引发了长达数年的论战,并由此产生告终构化程序设计方 法。同时,第一个结构化的程序语言 Pascal 也在此时诞生,并迅速流行起来。

在我看来，程序规格化设计是为以后更大规模程序的设计打基础，随着之后需求的增长，要进一步提升程序的抽象化程度，规格化设计能让人清晰的辨别各个方法的功能，以较简便的方式解决客户需求，下降程序的复杂度。

(2)分析本身的规格bug

第九次做业：无效

第十次做业：

 第十一次做业：无

(3)分析本身规格bug产生的缘由

对指导书的研读不够，存在误差。对jsf的理解不够深入。在以前的编程中，不够清晰的层次设计，致使后来jsf的表达十分困难，因此要想不被报bug须要更多研读课上所讲的jsf。

(4)分别列举5个前置条件和5个后置条件的很差写法，并给出改进写法

前置条件的很差的写法有，随意使用null，none等，使用天然语言时有可能一时疏忽致使产生二义性。

五个很差的后置条件写法：

1.简单函数的的功能，即使很短也要写。

this.state ==> this.state = i

2.天然语言 ==> 改为用数据变现的对应关系

3.写方法内涵的算法 ==> 只关注最后须要得到的数据的限制

4.对于多线程须要加入多线程的后置条件

 

更改前
/**
@ EFFECTS:randomly driving refer to flowmap            
    @ */

更改后
/**
@ EFFECTS:randomly driving refer to flowmap    
@ THREAD_EFFECTS:\locked(guigv.flowmap)    ;\locked(guigv.m.graph)        
    @ */


(5)按照做业分析被报的功能bug与规格bug在方法上的汇集关系
　　　无

(6)概括本身在设计规格和撰写规格的基本思路和体会
　方法的编程应在规格的撰写后，而不是写完方法在回来改写规格，这样能够很好的限制方法的长度也下降了方法的复杂度。规格不只是写给本身看，更是为后团队工做时便于交流，并且要以指导书为准，否则会被挂不少bug。