软件工程复试——四、形式化说明技术

四、形式化说明技术

按照形式化的程度，可以把软件工程使用的方法划分为非形式化、半形式化、形式化三类。

（1）用自然语言描述需求规格说明是典型 的非形式化方法.

（2）用数据流图或E-R图建立的模型是典型 的半形式化方法。

（3）形式化方法是描述系统性质的基于数学 的技术，即如果一种方法有坚实的数学基础，那么它就是形式化的。

形式化方法的优点

• 准确、没有二义性
• 可以再软件工程活动之间平滑过渡
• 提供了高层确认的手段

应用形式化的准则：

1.选用适当的方法
2.应该形式化，但不要过度形式化
3.估算成本
4.有形式化方法顾问随时提供咨询
5.不应该放弃传统的方法
6.不应该放弃质量标准
7.不应该盲目以来形式化方法
8.反复测试
9.重用

有穷状态机

状态转换图

STD图(State Transform Diagram)状态转换图,表示行为模型。STD通过描述系统的状态和引起系统状态转换的事件，来表示系统的行为，指出作为特定事件的结果将执行哪些动作（例如，处理数据等）。STD描述系统对外部事件如何响应，如何动作。

各部分如下：

状态集、输入集、转换函数T、初始态S、终态集。

有穷训练机

具体例子各位可以看一下书上78、79页&#x