什么是设计规约介绍

设计规约是对软件的组织及其内部结构的描述。

设计规约分类

通常分概要设计规约和详细设计规约。前者指明软件的组织结构，其内容包括系统环境、设计描述、对每个模块的描述、文件结构和全局数据，还应包括有关软件测试等方面的要求与说明，是面向软件开发者的文档，主要作为项目管理人员、系统分析人员与设计人员之间交流的媒介。后者描述软件各组成部分的内部结构，在前者的基础上加入了各处理过程的算法、算法所涉及的全部数据结构的描述，包括与实现有关的描述，主要作为软件设计人员与程序人员之间交流的媒介。

设计规约形式

设计规约文档的形式是具有特定形式的图形加上形式或非形式的正文。可选择的形式主要有定义逻辑模块的方框图、实体一联系图、数据流、控制流和状态转换图等。书写设计规约的形式化语言有SETL语言、OBJ语言和Larch 语言等。