oo第三次总结

一．（1）规格化设计的大致发展历史

20世纪60年代，随着大容量、高速度的计算机出现，以及大量语言的新增和软件的不可靠，爆发了所谓的“软件危机”。而针对这个问题，人们提出了规格化设计的解决方法。通过把程序分成模块，以模块为单位，每个模块实现相应的功能，使得在进行交流的时候，只需要相应模块的接口就好。

随着规格化设计带来的诸多便利，其在之后30多年的研究和应用期间，让程序的可读性得到不断的增强，并让程序便于进一步修改和移植。而如今规格化设计的发展，已经取得了大量重要的成果，产生了基于逻辑、状态机、网络、进程代数、代数等多种形式的规格说明，为软件的开发和维护带来了巨大便利。

（2）人们重视规格化设计的原因

通过使用规划化设计，在进行交流的时候，彼此之间不需要关心对方的实现方法，只需要关心这个模块的接口的要求，改动以及功能。这样方便多人更快捷清晰地完成任务。在之后对程序的维护和修改过程中，也能更具有针对性，更有效。

二．规格BUG分析

第九次作业为无效作业，在此不做分析。

第十次作业在互测过程中，没有被报规格BUG。

第十一次作业

BUG内容	BUG类型	BUG代码行数	BUG原因
规格检查->抽象对象有效性实现检查：Overview是否明确抽象对象	规格	n	Load类没有写类规格，无overview。
规格检查->抽象对象有效性实现检查：Overview是否明确抽象对象	规格	n	Qingqiu类没有写类规格，无overview。
规格检查->抽象对象有效性实现检查：Overview是否明确抽象对象	规格	n	Traceabletaxi类没有写类规格，无overview。

三．产生规格BUG的原因

写作业的时候操之过急，忘了给新增的类写类规格。

四．不好写法及其改进

1. 前置:传入的参数应该加以限制

错误：

改进：

　　2.前置：“=”应该为“==”

错误：

　　

改进：

　　3.前置：前置条件应为布尔表达式

错误：

改进：

　　4.前置：优先级问题

错误：

改进：

　　5.前置：前置条件范围错误

错误：

改进：

　　6.后置：“=”应该为“==”

错误：

改进：

　　7.后置：未处理异常

错误：

改进：

　　8.后置：后置条件遗漏修改变量

错误：

改进：

　　9.后置：后置条件描述不完整

错误：

改进：

　　10.后置：格式不正确

错误：

改进：

五．功能BUG和规格BUG的聚焦关系

功能BUG和规格BUG没有聚焦关系。规格BUG不是因为功能BUG所导致的。

六．基本思路和体会

基本是先写好方法后，才开始写规格。有尝试按照规格的方式写，但是写着写着就写不下来了，水平不够。以及在写规格时，要注意隐含的前置条件。在修改代码后，要注意修改规格，不然容易忘。