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。