软件工程-第四章-形式化说明技术

4. 形式化说明技术

1. 按形式化程度分为三类：

• 非形式化，如用自然语言描述规格说明
• 半形式化，如用数据流图或实体-联系图建立模型
• 形式化，如描述系统性质是基于数学的技术

4.1 概述

4.1.1 非形式化方法的缺点

• 矛盾性：在需求规格说明书中对同一问题前后存在不同的描述
• 二义性：读者可以用不同的方式理解的陈述
• 含糊性：需求规格说明书对某一问题描述不清晰，不可理解
• 不完整性：需求规格说明书对某一问题只说明了局部，没说明整体
• 抽象层次混乱：指在非常抽象的陈述中混入了关于低层次的细节陈述

4.1.2 形式化方法的优点

• 能够简洁准确的描述物理现象、对象或动作的结果
• 在不同的软件工程活动之间平滑过渡
• 提供了高层确认的手段

4.1.3 应用形式化方法的准则

• 选用适当的表示方法
• 应该形式化，但不要过分形式化
• 应该估算成本
• 应该有形式化顾问随时提供咨询
• 不应该放弃传统的开发方法
• 应该建立详尽的文档
• 不应该放弃质量标准
• 应该测试，测试再测试
• 应该重用

4.2 有穷状态机

利用有穷状态机可以准确地描述一个系统，因此它是表达规格说明的一种形式化方法。