【软件工程】三、形式化说明技术 总体设计 详细设计

软件工程】三、形式化说明技术 总体设计 详细设计"/>

【软件工程】三、形式化说明技术 总体设计 详细设计

一、形式化说明技术

1.1形式化概念

（课本中遇到的大部分是非形式化的技术
概念：所谓形式化方法，是描述系统性质的基于数学的技术，
如果一种方法有坚实的数学基础，那么就是形式化的。

1.2形式化的优点和非形式化的缺点

1.2.1 非形式化的缺点
用自然语言书写的系统规格说明书，可能存在矛盾，二义性，含糊性，不完整性以及抽象层次混乱等问题。
1.2.2 形式化四个优点

1. 数学能够简介准确地描述物理现象、对象或动作的结果。是理想的建模工具。
2. 数学比自然语言更适用于描述详细的需求
3. 可以在不同软件工程中平滑地过渡
4. 提供了高层确认的手段

1.3应用形式化的准则

1. 应该选用适当的表示方法。
2. 应该形式化，但不要过分形式化。
3. 应该有形式化方法顾问随时提供咨询
4. 不应该放弃传统的开发方法
5. 应该建立详尽的文档。
6. 不应该盲目依赖形式化方法
7. 应该测试、测试再测试
8. 应该重用。（重用是减低软件成本和提高软件质量的唯一合理方法，也只有高质量的才会被拿来重用

二、总体设计（概要设计

2.1 主要目的

产出文档：《总体设计说明书》
基本目的：概括地说明系统应该如何实现。
两个主要阶段：