标签：格式 17. val 表达式 前置 重要 模块 com 历史
一．（1）规格化设计的大致发展历史
20世纪60年代，随着大容量、高速度的计算机出现，以及大量语言的新增和软件的不可靠，爆发了所谓的“软件危机”。而针对这个问题，人们提出了规格化设计的解决方法。通过把程序分成模块，以模块为单位，每个模块实现相应的功能，使得在进行交流的时候，只需要相应模块的接口就好。
随着规格化设计带来的诸多便利，其在之后30多年的研究和应用期间，让程序的可读性得到不断的增强，并让程序便于进一步修改和移植。而如今规格化设计的发展，已经取得了大量重要的成果，产生了基于逻辑、状态机、网络、进程代数、代数等多种形式的规格说明，为软件的开发和维护带来了巨大便利。
（2）人们重视规格化设计的原因
通过使用规划化设计，在进行交流的时候，彼此之间不需要关心对方的实现方法，只需要关心这个模块的接口的要求，改动以及功能。这样方便多人更快捷清晰地完成任务。在之后对程序的维护和修改过程中，也能更具有针对性，更有效。
二．规格BUG分析
第九次作业为无效作业，在此不做分析。
第十次作业在互测过程中，没有被报规格BUG。
第十一次作业
|
BUG内容 |
BUG类型 |
BUG代码行数 |
BUG原因 |
|
规格检查->抽象对象有效性实现检查：Overview是否明确抽象对象 |
规格 |
n |
Load类没有写类规格，无overview。 |
|
规格检查->抽象对象有效性实现检查：Overview是否明确抽象对象 |
规格 |
n |
Qingqiu类没有写类规格，无overview。 |
|
规格检查->抽象对象有效性实现检查：Overview是否明确抽象对象 |
规格 |
n |
Traceabletaxi类没有写类规格，无overview。 |
三．产生规格BUG的原因
写作业的时候操之过急，忘了给新增的类写类规格。
四．不好写法及其改进
错误：
改进：
2.前置：“=”应该为“==”
错误：
改进：
3.前置：前置条件应为布尔表达式
错误：
改进：
4.前置：优先级问题
错误：
改进：
5.前置：前置条件范围错误
错误：
改进：
6.后置：“=”应该为“==”
错误：
改进：
7.后置：未处理异常
错误：
改进：
8.后置：后置条件遗漏修改变量
错误：
改进：
9.后置：后置条件描述不完整
错误：
改进：
10.后置：格式不正确
错误：
改进：
五．功能BUG和规格BUG的聚焦关系
功能BUG和规格BUG没有聚焦关系。规格BUG不是因为功能BUG所导致的。
六．基本思路和体会
基本是先写好方法后，才开始写规格。有尝试按照规格的方式写，但是写着写着就写不下来了，水平不够。以及在写规格时，要注意隐含的前置条件。在修改代码后，要注意修改规格，不然容易忘。
标签：格式 17. val 表达式 前置 重要 模块 com 历史
原文地址：https://www.cnblogs.com/wzqyekong/p/9112596.html
