标签：避免 size while循环 cal res 无效 alt 来替 论文
(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。
标签：避免 size while循环 cal res 无效 alt 来替 论文
原文地址：https://www.cnblogs.com/sakura1234/p/9108727.html
